8587 search results - page 245 / 1718 » Interactive dynamic abstraction |
158
click to vote
LORI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study games in the presence of an interaction structure, which allows players to communicate their preferences, assuming that each player initially only knows his own ...
208
click to vote
SG
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Utilizing context information—e.g. location, user aspects, or hardware capabilities—enables the presented generic framework to automatically control the selection and...
133
click to vote
SMC
2007
IEEE
16 years 23 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, ...
169
click to vote
TPHOL
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
137
click to vote
BPM
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We put forward an architectural framework that promotes the externalisation of the social dimension that arises in software-intensive systems which, like in healthcare, e...