2413 search results - page 448 / 483 » Understanding the problem |
COCO
2004
Springer
15 years 2 months ago
2004
Springer
Juedes and Lutz (1995) proved a small span theorem for polynomial-time many-one reductions in exponential time. This result says that for language A decidable in exponential time,...
103
click to vote
CCS
2006
ACM
15 years 2 months ago
2006
ACM
Attack graphs are important tools for analyzing security vulnerabilities in enterprise networks. Previous work on attack graphs has not provided an account of the scalability of t...
103
click to vote
COLT
2006
Springer
15 years 2 months ago
2006
Springer
We describe a new approach for understanding the difficulty of designing efficient learning algorithms. We prove that the existence of an efficient learning algorithm for a circui...
101
click to vote
ECCV
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. This paper presents an endoscopic vision framework for modelbased 3D guidance of surgical instruments used in robotized laparoscopic surgery. In order to develop such a s...
102
click to vote
KR
2000
Springer
15 years 2 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...