281 search results - page 19 / 57 » An Infrastructure for Intertheory Reasoning |
DAGSTUHL
2003
13 years 8 months ago
2003
The idea that internal models of the world might be useful has generally been rejected by embodied AI for the same reasons that led to its rejection by behaviour based robotics. Th...
ECIS
2003
13 years 8 months ago
2003
The aim of the paper is to discuss the distinction between characterisation (classification) and denomination (naming, identifying) in the context of information systems (IS). The...
CSREASAM
2009
13 years 8 months ago
2009
- Until recently the reasons for reduced efficiency and limited implementation of new security systems has been the insufficient performance of hardware that executes access contro...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
The security of wireless sensor networks is an active topic of research where both symmetric and asymmetric key cryptography issues have been studied. Due to their computational f...
JSAT
2006
13 years 7 months ago
2006
This paper reports about the 2005 comparative evaluation of solvers for quantified Boolean formulas (QBFs), the third in a series of non-competitive events established with the ai...