3206 search results - page 112 / 642 » How minds can be computational systems |
LPAR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
CHI
2007
ACM
15 years 10 months ago
2007
ACM
We present a machine-learned model that can automatically detect when a student using an intelligent tutoring system is off-task, i.e., engaged in behavior which does not involve ...
PPAM
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In our work we are developing a complete agent-based ecommerce system. Thus far we have been focusing on interactions between clients and shops (C2B relationships). In th...
CHI
2008
ACM
15 years 10 months ago
2008
ACM
We present a wireless prototype system for real-time snowboard training. This system can be used to detect common mistakes during snowboarding and to give students immediate feedb...
SBIA
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. The ability to view extended logic programs as argumentation systems opens the way for the use of this language in formalizing communication among reasoning computing age...