346 search results - page 15 / 70 » Automatic Tools for Testing Expert Systems |
ADG
2006
Springer
13 years 11 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
ICPR
2006
IEEE
14 years 1 months ago
2006
IEEE
Cleft lip and palate (CLP) may cause functional limitations even after adequate surgical and non-surgical treatment, speech disorder being one of them. Until now, an objective mea...
SEFM
2003
IEEE
14 years 26 days ago
2003
IEEE
The Specification and Description Language (SDL) together with its associated tool sets can be used for the generation of Tree and Tabular Combined Notation (TTCN) test cases. Sur...
BMCBI
2005
13 years 7 months ago
2005
Background: The Gene Ontology Annotation (GOA) database http://www.ebi.ac.uk/GOA aims to provide high-quality supplementary GO annotation to proteins in the UniProt Knowledgebase....
EUSFLAT
2009
13 years 5 months ago
2009
The approach of continuous evaluation is an important tool in the learning process. However, only recently it was applied in training based on virtual reality. This paper presents ...