1097 search results - page 143 / 220 » Revision Programming = Logic Programming Integrity Constra... |
146
click to vote
CONSTRAINTS
2008
15 years 3 months ago
2008
Aligning DNA and protein sequences is a core technique in molecular biology. Often, it is desirable to include partial prior knowledge and conditions in an alignment. Going beyond...
103
click to vote
CP
2003
Springer
15 years 8 months ago
2003
Springer
We provide a reformulation of the constraint hierarchies (CHs) framework based on the notion of error indicators. Adapting the generalized view of local consistency in semiring-ba...
149
click to vote
MOZ
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Although Constraint Programming (CP) is considered a useful tool for tackling combinatorial problems, its lack of flexibility when dealing with uncertainties and prefere...
137
Voted
DAC
2005
ACM
15 years 5 months ago
2005
ACM
This paper presents a new method for designing test wrappers for embedded cores with multiple clock domains. By exploiting the use of multiple shift frequencies, the proposed meth...
134
Voted
CAISE
2004
Springer
15 years 8 months ago
2004
Springer
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...