(Enter summary)
Abstract: . The basic idea of the presented system (PECG) is to integrate
an ECG classifier program (implemented in Prolog) with the IDT
algorithmic debugger module and a graphic viewer. If the ECG classifier
cannot analyze the input then the user is helped by the built-in IDT (Interactive
Diagnosis and Testing) debugger to find the place of the error.
The IDT improves the Shapiro's original debugging method and can be
used both in the debugging and in the testing of Prolog programs. In the
PECG system... (Update)
Context of citations to this paper: More
...about the state of the debugging process. It provides a more user friendly environment of the system. 1 Introduction In the papers [2] and [3] a system (called PECG) was presented for the classification of ECG wave forms. This system is based on an attribute grammar...
...visualization. For example consider a complex grammar which can recognize heart diseases from a textual representation of an ECG [ecg]. To debug this grammar, you will be confronted with a virtually incomprehensible set of questions. Even professional PROLOG programmers...
Cited by: More
GIDTS - A Graphical Programming Environment for Prolog - Kokai, Nilson, Niss
(Correct)
A Graphical User Interface for an ECG Classifier System - Nilson, Kókai
(Correct)
Similar documents (at the sentence level):
6.2%: Application of Inductive Logic Programming for.. - Kokai, Alexin.. (1997)
(Correct)
6.2%: Learning ECG Grammars - Kokai, Alexin, Gyimothy
(Correct)
5.5%: IDT: Integrated System for Debugging and Testing Prolog.. - Alexin, Gyimothy, Kokai (1995)
(Correct)
Active bibliography (related documents): More All
0.7: Analyzing and Learning ECG Waveforms - Kokai, Alexin, Gyimóthy (1996)
(Correct)
0.5: Algorithmic Debugging and Testing of Prolog Programs - Kokai, Harmath, Gyimothy
(Correct)
0.5: Debugging and Testing of Prolog Programs - Kokai, Harmath, Gyimothy
(Correct)
Similar documents based on text: More All
1.0: Learning Biomedical Patterns - Kokai, Alexin, Gyimothy (1996)
(Correct)
0.8: Diagnosis of Heart Diseases with the Help of the PECG.. - Kokai, Thury..
(Correct)
0.7: Learning the Syntax and Semantic Rules of an ECG Grammar - Kokai, Csirik, Gyim'othy
(Correct)
Related documents from co-citation: More All
2: Effective Algorithmic Debugging for Inductive Logic Programming (context) - Paakki, Gyim'othy et al. - 1994
2: The category-partition method for specifying and generating functional tests (context) - Ostrand, Balcer - 1988
2: Algorithmic Program Debugging (context) - Shapiro - 1983
BibTeX entry: (Update)
K'okai, G., Alexin, Z.,Gyim'othy, T.: Classifying ECG Waveforms in Prolog in Proc. of the Fourth International Conference on The Practical Application of PROLOG (PAP96) London, United Kingdom April 23-25, (1996) 193--221 http://citeseer.ist.psu.edu/kokai96classifying.html More
@misc{ k'okai96classifying,
author = "G. K'okai and Z. Alexin and T. Gyim'othy",
title = "Classifying ECG Waveforms in Prolog",
text = "K'okai, G., Alexin, Z.,Gyim'othy, T.: Classifying ECG Waveforms in Prolog
in Proc. of the Fourth International Conference on The Practical Application
of PROLOG (PAP96) London, United Kingdom April 23-25, (1996) 193--221",
year = "1996",
url = "citeseer.ist.psu.edu/kokai96classifying.html" }
Citations (may not include all citations):
1838
Foundations of Logic Programming (context) - Lloyd - 1987
328
Algorithmic Program Debugging (context) - Shapiro - 1983
135
Definite clause grammars for language analysis - a survey of.. (context) - Pereira, Warren - 1980
121
The Category-Partition Method for Specifying and Generating .. (context) - Ostrand, Balker - 1988
19
Generalized Algorithmic Debugging and Testing (context) - Fritzson, Gyim'othy et al. - 1991
13
Static Slicing of Logic Programs (context) - Gyim'othy, Paakki - 1995
12
Integrating Algorithmic Debugging and Unfolding Transformati.. (context) - Alexin, Gyim'othy et al. - 1995
12
Effective Algorithmic Debugging for Inductive Logic Programm.. (context) - Paakki, Gyim'othy et al. - 1994
10
ECG Analysis in Syntactic and Structural Pattern Recognition.. (context) - Skordalakis - 1990
6
Interactive Diagnosis and Testing Logic Programs Proceedings.. (context) - Horv'ath, Gyim'othy et al. - 1993
5
The IDT System and its Application for Learning Prolog Progr.. (context) - K'okai, Alexin et al. - 1994
4
Relating Logic Programs and Attribute Grammars Journal of Lo.. (context) - Deransart, Ma - 1985
3
Trends in Computer Processed Electrocardiograms North-Hollan.. (context) - van Bemmel, Willems - 1976
3
Computer ECG Analysis: Towards Standardization North-Holland (context) - Willems, van Bemmel et al. - 1986
Documents on the same site (http://www2.informatik.uni-erlangen.de:8081/IMMD-II/Research/Publications/1996.html): More
A Database for Configuration Management - Heidenreich, Kips, Volle
(Correct)
Analyzing and Learning ECG Waveforms - Kokai, Alexin, Gyimóthy (1996)
(Correct)
Application of Inductive Logic Programming for.. - Kokai, Alexin.. (1997)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC