4895 search results - page 360 / 979 » Functional Quantum Programming |
175
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
1 This paper presents a methodology to develop more modular parallel applications, based on aspect oriented programming. Traditional object oriented mechanisms implement applicatio...
183
click to vote
CSMR
2006
IEEE
15 years 9 months ago
2006
IEEE
The high cost of software maintenance could potentially be greatly reduced by the automatic refactoring of object-oriented programs to increase their understandability, adaptabili...
212
click to vote
ESOP
2008
Springer
15 years 9 months ago
2008
Springer
This paper defines the cover of a formula with respect to a set of variables V in theory T to be the strongest quantifier-free formula that is implied by V : in theory T. Cover e...
187
click to vote
EOR
2006
15 years 7 months ago
2006
In this paper, we present a stochastic model for the dynamic fleet management problem with random travel times. Our approach decomposes the problem into time-staged subproblems by...
243
click to vote
ISVC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We propose an improved shape matching algorithm that extends the work of Felzenszwalb [3]. In this approach, we use triangular meshes to represent deformable objects and ...