629 search results - page 77 / 126 » Parallelization Method for a Continuous Property |
ATVA
2007
Springer
14 years 1 months ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper presents a new method for navigation and localization of a mobile robot equipped with an omnidirectional camera. We represent the environment using a collection of o...
INFOVIS
2005
IEEE
14 years 1 months ago
2005
IEEE
Space-filling visualizations, such as the TreeMap, are well-suited for displaying the properties of nodes in hierarchies. To browse the contents of the hierarchy, the primary mode...
MMB
2004
Springer
14 years 1 months ago
2004
Springer
Rate measurements are required for many purposes, e.g. for system analysis and modelling or for live systems that react to measurements. For off-line measurement all data is avail...
EUROCAST
2003
Springer
14 years 29 days ago
2003
Springer
In this paper we introduce a new generic selection method for Genetic Algorithms. The main difference of this selection principle in contrast to conventional selection models is g...