7092 search results - page 230 / 1419 » Parallelizing constraint programs |
108
Voted
VMCAI
2007
Springer
15 years 6 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
92
Voted
IJCV
2002
15 years 9 days ago
2002
This paper describes a new algorithm for disparity estimation using trinocular stereo. The three cameras are placed in a right angled configuration. A graph is then constructed wh...
103
Voted
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
This study1 explores the applicability of fully automatic parallelizing techniques for parallel computers. In this study, we capitalize on a variety of traditional compiling techn...
ICFP
2005
ACM
16 years 15 days ago
2005
ACM
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
PADL
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Mathematical programs (MPs) are a class of constrained optimization problems that include linear, mixed-integer, and disjunctive programs. Strategies for solving MPs rely...