3233 search results - page 26 / 647 » Validation Method for Intelligent Systems |
FMCAD
2009
Springer
14 years 1 months ago
2009
Springer
Abstract—Symbolic Trajectory Evaluation is an industrialstrength verification method, based on symbolic simulation and abstraction, that has been highly successful in data path ...
MEDINFO
2007
13 years 8 months ago
2007
Objectives: To compare the alignments of two large anatomical ontologies (the Foundational Model of Anatomy and GALEN) produced by three ontology alignment systems (AOAS, FALCON a...
ECOOP
2007
Springer
13 years 11 months ago
2007
Springer
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...
AIED
2007
Springer
14 years 1 months ago
2007
Springer
One possible approach to reducing the cost of developing an intelligent tutoring system (ITS) is to reuse the components of an existing ITS. We used this approach to develop an And...
AAAI
2007
13 years 9 months ago
2007
Our work links Chinese calligraphy to computer science through an integrated intelligence approach. We first extract strokes of existent calligraphy using a semi-automatic, twoph...