2290 search results - page 404 / 458 » Extensible Protected Types |
141
Voted
SMA
1999
ACM
15 years 6 months ago
1999
ACM
Subdivision surfaces have been extensively used to model smooth shapes of arbitrary topology. Recursive subdivision on an userdefined initial control mesh generates a visually pl...
MFPS
1989
15 years 6 months ago
1989
We define a simple collection of operations for creating and manipulating record structures, where records are intended as finite associations of values to labels. A second-order ...
153
Voted
NETWORKING
2004
15 years 3 months ago
2004
This paper proposes a novel reliable multicast transport protocol for multi-hop, wireless ad hoc networks (or MANETs). To recover from the different types of losses that may occur ...
117
Voted
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
115
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: The incorporation of annotated sequence information from multiple related species in commonly used databases (Ensembl, Flybase, Saccharomyces Genome Database, Wormbase...