Sciweavers

566 search results - page 95 / 114
» Solution Reuse in Dynamic Constraint Satisfaction Problems
Sort
View
ANOR
2004
170views more  ANOR 2004»
15 years 7 days ago
Graph Coloring for Air Traffic Flow Management
The aim of Air Traffic Flow Management (ATFM) is to enhance the capacity of the airspace while satisfying Air Traffic Control constraints and airlines requests to optimize their o...
Nicolas Barnier, Pascal Brisset
94
Voted
DATE
2009
IEEE
122views Hardware» more  DATE 2009»
15 years 7 months ago
A MILP-based approach to path sensitization of embedded software
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In or...
José C. Costa, José C. Monteiro
123
Voted
SPIRE
2010
Springer
14 years 10 months ago
Restricted LCS
The Longest Common Subsequence (LCS) of two or more strings is a fundamental well-studied problem which has a wide range of applications throughout computational sciences. When the...
Zvi Gotthilf, Danny Hermelin, Gad M. Landau, Moshe...
104
Voted
INFOCOM
2005
IEEE
15 years 6 months ago
Energy optimal control for time varying wireless networks
Abstract— We develop a dynamic control strategy for minimizing energy expenditure in a time varying wireless network with adaptive transmission rates. The algorithm operates with...
Michael J. Neely
120
Voted
CEC
2010
IEEE
15 years 17 days ago
Genetic programming for Expert Systems
— Genetic programming is the usage of the paradigm of survival of the fittest in scientific computing. It is applied to evolve solutions to problems where dependencies between ...
Konrad Sickel, Joachim Hornegger