Sciweavers

961 search results - page 50 / 193
» Automatic design synthesis with artificial intelligence tech...
Sort
View
CP
2003
Springer
15 years 6 months ago
A Synthesis of Constraint Satisfaction and Constraint Solving
Abstract. This paper offers a critique of the framework of Constraint Satisfaction Problems. While this framework has been successful in studying search techniques, and has inspire...
Michael J. Maher
ICPR
2008
IEEE
16 years 2 months ago
Incremental machine learning techniques for document layout understanding
In real-world Digital Libraries, Artificial Intelligence techniques are essential for tackling the automatic document processing task with sufficient flexibility. The great variab...
Floriana Esposito, Marenglen Biba, Stefano Ferilli...
CBSE
2010
Springer
15 years 4 months ago
Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
Gwenaël Delaval, Éric Rutten

Book
357views
16 years 11 months ago
Foundations of Constraint Satisfaction
"Constraint satisfaction is a general problem in which the goal is to find values for a set of variables that will satisfy a given set of constraints. It is the core of many a...
Edward Tsang
ISSS
2002
IEEE
103views Hardware» more  ISSS 2002»
15 years 6 months ago
A Symbolic Approach for the Combined Solution of Scheduling and Allocation
Scheduling is widely recognized as a very important step in highlevel synthesis. Nevertheless, it is usually done without taking into account the effects on the actual hardware im...
Luciano Lavagno, Mihai T. Lazarescu, Stefano Quer,...