Publications
Found 71 results
Author Keyword Title Type [ Year] Filters: First Letter Of Last Name is S [Clear All Filters]
Malicious Omissions and Errors in Answers to Membership Queries. Machine Learning. 28:211–255.
.
1997. Neurocontroller using dynamic state feedback for compensatory control. Neural Networks. 10:1691–1708.
.
1997. Uncertainty, performance, and model dependency in approximate adaptive nonlinear control. Proceedings of the 36th IEEE Conference on Decision and Control. 3:3046-3051vol.3.
.
1997. On Frequent Sets of Boolean Matrices. Ann. Math. Artif. Intell.. 24:193–209.
.
1998. Module-Based Reinforcement Learning: Experiments with a Real Robot. Machine Learning. 31:55–85.
.
1998. Non-Markovian Policies in Sequential Decision Problems. Acta Cybern.. 13:305-318.
.
1998. On-Line and Off-Line Approximation Algorithms for Vector Covering Problems. Algorithmica. 21:104–118.
.
1998. Parallel execution of object functional queries. Annales Universitatis Scientiarum Budapestinensis de Rolando Eotvos Nominatae Sectio Computarotica. 17:339-355.
.
1998. Slicing of Constraint Logic Programs. Linköping Electronic Articles in Computer and Information Science. 3:1-27.
.
1998. Dynamic Slicing of Logic Programs: Program analysis and verification. The Sixth Fenno-Ugric Symposium on Software Technology. :101-113.
.
1999. On Theory Revision with Queries. Proceedings of the Twelfth Annual Conference on Computational Learning Theory. :41–52.
.
1999. .
2000.
Slicing of Constraint Logic Programs. Automated and Algorithmic Debugging.
.
2000. On the Sum-of-squares Algorithm for Bin Packing. Proceedings of the Thirty-second Annual ACM Symposium on Theory of Computing. :208–217.
.
2000. Towards Automatic Domain Knowledge Extraction for Evolutionary Heuristics. Parallel Problem Solving from Nature PPSN VI. :755–764.
.
2000. Towards Automatic Domain Knowledge Extraction for Evolutionary Heuristics. Parallel Problem Solving from Nature PPSN VI. :755–764.
.
2000. The Buffer Minimization Problem for Multiprocessor Scheduling with Conflicts. ICALP. 2076:862–874.
.
2001. Buying a Constant Competitive Ratio for Paging. Algorithms –- ESA 2001. :98–108.
.
2001. The Debug slicing of logic programs. Acta Cybernetica. 15:257–278.
.
2001. Robust point correspondence applied to two- and three-dimensional image registration. IEEE Transactions on Pattern Analysis and Machine Intelligence. 23:165-179.
.
2001. Towards a Standard Schema for C/C++. Proceedings of the 8th Working Conference on Reverse Engineering (WCRE 2001). :49–58.
.
2001. Static and Dynamic Slicing of Constraint Logic Programs. Automated Software Engineering. 9:41–65.
.
2002. Theory Revision with Queries: DNF Formulas. Machine Learning. 47:257–295.
.
2002. Union slices for program maintenance. International Conference on Software Maintenance, 2002. Proceedings.. :12-21.
.
2002. Anti-pattern Detection with Model Queries: A Comparison of Approaches. Proceedings of CSMR-WCRE 2014 Software Evolution Week (European Conference on Software Maintenance and Reengineering and Working Conference on Reverse Engineering). :293-302.
.
2014.