Sciweavers

688 search results - page 133 / 138
» Types for trees
Sort
View
ICALP
2010
Springer
13 years 11 months ago
Mergeable Dictionaries
A data structure is presented for the Mergeable Dictionary abstract data type, which supports the following operations on a collection of disjoint sets of totally ordered data: Pr...
John Iacono, Özgür Özkan
ACMIDC
2010
13 years 11 months ago
Gifts for intertwining with modern nature
Inspired by Froebel’s Gifts for kindergarten, we propose a new category of gifts for modern preschools. Modern Nature Gifts are meta-manipulatives, inviting deeper exploration o...
Jay S. Silver, Eric Rosenbaum
GECCO
2000
Springer
122views Optimization» more  GECCO 2000»
13 years 11 months ago
Genetic Programming with Statically Scoped Local Variables
This paper presents an extension to genetic programming to allow the evolution of programs containing local variables with static scope which obey the invariant that all variables...
Evan Kirshenbaum
KBSE
2000
IEEE
13 years 11 months ago
Simultaneous Checking of Completeness and Ground Confluence
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
Adel Bouhoula
DRR
2010
13 years 9 months ago
Time and space optimization of document content classifiers
Scaling up document-image classifiers to handle an unlimited variety of document and image types poses serious challenges to conventional trainable classifier technologies. Highly...
Dawei Yin, Henry S. Baird, Chang An