Sciweavers

13841 search results - page 355 / 2769
» Algorithms and Constraint Programming
Sort
View
FLOPS
2010
Springer
15 years 12 months ago
Tag-Free Combinators for Binding-Time Polymorphic Program Generation
Abstract. Binding-time polymorphism enables a highly flexible bindingtime analysis for offline partial evaluation. This work provides the tools to translate this flexibility into...
Peter Thiemann, Martin Sulzmann
ICRA
2007
IEEE
129views Robotics» more  ICRA 2007»
16 years 1 months ago
Multi-Robot Area Patrol under Frequency Constraints
— This paper discusses the problem of generating patrol paths for a team of mobile robots inside a designated target area. Patrolling requires an area to be visited repeatedly by...
Yehuda Elmaliach, Noa Agmon, Gal A. Kaminka
ICRA
2007
IEEE
168views Robotics» more  ICRA 2007»
16 years 1 months ago
A Multi-State Constraint Kalman Filter for Vision-aided Inertial Navigation
— In this paper, we present an Extended Kalman Filter (EKF)-based algorithm for real-time vision-aided inertial navigation. The primary contribution of this work is the derivatio...
Anastasios I. Mourikis, Stergios I. Roumeliotis
GCC
2003
Springer
16 years 8 hour ago
An Evolutionary Constraint Satisfaction Solution for over the Cell Channel Routing
A novel combination of genetic algorithms and constraint satisfaction modelling for the solution of two and multi-layer over-thecell channel routing problems is presented. The two ...
Ahmet Ünveren, Adnan Acan
EUC
2004
Springer
15 years 10 months ago
Efficient Scheduling for Design Exploration with Imprecise Latency and Register Constraints
In archiectural synthesis, scheduling and resource allocation are important steps. During the early stage of the design, imprecise information is unavoidable. Under the imprecise ...
Chantana Chantrapornchai, Wanlop Surakumpolthorn, ...