955 search results - page 37 / 191 » Tractable Temporal Reasoning |
BSN
2006
IEEE
14 years 3 months ago
2006
IEEE
Ubiquitous computing has established a vision of computation where computers are so deeply integrated into our lives that they become both invisible and everywhere. In order to ha...
ICEIS
2003
IEEE
14 years 2 months ago
2003
IEEE
CP
2006
Springer
14 years 21 days ago
2006
Springer
Abstract. In this paper, we investigate how an IA network can be effectively encoded into the SAT domain. We propose two basic approaches to modelling an IA network as a CSP: one r...
FLAIRS
2008
13 years 11 months ago
2008
BIOSTEC
2008
13 years 10 months ago
2008