1350 search results - page 97 / 270 » Reasoning about Staged Computation |
172
Voted
ICRA
2009
IEEE
16 years 2 days ago
2009
IEEE
— Recently, cognitive psychologists and others have turned their attention to the formerly neglected study of shadows, and the information they purvey. These studies show that th...
142
click to vote
FCT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
166
click to vote
FUZZIEEE
2007
IEEE
15 years 9 months ago
2007
IEEE
A central role of Geographic Information Systems (GIS) is to allow the identification and visualisation of relevant spatial features from typically large volumes of data. This requ...
132
click to vote
CHI
2009
ACM
16 years 6 days ago
2009
ACM
ion of Representation in Live Theater PPPPETERETERETERETER TTTTORPEYORPEYORPEYORPEY Opera of the Future, MIT Media Lab Disembodied Performance presents a new way to think about exp...
148
click to vote
ATAL
2009
Springer
16 years 14 min ago
2009
Springer
This paper considers the design of agent strategies for deciding whether to help other members of a group with whom an agent is engaged in a collaborative activity. Three characte...