1968 search results - page 205 / 394 » The Complexity of Valued Constraint Models |
129
click to vote
SIGGRAPH
2000
ACM
15 years 5 months ago
2000
ACM
Our goal is to embed free-form constraints into a graphical model. With such constraints a graphic can maintain its visual integrity--and break rules tastefully--while being manip...
164
click to vote
ECBS
1996
IEEE
15 years 6 months ago
1996
IEEE
In this paper, it is shown that, through the use of Model-Integrated Program Synthesis MIPS, parallel real-time implementations of image processing data ows can be synthesized fro...
118
click to vote
CGF
2010
15 years 1 months ago
2010
Many problems in geometric modeling can be described using variational formulations that define the smoothness of the shape and its behavior w.r.t. the posed modeling constraints....
161
click to vote
TASE
2008
IEEE
15 years 1 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
127
click to vote
PLDI
2012
ACM
13 years 4 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...