810 search results - page 45 / 162 » Continuous cartogram construction |
HYBRID
2003
Springer
14 years 28 days ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
MSS
2008
IEEE
13 years 7 months ago
2008
IEEE
It is shown that preferences can be constructed from observed choice behavior in a way that is robust to indifferent selection (i.e., the agent is indifferent between two alternat...
GMP
2000
IEEE
14 years 4 days ago
2000
IEEE
A geometric approach to the computation of precise or well approximated tolerance zones for CAD constructions is given. We continue a previous study of linear constructions and fr...
IWSEC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. With the digitization of society and the continuous migration of services to the electronic world, individuals have lost significant control over their data. In this pap...
BMCV
2000
Springer
14 years 2 days ago
2000
Springer
We here describe a view-based system for the pose-independent representation of objects without making reference to 3-D models. Input to the system is a collection of pictures cov...