2410 search results - page 161 / 482 » Multiset Ordering Constraints |
209
click to vote
TOPLAS
2010
15 years 4 months ago
2010
program constraints are defined over a program’s abstract syntax tree. The JAVACOP compiler automatically enforces these constraints on programs during compilation. The JAVACOP ...
213
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper considers the problem of multi robot localization. The analysis is focused on the problem of determining which are the optimal robot trajectories in order to minimize th...
185
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
Modern architectures implement relaxed memory models which may reorder memory operations or execute them non-atomically. Special instructions called memory fences are provided, al...
152
click to vote
SCALESPACE
2007
Springer
16 years 13 days ago
2007
Springer
In this work, we address the problem of segmenting multiple objects, under possible occlusions, in a level set framework. A variational energy that incorporates a piecewise constan...
166
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...