827 search results - page 65 / 166 » Proof-Theoretic Soundness and Completeness |
138
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. In this paper, we address the problem of estimating the motion of fluid flows that are visualized through a Schlieren system. Such a system is well known in fluid mechani...
134
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
In this paper we extend an existing audio background modelling technique, leading to a more robust application to complex audio environments. The determination of background audio...
272
click to vote
CP
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Today's models for propagation-based constraint solvers require propagators as implementations of constraints to be at least contracting and monotonic. These models ...
152
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
Listening to music on personal, digital devices while mobile is an enjoyable, everyday activity. We explore a scheme for exploiting this practice to immerse listeners in navigatio...
122
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
A control part ? data path partition based sequential circuit verification scheme aimed at avoiding state explosion comprises two major modules namely, a data path verifier and a ...