3521 search results - page 459 / 705 » Algorithmic Control in Concurrent Computations |
137
click to vote
SMA
2003
ACM
15 years 9 months ago
2003
ACM
The presented approach to discretization of functionally defined heterogeneous objects is oriented towards applications associated with numerical simulation procedures, for exampl...
124
click to vote
NPAR
2010
ACM
15 years 9 months ago
2010
ACM
Image manipulation takes many forms. A powerful approach involves image adjustment by example. To make color edits more intuitive, the intelligent transfer of a user-specified ta...
161
click to vote
PG
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents solutions to the feature correspondence and feature interpolation problems in image morphing. The user specifies the correspondence between the source and the...
135
click to vote
CAD
2000
Springer
15 years 4 months ago
2000
Springer
Very large and geometrically complex scenes, exceeding millions of polygons and hundreds of objects, arise naturally in many areas of interactive computer graphics. Time-critical ...
148
Voted
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...