Publications
Found 118 results
Author Keyword [ Title] Type Year Filters: First Letter Of Last Name is K [Clear All Filters]
Abstract Runtime Monitoring with USE. Proceedings of CSMR 2012 (16th European Conference on Software Maintenance and Reengineering). :549-552.
.
2012. Adding Constraint Building Mechanisms to a Symbolic Execution Engine Developed for Detecting Runtime Errors. Proceedings of the International Conference on Computational Science and Its Applications – ICCSA 2015. 9159:20-35.
.
2015. Algorithmic Debugging and Testing of Prolog Programs. LPE. :14–21.
.
1997. .
1999. Analyzing and Learning ECG Waveforms. The Sixth International Workshop on Inductive Logic Programming ILP96. 312292:127–145.
.
1996. Anonymous, Fault-Tolerant Distributed Queries for Smart Devices. ACM Trans. Cyber-Phys. Syst.. 3
.
2018. Application of Feature Transformation and Learning Methods in Phoneme Classification. Engineering of Intelligent Systems : 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, LNAI vol. 2070. :502-512.
.
2001. Application of Inductive Logic Programming for Learning ECG Waveforms. AIME. 1211:126–129.
.
1997. Approximate Inverse-Dynamics based Robust Control using Static and Dynamic State Feedback. Applications of Neural Adaptive Control Technology. :151–197.
.
1997. Assessment of the Code Refactoring Dataset Regarding the Maintainability of Methods. Computational Science and Its Applications – ICCSA 2016: 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV. :610–624.
.
2016. Automatic compiler generation. Proceedings of 1st Symposium on Automata, Languages and Programming Systems. :289-297.
.
1986. Automatic Software Generation in Practice: New Features in the HLP/PAS System. Specialized Languages as Tools for Programming Technology. :103–119.
.
1988. Better approximation algorithms for bin covering. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. :557–566.
.
2001. Classifier Combination in Speech Recognition. Conference of PhD students on Computer Sciences, Volume of Extended Abstracts. :30.
.
2002. Classifying ECG Waveforms in Prolog. :173-199.
.
1996. Coarse Hierarchical Delta Debugging. Proceedings of the 33rd IEEE International Conference on Software Maintenance and Evolution (ICSME 2017). :194–203.
.
2017. A Code Refactoring Dataset and Its Assessment Regarding Software Maintainability. Proceedings of the 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER). 1:599-603.
.
2016. Cognitive programming. 3rd International Workshop on Artificial Intelligence and Cognition. :3-18.
.
2015. Columbus – Tool for Reverse Engineering Large Object Oriented Software Systems. Proceedings of the 7th Symposium on Programming Languages and Software Tools (SPLST 2001). :16–27.
.
2001. Compacting XML Documents. SPLST. :137-151.
.
2003. A Comparative Study of Several Feature Space Transformation and Learning Methods for Phoneme Classification. International Journal of Speech Technology. 2:263-276.
.
2000. A Comparative Study of Several Feature Space Transformation and Learning Methods for Phoneme Classification. International Journal of Speech Technology. 2:263-276.
.
2000. A Comparative Study of Several Feature Space Transformation and Learning Methods for Phoneme Classification. International Journal of Speech Technology. 2:263-276.
.
2000. Comparing different postagging techniques for hungarian. Proceedings of the MSZNY 2003. :16-23.
.
2003. A Compiler-Generator Based on the Pred-LL(k) Parsing Method. Proceedings of Program Analsysis and verification, Fenno-Ugric Symposium. :41-50.
.
1999.