1083 search results - page 159 / 217 » On the Number of Optimal Base 2 Representations of Integers |
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
Model checkers search the space of possible program behaviors to detect errors and to demonstrate their absence. Despite major advances in reduction and optimization techniques, s...
103
click to vote
GECCO
2007
Springer
14 years 11 months ago
2007
Springer
In autonomous agent systems, memory is an important element to handle agent behaviors appropriately. We present the analysis of memory requirements for robotic tasks including wal...
ICTAI
2009
IEEE
15 years 4 months ago
2009
IEEE
Knowledge plays a central role in intelligent systems. Manual knowledge acquisition is very inefficient and expensive. In this paper, we present (1) an automatic method to acquire...
KR
2010
Springer
15 years 2 months ago
2010
Springer
Description Logics (DLs) are knowledge representation formalisms that provide, for example, the logical underpinning of the W3C OWL standards. Conjunctive queries (CQs), the stand...
CIARP
2009
Springer
15 years 1 months ago
2009
Springer
A large number of computer tasks can be modeled as the search for an object near a given query. From multimedia databases to learning algorithms, data mining and pattern recognitio...