2725 search results - page 157 / 545 » Constraint Solving for Interpolation |
112
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
System-on-chip and system-in-package result in increased number of I/O cells and complicated constraints for both chip designs and package designs. This renders the traditional ma...
128
Voted
ICDT
2005
ACM
15 years 9 months ago
2005
ACM
We study the problem of rewriting queries using views in the presence of access patterns, integrity constraints, disjunction, and negation. We provide asymptotically optimal algori...
127
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Adaptive consistency is a solving algorithm for constraint networks. Its basic step is variable elimination: it takes a network as input, and producesan equivalent networ...
133
click to vote
AAAI
2008
15 years 6 months ago
2008
It is well-known that diversity among base classifiers is crucial for constructing a strong ensemble. Most existing ensemble methods obtain diverse individual learners through res...
152
click to vote
FLAIRS
2007
15 years 6 months ago
2007
Using information from failures to guide subsequent search is an important technique for solving combinatorial problems in domains such as boolean satisfiability (SAT) and constr...