5216 search results - page 967 / 1044 » Planning as Model Checking |
108
Voted
ICDT
2012
ACM
13 years 1 months ago
2012
ACM
In a recent paper by Hellerstein [15], a tight relationship was conjectured between the number of strata of a Datalog¬ program and the number of “coordination stages” require...
172
Voted
VLDB
2005
ACM
15 years 11 months ago
2005
ACM
Abstract Declarative queries are proving to be an attractive paradigm for interacting with networks of wireless sensors. The metaphor that "the sensornet is a database" i...
ICRA
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract— Recent humanoid control investigations have emphasized the importance of controlling whole-body angular momentum throughout a movement task. For typical movement tasks,...
INFOCOM
2009
IEEE
15 years 5 months ago
2009
IEEE
— Barrier coverage of wireless sensor networks has been studied intensively in recent years under the assumption that sensors are deployed uniformly at random in a large area (Po...
118
click to vote
IUI
2006
ACM
15 years 5 months ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...