Publications
Found 33 results
Author Keyword Title [ Type] Year Filters: First Letter Of Last Name is M [Clear All Filters]
.
1999. .
1999.
Two Tapes Versus One for Off-Line Turing Machines. Computational Complexity. 3:392–401.
.
1993. Threshold Circuits of Bounded Depth. J. Comput. Syst. Sci.. 46:129–154.
.
1993. Static and Dynamic Slicing of Constraint Logic Programs. Automated Software Engineering. 9:41–65.
.
2002. Slicing of Constraint Logic Programs. Linköping Electronic Articles in Computer and Information Science. 3:1-27.
.
1998. Recognizing Design Patterns in C++ programs with the integration of Columbus and Maisa. Acta Cybernetica. 15:669-682.
.
2002. Lower Bound Methods and Separation Results for On-Line Learning Models. Machine Learning. 9:107–145.
.
1992. An implementation of the HLP. Acta Cybernetica - Szeged. 6:315-327.
.
1983. Applying DNN Adaptation to Reduce the Session Dependency of Ultrasound Tongue Imaging-based Silent Speech Interfaces. Acta Polytechnica Hungarica. 17:109–124.
.
2020. Algorithms and Lower Bounds for On-Line Learning of Geometrical Concepts. Machine Learning. 14:251–269.
.
1994. Exploratory Analysis of Facial Growth. Spatial Temporal Modelling and its Applications
.
1999. Exploratory Analysis of Facial Growth. Spatial Temporal Modelling and its Applications
.
1999. Cognitive programming. 3rd International Workshop on Artificial Intelligence and Cognition. :3-18.
.
2015. Cognitive programming. 3rd International Workshop on Artificial Intelligence and Cognition. :3-18.
.
2015. Ultrasound-based Silent Speech Interface Built on a Continuous Vocoder. Proceedings of Interspeech. :894–898.
.
2019. Towards Automatic Domain Knowledge Extraction for Evolutionary Heuristics. Parallel Problem Solving from Nature PPSN VI. :755–764.
.
2000. Supporting Software Product Line Testing by Optimizing Code Configuration Coverage. Proceedings of the 8th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW'15); 10th Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART'15). :1-7.
.
2015. Supporting Software Product Line Testing by Optimizing Code Configuration Coverage. Proceedings of the 8th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW'15); 10th Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART'15). :1-7.
.
2015. Static Slicing of JAVA Programs. Fifth Symposium on Programming Languages and Software Tools. :116-128.
.
1997. Slicing of Constraint Logic Programs. Automated and Algorithmic Debugging.
.
2000. A Segment-Based Statistical Speech Recognition System for Isolated/Continuous Number Recognition. Proceedings of the 6th Fenno-Ugric Symposium on Software Technology (FUSST'99). :201-211.
.
1999. Recognizing Design Patterns in C++ programs with the integration of Columbus and Maisa. Proceedings of the 7th Symposium on Programming Languages and Software Tools (SPLST 2001). :58–70.
.
2001. Learning Biomedical Patterns. 1314:159-168.
.
1996. .
1994.