349 search results - page 46 / 70 » Semiring-Based Soft Constraints |
134
click to vote
CP
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
139
Voted
CONSTRAINTS
2010
15 years 1 months ago
2010
Abstract. We describe a simple CSP formalism for handling multi-attribute preference problems with hard constraints, one that combines hard constraints and preferences so the two a...
113
click to vote
ICASSP
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper, we propose two approaches for combining geometric information with ICA algorithm to solve permutation problem under the scenario where a rough information about the...
105
click to vote
EUROPAR
2004
Springer
15 years 7 months ago
2004
Springer
Since embedded systems require ever more compute power, SMT processors are viable candidates for future high performance embedded processors. However, SMTs exhibit unpredictable pe...
AAAI
2006
15 years 2 months ago
2006
Many planning and design problems can be characterized as optimal search over a constrained network of conditional choices with preferences. To draw upon the advanced methods of c...