4623 search results - page 698 / 925 » Knowledge Representation on the Web |
ITS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
OTM
2004
Springer
15 years 4 months ago
2004
Springer
This paper presents a context-based awareness mechanism designed for users who access web-based collaborative systems using mobile devices. The limited capabilities of such devices...
ICDAR
2003
IEEE
15 years 4 months ago
2003
IEEE
Interpretation of paper drawings has received a good deal of attention over the last decade. Progress has also been made in related areas such as direct interpretation of human dr...
ICEIS
2003
IEEE
15 years 4 months ago
2003
IEEE
: A major problem that arises from integrating different databases is the existence of duplicates. Data cleaning is the process for identifying two or more records within the datab...
KCAP
2003
ACM
15 years 4 months ago
2003
ACM
Because it is difficult to engineer a complex ontology with time, we here consider a method that allows for factorizing the complexity of the engineering process, FONTE (Factoriz...