28 search results - page 6 / 6 » Real Solving of Bivariate Polynomial Systems |
BMVC
2001
13 years 8 months ago
2001
The ability to construct CAD or other object models from edge and range data has a fundamental meaning in building a recognition and positioning system. While the problem of model...
TCSV
2008
13 years 5 months ago
2008
Dual-camera systems have been widely used in surveillance because of the ability to explore the wide field of view (FOV) of the omnidirectional camera and the wide zoom range of th...
AB
2007
Springer
13 years 12 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...