2410 search results - page 44 / 482 » Multiset Ordering Constraints |
165
click to vote
PODS
2005
ACM
16 years 6 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...
201
click to vote
CONSTRAINTS
2010
15 years 6 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...
140
click to vote
DAC
2005
ACM
16 years 7 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 ...
196
click to vote
ICIP
2005
IEEE
16 years 4 days 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...
184
click to vote
ICLP
2001
Springer
15 years 11 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...