1888 search results - page 53 / 378 » Proof theory and computational analysis |
198
click to vote
HYBRID
1998
Springer
15 years 11 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
179
click to vote
APLAS
2005
ACM
16 years 7 days ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
174
click to vote
ARITH
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper we present a rigorous theoretical analysis of the main properties of a double base number system, using bases 2 and 3; in particular we emphasize the sparseness of t...
152
click to vote
ECCV
2004
Springer
16 years 2 days ago
2004
Springer
—Cast shadows can be significant in many computer vision applications, such as lighting-insensitive recognition and surface reconstruction. Nevertheless, most algorithms neglect ...
160
click to vote
HUMO
2007
Springer
16 years 25 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...