4325 search results - page 10 / 865 » Incremental computation with names |
112
click to vote
CONCUR
2008
Springer
15 years 2 months ago
2008
Springer
R-automata are finite state machines extended with counters which can be incremented or reset to zero along the transitions. The universality question asks whether there is a cons...
ICCV
2005
IEEE
16 years 2 months ago
2005
IEEE
ICFP
2002
ACM
16 years 9 days ago
2002
ACM
This paper presents a monadic approach to incremental computation, suitable for purely functional languages such as Haskell. A program that uses incremental computation is able to...
TIP
2010
14 years 7 months ago
2010
Software realizations of computationally-demanding image processing tasks (e.g. image transforms and convolution) do not currently provide graceful degradation when their clock-cy...
PODS
2005
ACM
15 years 6 months ago
2005
ACM
The full disjunction is a variation of the join operator that maximally combines tuples from connected relations, while preserving all information in the relations. The full disju...