4117 search results - page 511 / 824 » On the Satisfiability of Complex Constraints |
221
click to vote
SIAMREV
2010
15 years 1 months ago
2010
The affine rank minimization problem consists of finding a matrix of minimum rank that satisfies a given system of linear equality constraints. Such problems have appeared in the ...
208
click to vote
JCPHY
2011
14 years 9 months ago
2011
We propose a novel method to implicitly two-way couple Eulerian compressible flow to volumetric Lagrangian solids. The method works for both deformable and rigid solids and for a...
208
click to vote
SIAMIS
2011
14 years 9 months ago
2011
We analyze the illumination invariance of the level lines of an image. We show that if the scene surface has Lambertian reflectance and the light is directed, then a necessary and...
224
click to vote
ICDCS
2011
IEEE
14 years 6 months ago
2011
IEEE
—The number of real-world applications that require QoS guarantees is constantly increasing and they often follow the publish/subscribe (pub/sub) messaging paradigm, which provid...
178
click to vote
DSD
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Verification of application requirements is becoming a bottleneck in system-on-chip design, as the number of applications grows. Traditionally, the verification comple...