3001 search results - page 107 / 601 » Recursive type generativity |
101
Voted
VVS
2000
IEEE
15 years 6 months ago
2000
IEEE
Multi-resolution data-structures and algorithms are key in Visualization to achieve real-time interaction with large data-sets. Research has been primarily focused on the off-line...
133
Voted
STRINGOLOGY
2004
15 years 4 months ago
2004
Recently, several authors presented linear recursive algorithms for sorting suffixes of a string. All these algorithms employ a similar three-step approach, based on an initial di...
159
Voted
AFL
2011
14 years 2 months ago
2011
In this paper, we propose a new variant of Accepting Networks of Evolutionary Processors, in which the operations can be applied only arbitrarily to the words, while the filters ...
133
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
124
Voted
ERSHOV
1989
Springer
15 years 6 months ago
1989
Springer
This paper reports two experiments with implementations of constructions from theoretical computer science. The first one deals with Kleene’s and Rogers’ second recursion the...