Sciweavers

947 search results - page 186 / 190
» Discrete Geometry
Sort
View
ICCV
2009
IEEE
14 years 21 days ago
Multiperspective Stereo Matching and Volumetric Reconstruction
Stereo matching and volumetric reconstruction are the most explored 3D scene recovery techniques in computer vision. Many existing approaches assume perspective input images and us...
Yuanyuan Ding, Jingyi Yu, and Peter Sturm
HYBRID
2010
Springer
14 years 6 days ago
Automatic invariant generation for hybrid systems using ideal fixed points
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
Sriram Sankaranarayanan
ATAL
2009
Springer
13 years 12 months ago
Decentralised coordination of continuously valued control parameters using the max-sum algorithm
In this paper we address the problem of decentralised coordination for agents that must make coordinated decisions over continuously valued control parameters (as is required in m...
Ruben Stranders, Alessandro Farinelli, Alex Rogers...
ISSAC
2007
Springer
177views Mathematics» more  ISSAC 2007»
13 years 11 months ago
Component-level parallelization of triangular decompositions
We discuss the parallelization of algorithms for solving polynomial systems symbolically by way of triangular decompositions. We introduce a component-level parallelism for which ...
Marc Moreno Maza, Yuzhen Xie
AMIRE
2005
Springer
198views Robotics» more  AMIRE 2005»
13 years 11 months ago
Extending the Temporal Horizon of Autonomous Robots
Abstract. We introduce mathematically rigorous metrics on agent experiences having various temporal horizons. Sensorimotor variables accessible to the agent are treated as informat...
Chrystopher L. Nehaniv, Naeem Assif Mirza, Kerstin...