Sciweavers

1984 search results - page 195 / 397
» The colourful feasibility problem
Sort
View
ISAAC
2003
Springer
144views Algorithms» more  ISAAC 2003»
15 years 11 months ago
Biconnectivity on Symbolically Represented Graphs: A Linear Solution
Abstract. We define an algorithm for determining, in a linear number of symbolic steps, the biconnected components of a graph implicitly represented with Ordered Binary Decision D...
Raffaella Gentilini, Alberto Policriti
DSD
2002
IEEE
88views Hardware» more  DSD 2002»
15 years 11 months ago
The Synthesis of a Hardware Scheduler for Non-Manifest Loops
This paper1 addresses the hardware implementation of a dynamic scheduler for non-manifest data dependent periodic loops. Static scheduling techniques which are known to give near ...
Omar Mansour, Egbert Molenkamp, Thijs Krol
ICRA
2002
IEEE
161views Robotics» more  ICRA 2002»
15 years 11 months ago
Mosaicing Large Cyclic Environments for Visual Navigation in Autonomous Vehicles
Mobile robot localization from large-scale appearance mosaics has been showing increasing promise as a low-cost, high-performance and infrastructure-free solution to vehicle guida...
Ranjith Unnikrishnan, Alonzo Kelly
WACV
2002
IEEE
15 years 11 months ago
Range Synthesis for 3D Environment Modeling
In this paper a range synthesis algorithm is proposed as an initial solution to the problem of 3D environment modeling from sparse data. We develop a statistical learning method f...
Luz Abril Torres-Méndez, Gregory Dudek
GECCO
2009
Springer
15 years 11 months ago
Using simulated annealing for producing software architectures
Automatic design of software architecture by use of genetic algorithms has already been shown to be feasible. A natural problem is to augment – if not replace – genetic algori...
Outi Räihä, Erkki Mäkinen, Timo Por...