Sciweavers

17967 search results - page 252 / 3594
» Functional timing optimization
Sort
View
AIME
2001
Springer
15 years 11 months ago
Using Time-Oriented Data Abstraction Methods to Optimize Oxygen Supply for Neonates
Andreas Seyfang, Silvia Miksch, Werner Horn, Micha...
EPIA
2001
Springer
15 years 11 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 11 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 11 months ago
Optimal Paths in Weighted Timed Automata
Rajeev Alur, Salvatore La Torre, George J. Pappas