320 search results - page 43 / 64 » Constructing Invariants for Hybrid Systems |
151
click to vote
AINA
2007
IEEE
16 years 8 days ago
2007
IEEE
We know how to build secure systems but for security measures to be truly effective it is necessary to use keys which are far too large for people to commit to memory. The consequ...
158
click to vote
TROB
2008
15 years 5 months ago
2008
Sampling-based nonholonomic and kinodynamic planning iteratively constructs solutions with sampled controls. A constructed trajectory is returned as an acceptable solution if its &...
167
click to vote
ECOOP
2012
Springer
13 years 8 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
161
click to vote
ICCV
2003
IEEE
16 years 7 months ago
2003
IEEE
The problem considered in this paper is the fully automatic construction of panoramas. Fundamentally, this problem requires recognition, as we need to know which parts of the pano...
174
click to vote
ICCV
1995
IEEE
15 years 9 months ago
1995
IEEE
The structure-from-motion problem has been extensively studied in the field of computer vision. Yet, the bulk of the existing work assumes that the scene contains only a single m...