1431 search results - page 181 / 287 » Solving Constraints in Model Transformations |
120
Voted
PAMI
2006
15 years 18 days ago
2006
Efficient segmentation of globally optimal surfaces representing object boundaries in volumetric data sets is important and challenging in many medical image analysis applications....
119
click to vote
TSP
2011
14 years 7 months ago
2011
—This paper deals with the problem of estimating the steering direction of a signal, embedded in Gaussian disturbance, under a general quadratic inequality constraint, representi...
91
Voted
MP
2010
14 years 11 months ago
2010
We study the mixed-integer rounding (MIR) closures of polyhedral sets. The MIR closure of a polyhedral set is equal to its split closure and the associated separation problem is N...
121
click to vote
NECO
1998
15 years 10 days ago
1998
three different levels of abstraction: detailed models including ctivity dynamics, weight dynamics that abstract from the neural activity dynamics by an adiabatic approximation, an...
101
click to vote
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...