432 search results - page 48 / 87 » Dynamic Logic With Possible World |
CORR
2002
Springer
13 years 7 months ago
2002
Springer
Groenendijk and Stokhof (1984, 1996; Groenendijk 1999) provide a logically attractive theory of the semantics of natural language questions, commonly referred to as the partition t...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
— Although there has been an increasing interest in dynamic bipedal locomotion for significant improvement of energy efficiency and dexterity of mobile robots in the real world...
LADC
2007
Springer
14 years 1 months ago
2007
Springer
A distributed dynamic system is a fully distributed system subject to a continual arrival/departure of the entities defining the system. Another characterizing dimension of these ...
PVLDB
2010
13 years 6 months ago
2010
To enable smart environments and self-tuning data centers, we are developing the Aspen system for integrating physical sensor data, as well as stream data coming from machine logi...
SIGMOD
2002
ACM
14 years 7 months ago
2002
ACM
Semantic Web Enabled Web Services (SWWS) will transform the web from a static collection of information into a distributed device of computation on the basis of Semantic Web techn...