6456 search results - page 62 / 1292 » Constraint Solving on Terms |
106
Voted
RTA
2010
Springer
15 years 4 months ago
2010
Springer
Decreasing diagrams technique (van Oostrom, 1994) is a technique that can be widely applied to prove confluence of rewrite systems. To directly apply the decreasing diagrams techn...
133
Voted
CONSTRAINTS
2010
14 years 10 months ago
2010
This paper considers constraint propagation methods for continuous constraint satisfaction problems consisting of linear and quadratic constraints. All methods can be applied after...
114
Voted
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
It has been shown that the 3D shape of a deformable surface in an image can be recovered by establishing correspondences between that image and a reference one in which the shape ...
125
click to vote
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
The Unit Commitment Problem (UCP) is the task of finding an optimal turn on and turn off schedule for a group of power generation units over a given time horizon to minimize ope...
110
click to vote
ECIR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Traditional retrieval models assume that query terms are independent and rank documents primarily based on various term weighting strategies including TF-IDF and document...