Sciweavers

17967 search results - page 252 / 3594
» Functional timing optimization
Sort
View
73
Voted
AIME
2001
Springer
15 years 7 months ago
Using Time-Oriented Data Abstraction Methods to Optimize Oxygen Supply for Neonates
Andreas Seyfang, Silvia Miksch, Werner Horn, Micha...
111
Voted
EPIA
2001
Springer
15 years 7 months ago
A Temporal Planning System for Time-Optimal Planning
Dealing with temporality on actions presents an important challenge to AI planning. Unlike Graphplan-based planners which alternate levels of propositions and actions in a regular ...
Antonio Garrido Tejero, Eva Onaindia, Federico Bar...
FPL
2001
Springer
78views Hardware» more  FPL 2001»
15 years 7 months ago
Run-Time Performance Optimization of an FPGA-Based Deduction Engine for SAT Solvers
Andreas Dandalis, Viktor K. Prasanna, Bharani Thir...
HYBRID
2001
Springer
15 years 7 months ago
Optimal Paths in Weighted Timed Automata
Rajeev Alur, Salvatore La Torre, George J. Pappas