Sciweavers

4166 search results - page 351 / 834
» Automating the constraining process
Sort
View
ROBOCUP
2009
Springer
214views Robotics» more  ROBOCUP 2009»
15 years 11 months ago
Real-Time Ball Tracking in a Semi-automated Foosball Table
In this article a method is proposed for ball tracking using 100 Hz computer vision in a semi-automated foosball table. In this application the behavior of the ball is highly dynam...
Rob Janssen, Jeroen de Best, René van de Mo...
SARA
2009
Springer
15 years 11 months ago
Automatically Enhancing Constraint Model Instances during Tailoring
Tailoring solver-independent constraint instances to target solvers is an important component of automated constraint modelling. We augment the tailoring process by a set of enhan...
Andrea Rendl, Ian Miguel, Ian P. Gent, Christopher...
QEST
2007
IEEE
15 years 11 months ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
LADS
2007
Springer
15 years 11 months ago
Extending the MaSE Methodology for the Development of Embedded Real-Time Systems
Embedded real-time systems play an important role in various application areas like plant automation, product automation or car electronics. In recent years a considerable growth i...
Iman Badr, Hisham Mubarak, Peter Göhner
ROBIO
2006
IEEE
123views Robotics» more  ROBIO 2006»
15 years 10 months ago
Evolutionary Robotics, Anticipation and the Reality Gap
— Evolutionary Robotics provide efficient tools and approach to address automatic design of controllers for automous mobile robots. However, the computational cost of the optimi...
Cédric Hartland, Nicolas Bredeche