2440 search results - page 241 / 488 » Explanation-Based Feature Construction |
238
click to vote
AGP
2010
IEEE
16 years 9 days ago
2010
IEEE
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
184
click to vote
SG
2010
Springer
16 years 7 days ago
2010
Springer
Abstract. We present a prototype sketch-based physics tutoring system that combines mathematical sketching, an interaction paradigm that supports construction of dynamic illustrati...
236
click to vote
EUROMICRO
2002
IEEE
16 years 4 days ago
2002
IEEE
In this paper we propose a method for predicting the consequences of adding new components to an existing product line in the real-time systems domain. We refer to such a predicti...
210
click to vote
ICRA
2002
IEEE
16 years 3 days ago
2002
IEEE
In a typical dextrous manipulation task, a goal configuration is reached through a sequence of continuous motions. Most often, a motion plan is computed offline and subsequently...
200
click to vote
IV
2002
IEEE
16 years 3 days ago
2002
IEEE
In this paper a visual approach to querying in large spatial databases is presented. A diagrammatic technique utilising a data flow metaphor is used to express different kinds of...