4325 search results - page 117 / 865 » Incremental computation with names |
158
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
Abstract. We propose an efficient alignment method for textured DooSabin subdivision surface templates. A variation of the inverse compositional image alignment is derived by intro...
171
click to vote
LOPSTR
2007
Springer
16 years 16 days ago
2007
Springer
We propose an extension of Constraint Handling Rules (CHR) with aggregates such as sum, count, findall, and min. This new feature significantly improves the conciseness and expres...
188
click to vote
DSVIS
1997
Springer
15 years 10 months ago
1997
Springer
The obvious advantages of prototyping and incremental development for interactive systems lead some people to believe that specifications of such systems are unnecessary or even ha...
160
click to vote
SPAA
2010
ACM
15 years 4 months ago
2010
ACM
We describe parallel implementations of LU factorization with pivoting for multicore architectures. Implementations that differ in two different dimensions are discussed: (1) usin...
164
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...