7092 search results - page 561 / 1419 » Parallelizing constraint programs |
140
click to vote
ACIVS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Image processing is widely used in many applications, including medical imaging, industrial manufacturing and security systems. In these applications, the size of the ima...
132
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
A program is reentrant if distinct executions of that program on distinct inputs cannot affect each other. Reentrant programs have the desirable property that they can be deployed...
145
click to vote
ICCV
2001
IEEE
16 years 6 months ago
2001
IEEE
The problem of extracting continuous structures from noisy or cluttered images is a difficult one. Successful extraction depends critically on the ability to balance prior constra...
124
click to vote
AIMSA
2008
Springer
15 years 11 months ago
2008
Springer
Integrated modeling of temporal and logical constraints is important for solving real-life planning and scheduling problems. Logical constrains extend the temporal formalism by rea...
147
click to vote
ENTCS
2010
15 years 4 months ago
2010
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...