Sciweavers

609 search results - page 44 / 122
» Continuous Cube Mapping
Sort
View
128
Voted
SAS
2009
Springer
148views Formal Methods» more  SAS 2009»
16 years 4 months ago
Abstract Interpretation from a Topological Perspective
Interpretation from a Topological Perspective David A. Schmidt Kansas State University, Manhattan, Kansas, USA Abstract. Topology is the study of property sets (open sets) and cont...
David A. Schmidt
123
Voted
CSL
2004
Springer
15 years 7 months ago
Pfaffian Hybrid Systems
It is well known that in an o-minimal hybrid system the continuous and discrete components can be separated, and therefore the problem of finite bisimulation reduces to the same pr...
Margarita V. Korovina, Nicolai Vorobjov
102
Voted
3DPVT
2004
IEEE
119views Visualization» more  3DPVT 2004»
15 years 7 months ago
The Influence of Shape on Image Correspondence
We examine the implications of shape on the process of finding dense correspondence and half-occlusions for a stereo pair of images. The desired property of the depth map is that ...
Abhijit S. Ogale, Yiannis Aloimonos
128
Voted
UAI
2008
15 years 5 months ago
Learning Hidden Markov Models for Regression using Path Aggregation
We consider the task of learning mappings from sequential data to real-valued responses. We present and evaluate an approach to learning a type of hidden Markov model (HMM) for re...
Keith Noto, Mark Craven
164
Voted
ATS
1998
IEEE
170views Hardware» more  ATS 1998»
15 years 8 months ago
A Ring Architecture Strategy for BIST Test Pattern Generation
This paper presents a new effective Built-In Self Test (BIST) scheme that achieves 100% fault coverage with low area overhead, and without any modification of the circuit under tes...
Christophe Fagot, Olivier Gascuel, Patrick Girard,...