4480 search results - page 194 / 896 » Prototyping Completion with Constraints Using Computational ... |
188
click to vote
ICCV
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper explores the direct motion estimation problem assuming that video-rate depth information is available, from either stereo cameras or other sensors. We use these depth m...
170
click to vote
CDC
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract— We analyze reachability properties and local input/output gains of systems with polynomial vector fields. Upper bounds for the reachable set and nonlinear system gains...
173
click to vote
COSIT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The Double Cross calculus has been proposed for the purpose of navigation based on qualitative information about spatial configurations. Up until now, however, no result...
161
click to vote
IPPS
2006
IEEE
16 years 14 days ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
180
click to vote
RECONFIG
2008
IEEE
16 years 25 days ago
2008
IEEE
1 We present a fast, efficient, and parameterized modular multiplier and a secure exponentiation circuit especially intended for FPGAs on the low end of the price range. The desig...