4719 search results - page 310 / 944 » Newtonian program analysis |
138
click to vote
CONSTRAINTS
2004
15 years 6 months ago
2004
We consider constructive preference elicitation for decision aid systems in applications such as configuration or electronic catalogs. We are particularly interested in supporting ...
192
click to vote
IJCV
2002
15 years 6 months ago
2002
In this paper, a new hierarchical stereo algorithm is presented. The algorithm matches individual pixels in corresponding scanlines by minimizing a cost function. Several cost fun...
173
click to vote
POPL
2009
ACM
16 years 1 months ago
2009
ACM
Haskell has a rich set of synchronization primitives for implemented-state concurrency abstractions, ranging from the very high level (Software Transactional Memory) to the very l...
174
click to vote
ECOOP
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Understanding the collaborations that arise between the instances of classes in object-oriented programs is important for the analysis, optimization, or modification of ...
192
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...