12193 search results - page 247 / 2439 » It's not all about |
135
click to vote
SMC
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract— Human-robot collaborative task achievement requires the robot to reason not only about its current beliefs but also about the ones of its human partner. In this paper, ...
139
click to vote
EUROGP
2004
Springer
15 years 12 months ago
2004
Springer
Parsing and Tagging are very important tasks in Natural Language Processing. Parsing amounts to searching the correct combination of grammatical rules among those compatible with a...
166
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property can be associated with...
160
click to vote
ITS
2000
Springer
15 years 10 months ago
2000
Springer
This paper reports a formative analysis of a Math Modeling Tool in the Algebra II Cognitive Tutor. This tutor is designed to support algebraic reasoning about real world problems. ...
164
click to vote
ECSCW
2003
15 years 8 months ago
2003
Users who work together require adequate information about their environment—group awareness. In the CSCW literature several models and systems for group awareness have been pres...