Sciweavers

187 search results - page 22 / 38
» Generating ultrafilters in a reasonable way
Sort
View
CEC
2003
IEEE
13 years 11 months ago
A genetic algorithm for energy efficient device scheduling in real-time systems
Most embedded systemshave tightconstraints on power consumption because the amonnt of power available to these systems is limited due to the limitation ofbattery life. For this rea...
Lirong Tian, Tughrul Arslan
GAMEON
2001
13 years 9 months ago
Stratego Expert System Shell
The field of multi-agent systems is an active area of research. One of the possible applications of a multi-agent system is the use of distributed techniques for problem solving. ...
Caspar Treijtel, Léon J. M. Rothkrantz
IJCAI
2003
13 years 9 months ago
Dynamic Vehicle Routing with Stochastic Requests
This paper considers vehicle routing problems (VRP) where customer locations and service times are random variables that are realized dynamically during plan execution. It propose...
Russell Bent, Pascal Van Hentenryck
GCB
2010
Springer
182views Biometrics» more  GCB 2010»
13 years 5 months ago
Repeat-aware Comparative Genome Assembly
: The current high-throughput sequencing technologies produce gigabytes of data even when prokaryotic genomes are processed. In a subsequent assembly phase, the generated overlappi...
Peter Husemann, Jens Stoye
ACSD
2001
IEEE
134views Hardware» more  ACSD 2001»
13 years 11 months ago
Embedding Imperative Synchronous Languages in Interactive Theorem Provers
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
Klaus Schneider