4426 search results - page 239 / 886 » Concurrent Constraint Programming |
168
click to vote
VMCAI
2007
Springer
16 years 20 days 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...
160
click to vote
IJCV
2002
15 years 6 months 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...
142
click to vote
ICFP
2005
ACM
16 years 6 months 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 ...
144
click to vote
PADL
2010
Springer
16 years 3 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...
172
click to vote
ATAL
2000
Springer
15 years 11 months ago
2000
Springer
In this paper, we describe a framework to program open societies of concurrently operating agents. The agents maintain a subjective theory about their environment and interact with...