2082 search results - page 54 / 417 » Change Paths in Reasoning! |
CORR
2007
Springer
13 years 7 months ago
2007
Springer
Abstract. In this paper we suggest the use of light for performing useful computations. Namely, we propose a special computational device which uses light rays for solving the Hami...
PEPM
2010
ACM
14 years 4 months ago
2010
ACM
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...
ISSS
1999
IEEE
13 years 12 months ago
1999
IEEE
Specifications of data computations may not necessarily describe the ranges of the intermediate results that can be generated. However, such information is critical to determine t...
TABLEAUX
1999
Springer
13 years 12 months ago
1999
Springer
We combine techniques originally developed for refutational first-order theorem proving within the clause tree framework with techniques for minimal model computation developed wi...
AAAI
2012
11 years 10 months ago
2012
We describe a new sound and complete method for compiling contingent planning problems with sensing actions into classical planning. Our method encodes conditional plans within a ...