2725 search results - page 347 / 545 » Constraint Solving for Interpolation |
159
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
Basic retiming is an algorithm originally developed for hardware optimization. Software pipelining is a technique proposed to increase instruction-level parallelism for parallel p...
136
click to vote
ICTAI
2003
IEEE
15 years 10 months ago
2003
IEEE
Conflict analysis is a powerful paradigm of backtrack search algorithms, in particular for solving satisfiability problems arising from practical applications. Accordingly, most...
151
click to vote
CP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Local search algorithms have been very successful for solving constraint satisfaction problems (CSP). However, a major weakness has been that local search is unable to de...
134
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— This paper deals with stabilization of networked control systems (NCS) affected by uncertain time-varying delays and data packet dropouts. We point out that such network effect...
163
click to vote
EMMCVPR
2001
Springer
15 years 9 months ago
2001
Springer
The interest of graph matching techniques in the pattern recognition field is increasing due to the versatility of representing knowledge in the form of graphs. However, the size ...