5325 search results - page 792 / 1065 » Effective Computation for Nonlinear Systems |
189
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...
178
click to vote
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
We derive a probabilistic framework for robust, realtime, visual tracking of multiple previously unseen objects from a moving camera. This framework models the discrete depth orde...
212
click to vote
ICPR
2010
IEEE
15 years 6 months ago
2010
IEEE
We present a 3D face reconstruction system that takes as input either one single view or several different views. Given a facial image, we first classify the facial pose into one...
147
click to vote
AC
2008
Springer
15 years 6 months ago
2008
Springer
The historical context surrounding the birth of the DARPA High Productivity Computing Systems (HPCS) program is important for understanding why federal government agencies launche...
138
Voted
JDCTA
2008
15 years 6 months ago
2008
Tourism industry is one of the important sources of income in many countries. The appropriate and quick submission of primary information such as address of hotels to the tourists...