313 search results - page 33 / 63 » Lazy Abstraction with Interpolants |
SFP
2003
13 years 9 months ago
2003
Abstract: Mobile computation enables computations to move between a dynamic set of locations, and is becoming an increasingly important paradigm. mHaskell is an extension of Haskel...
EMMCVPR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We propose a new model for image decomposition which separates an image into a cartoon, consisting only of geometric objects, and an oscillatory component, consisting of ...
SIGGRAPH
1995
ACM
13 years 11 months ago
1995
ACM
Techniques from the image and signal processing domain can be successfully applied to designing, modifying, and adapting animated motion. For this purpose, we introduce multiresol...
GECCO
2008
Springer
13 years 8 months ago
2008
Springer
This paper presents a variant of Quantum behaved Particle Swarm Optimization (QPSO) named Q-QPSO for solving global optimization problems. The Q-QPSO algorithm is based on the cha...
GMP
2008
IEEE
13 years 8 months ago
2008
IEEE
Abstract. This paper considers the problem of computing an interpolating skin of a ordered set of discrete 2D balls. By construction, the skin is constrained to be C1 continuous, a...