Sciweavers

3808 search results - page 654 / 762
» Artificial Intelligence: A Modern Approach
Sort
View
CP
2007
Springer
15 years 4 months ago
Scheduling Conditional Task Graphs
The increasing levels of system integration in Multi-Processor System-on-Chips (MPSoCs) emphasize the need for new design flows for efficient mapping of multi-task applications o...
Michele Lombardi, Michela Milano
CP
2007
Springer
15 years 4 months ago
Hierarchical Hardness Models for SAT
Abstract. Empirical hardness models are a recent approach for studying NP-hard problems. They predict the runtime of an instance using efficiently computable features. Previous res...
Lin Xu, Holger H. Hoos, Kevin Leyton-Brown
EPIA
2007
Springer
15 years 4 months ago
Evaluating Simulated Annealing Algorithms in the Optimization of Bacterial Strains
Abstract. In this work, a Simulated Annealing (SA) algorithm is proposed for a Metabolic Engineering task: the optimization of the set of gene deletions to apply to a microbial str...
Miguel Rocha, Rui Mendes, Paulo Maia, José ...
EPIA
2007
Springer
15 years 4 months ago
Human Robot Interaction Based on Bayesian Analysis of Human Movements
We present as a contribution to the field of human-machine interaction a system that analyzes human movements online, based on the concept of Laban Movement Analysis (LMA). The im...
Jörg Rett, Jorge Dias
GPCE
2007
Springer
15 years 4 months ago
Preventing injection attacks with syntax embeddings
Software written in one language often needs to construct sentences in another language, such as SQL queries, XML output, or shell command invocations. This is almost always done ...
Martin Bravenboer, Eelco Dolstra, Eelco Visser