1156 search results - page 18 / 232 » The PENG System: Practice and Experience |
CADE
2004
Springer
15 years 11 months ago
2004
Springer
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
117
click to vote
ITICSE
2005
ACM
15 years 4 months ago
2005
ACM
In this paper we present an approach to the computer understanding of diagrams and show how it can be successfully applied to the automatic marking (grading) of student attempts a...
101
click to vote
JCS
2011
14 years 6 months ago
2011
RFID systems often use near-field magnetic coupling to implement communication channels. The advertised operational range of these channels is less than 10 cm and therefore sever...
103
click to vote
EWCBR
1998
Springer
15 years 3 months ago
1998
Springer
This paper presents the CARE-PARTNER system. Functionally, it offers via the WWW knowledge-support assistance to clinicians responsible for the long-term follow-up of stem-cell pos...
109
click to vote
IEAAIE
2000
Springer
15 years 2 months ago
2000
Springer
Enabling a domain expert to maintain his own knowledge in a Knowledge Based System has long been an ideal for the Knowledge Engineering community. In this paper we report on our ex...