859 search results - page 46 / 172 » Abduction in Temporal Reasoning |
VL
2007
IEEE
14 years 3 months ago
2007
IEEE
Interval-valued computation is an unconventional computing paradigm. It is an idealization of classical 16-, 32-, 64- etc. bit based computations. It represents data as specific ...
AUSAI
1997
Springer
14 years 1 months ago
1997
Springer
In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...
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 19 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...