1243 search results - page 181 / 249 » Complexity reduction of C-Algorithm |
108
click to vote
CPAIOR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In constraint programming there are often many choices regarding the propagation method to be used on the constraints of a problem. However, simple constraint solvers usu...
FMCAD
2009
Springer
15 years 8 months ago
2009
Springer
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...
103
click to vote
SARA
2009
Springer
15 years 8 months ago
2009
Springer
Constraint Programming is an attractive approach for solving AI planning problems by modelling them as Constraint Satisfaction Problems (CSPs). However, formulating effective cons...
107
click to vote
MOBILWARE
2009
ACM
15 years 7 months ago
2009
ACM
The availability of heterogeneous wireless interfaces and of growing computing resources on widespread portable devices pushes for enabling innovative deployment scenarios where mo...
109
click to vote
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— The goal of this paper is to develop modeling techniques for complex systems for the purposes of control, estimation, and inference: (i) A new class of Hidden Markov Models is ...