4850 search results - page 266 / 970 » Proof and Computation in Geometry |
159
click to vote
HUMO
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. This paper introduces a hand tracking system with a theoretical proof of convergence. The tracking system follows a model-based approach and uses image-based cues, namely...
232
click to vote
ACL2
2006
ACM
16 years 19 days ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
185
click to vote
CSL
2003
Springer
15 years 12 months ago
2003
Springer
System SKS is a set of rules for classical propositional logic presented in the calculus of structures. Like sequent systems and unlike natural deduction systems, it has an explici...
244
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
- Functional verification of the new generation microprocessor developed by SGS-THOMSON Microelectronics makes extensive use of advanced technologies. This paper presents a global ...
175
click to vote
FOCS
1993
IEEE
15 years 10 months ago
1993
IEEE
: Weprove tight bounds on the time needed to solve k-set agreement, a natural generalization of consensus. We analyze this problem in a synchronous, message-passing model where pro...