4099 search results - page 222 / 820 » A Framework for Interactive Proof |
155
click to vote
JAIR
2006
15 years 6 months ago
2006
Real-time search methods are suited for tasks in which the agent is interacting with an initially unknown environment in real time. In such simultaneous planning and learning prob...
165
click to vote
ENTCS
2008
15 years 5 months ago
2008
Previous research has developed a formal methods-based (cognitive-level) model of the Interacting Cognitive Subsystems central engine, with which we have simulated attentional cap...
172
click to vote
EDM
2009
15 years 4 months ago
2009
Data mining methods are successful in educational environments to discover new knowledge or learner skills or features. Unfortunately, they have not been used in depth with collabo...
161
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
This paper presents descriptive accounts of time-critical organizing in the domain of emergency response. Patterns of mobile phone interaction in such work is analyzed showing how...
155
click to vote
AUTOMOTIVEUI
2009
ACM
16 years 1 months ago
2009
ACM
In this paper we present an approach for creating user infrom abstract representations for the automotive domain. The approach is based on transformations between different user ...