3061 search results - page 383 / 613 » interactions 2010 |
181
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
168
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
We build a comprehensive macro-learning system and contribute in three different dimensions that have previously not been addressed adequately. Firstly, we learn macro-sets conside...
200
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Artificial agents trying to achieve communicative goals in situated interactions in the real-world need powerful computational systems for conceptualizing their environment. In ord...
155
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Goals are central to the design and implementation of intelligent software agents. Much of the literature on goals and reasoning about goals only deals with a limited set...
272
click to vote
GISCIENCE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Eye movement recordings produce large quantities of spatiotemporal data, and are more and more frequently used as an aid to gain further insight into human thinking in us...