3690 search results - page 478 / 738 » Computation with classical sequents |
239
Voted
FOCS
2002
IEEE
15 years 11 months ago
2002
IEEE
The Constraint Satisfaction Problem (CSP) provides a common framework for many combinatorial problems. The general CSP is known to be NP-complete; however, certain restrictions on...
176
Voted
SCCC
2002
IEEE
15 years 11 months ago
2002
IEEE
The compression of binary texts using antidictionaries is a novel technique based on the fact that some substrings (called “antifactors”) never appear in the text. Let × be a...
198
click to vote
WACV
2002
IEEE
15 years 11 months ago
2002
IEEE
An automatic 3D model reconstruction technique is presented to acquire complete 3D models of real objects. The technique is based on novel approaches to pose estimation and integr...
189
Voted
WACV
2002
IEEE
15 years 11 months ago
2002
IEEE
— This paper presents an in-vehicle real-time monocular precrash vehicle detection system. The system acquires grey level images through a forward facing low light camera and ach...
205
click to vote
EDCC
2010
Springer
15 years 11 months ago
2010
Springer
Implementing a fault-tolerant state machine boils down to reaching consensus on a sequence of commands. In wide area networks (WANs), where network delays are typically large and ...