2410 search results - page 44 / 482 » Multiset Ordering Constraints |
134
click to vote
PODS
2005
ACM
16 years 4 months ago
2005
ACM
Direct reductions of partial differential equations to systems of ordinary differential equations are in one-to-one correspondence with compatible differential constraints. The dif...
165
click to vote
CONSTRAINTS
2010
15 years 4 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...
104
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
In this paper an optimization based model order reduction (MOR) framework is proposed. The method involves setting up a quasiconvex program that explicitly minimizes a relaxation ...
159
click to vote
ICIP
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we propose a novel technique to represent and recover optical flow through free form deformations. Such a technique is based on representing the motion field usin...
156
click to vote
ICLP
2001
Springer
15 years 9 months ago
2001
Springer
We usually use natural language vocabulary for sort names in order-sorted logics, and some sort names may contradict other sort names in the sort-hierarchy. These implicit negation...