595 search results - page 51 / 119 » Using Constraints with Memory to Implement Variable Eliminat... |
136
click to vote
CP
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we describe the design and implementation of CP-VIZ, a generic visualization platform for constraint programming. It provides multiple views to show the search tree, ...
146
click to vote
PPOPP
1997
ACM
15 years 7 months ago
1997
ACM
As shared-memory multiprocessors become the dominant commodity source of computation, parallelizing compilers must support mainstream computations that manipulate irregular, point...
123
Voted
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
121
Voted
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
Estimating relative camera motion from two views is a classical problem in computer vision. The minimal case for such problem is the so-called five-point-problem, for which the st...
135
click to vote
ECOOP
2007
Springer
15 years 7 months ago
2007
Springer
UML class diagrams are usually annotated with OCL expressions that constrain their possible instantiation. In our work we have investigated how OCL annotations can be automatically...