4839 search results - page 161 / 968 » A survey of computational complexity results in systems and ... |
320
click to vote
Publication
Global Positioning System (GPS) Technology allows precise determination of location, velocity, direction, and time. The price of GPS receivers is falling rapidly and the applicatio...
105
click to vote
CLEIEJ
2002
15 years 1 months ago
2002
Advances in parallel computation are of central importance to Artificial Intelligence due to the significant amount of time and space their programs require. Functional languages ...
100
click to vote
CCS
1993
ACM
15 years 6 months ago
1993
ACM
Designers of cryptographic systems are at a disadvantage to most other engineers, in that information on how their systems fail is hard to get: their major users have traditionall...
115
click to vote
ECAI
1992
Springer
15 years 6 months ago
1992
Springer
ABSTRACT. This paper investigates the problem of finding subclasses of nonmonotonic reasoning which can be implemented efficiently. The ability to "define" propositions u...
110
click to vote
ICTAI
2005
IEEE
15 years 7 months ago
2005
IEEE
A large number of practical applications rely on effective algorithms for propositional model enumeration and counting. Examples include knowledge compilation, model checking and ...