3392 search results - page 504 / 679 » Using Knowledge Representation to Understand Interactive Sys... |
138
click to vote
MKM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
SERA
2005
Springer
15 years 10 months ago
2005
Springer
: The techniques of meta-modeling and meta-levels have become a mature concept and have been largely used to solve real problems in programming languages, distributed environments,...
142
click to vote
ITS
2004
Springer
15 years 9 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 ...
125
click to vote
OTM
2004
Springer
15 years 9 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...
130
click to vote
ICEIS
2003
IEEE
15 years 9 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...