Sciweavers

708 search results - page 8 / 142
» Timing closure: the solution and its problems
Sort
View
AAAI
1996
14 years 11 months ago
Monitoring the Progress of Anytime Problem-Solving
Anytime algorithms offer a tradeoff between solution quality and computation time that has proved useful in applying artificial intelligence techniques to time-critical problems. ...
Eric A. Hansen, Shlomo Zilberstein
EMO
2009
Springer
235views Optimization» more  EMO 2009»
15 years 4 months ago
Bi-objective Optimization for the Vehicle Routing Problem with Time Windows: Using Route Similarity to Enhance Performance
Abstract. The Vehicle Routing Problem with Time Windows is a complex combinatorial optimization problem which can be seen as a fusion of two well known sub-problems: the Travelling...
Abel Garcia-Najera, John A. Bullinaria
TCS
1998
14 years 9 months ago
A Uniform Approach to Semi-Dynamic Problems on Digraphs
In this paper we propose a uniform approach to deal with incremental problems on digraphs and with decremental problems on dags generalizing a technique used by La Poutr´e and va...
Serafino Cicerone, Daniele Frigioni, Umberto Nanni...
CDC
2009
IEEE
176views Control Systems» more  CDC 2009»
15 years 1 months ago
A characterization of solution sets of LTI differential equations
Abstract— We prove that a controllable set of smooth trajectories is the solution set of a constant coefficient linear differential equation if and only if it is linear, time in...
Jean-Charles Delvenne, Tzvetan Ivanov
TABLEAUX
2005
Springer
15 years 3 months ago
Pdk: The System and Its Language
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that fin...
Marta Cialdea Mayer, Carla Limongelli, Andrea Orla...