Sciweavers

6456 search results - page 198 / 1292
» Constraint Solving on Terms
Sort
View
SMA
2009
ACM
166views Solid Modeling» more  SMA 2009»
16 years 1 months ago
A geometric criterion for smooth interpolation of curve networks
A key problem when interpolating a network of curves occurs at vertices: an algebraic condition called the vertex enclosure constraint must hold wherever an even number of curves ...
T. Hermann, J. Peters, T. Strotman
CP
2009
Springer
16 years 7 months ago
The Complexity of Valued Constraint Models
The Valued Constraint Satisfaction Problem (VCSP) is a general framework encompassing many optimisation problems. We discuss precisely what it means for a problem to be modelled in...
Peter G. Jeavons, Stanislav Zivný
ICDT
2005
ACM
130views Database» more  ICDT 2005»
16 years 7 hour ago
Rewriting Queries Using Views with Access Patterns Under Integrity Constraints
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...
Alin Deutsch, Bertram Ludäscher, Alan Nash
ECAI
2004
Springer
15 years 12 months ago
Using Constraints with Memory to Implement Variable Elimination
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...
Martí Sánchez, Pedro Meseguer, Javie...
AAAI
2008
15 years 8 months ago
Constraint Projections for Ensemble Learning
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...
Daoqiang Zhang, Songcan Chen, Zhi-Hua Zhou, Qiang ...