6320 search results - page 34 / 1264 » Towards Situated Computing |
104
click to vote
AIML
2006
15 years 3 months ago
2006
We survey a number of decidablity and undecidablity results concerning epistemic temporal logic. The goal is to provide a general picture which will facilitate the `sharing of idea...
96
Voted
EUROSSC
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. In the domain of ubiquitous computing, the ability to identify the occurrence of situations is a core function of being ’contextaware’. Given the uncertain nature of ...
PERCOM
2009
ACM
15 years 8 months ago
2009
ACM
Highly sensorised systems present two parallel challenges: how to design a sensor suite that can efficiently and cost-effectively support the needs of given services; and to extr...
121
click to vote
EUC
2005
Springer
15 years 7 months ago
2005
Springer
Many sensors providing situation data will be in everywhere under the ubiquitous environment. It requires the current RFID system should be extended to recognize and use situation ...
116
click to vote
AAAI
2006
15 years 3 months ago
2006
The Situation Calculus and the Fluent Calculus are successful action formalisms that share many concepts. But until now there is no formal relation between the two calculi that wo...