4880 search results - page 200 / 976 » Manuals as Structured Programs |
141
click to vote
CHI
1996
ACM
15 years 8 months ago
1996
ACM
The NewsComm system delivers personalized news and other program material as audio to mobile users through a hand-held playback device. This paper focuses on the iterative design ...
120
Voted
COLING
1992
15 years 5 months ago
1992
A formal treatment of typed feature structures (TFSs) is developed to augment TFSs, so that negative descriptions of them can be treated. Negative descriptions of TFSs can make li...
151
click to vote
SIGCOMM
2010
ACM
15 years 4 months ago
2010
ACM
Dynamic Datastructure Excavation (DDE) is a new approach to extract datastructures from C binaries without any need for debugging symbols. Unlike most existing tools, DDE uses dyn...
116
Voted
JSW
2006
15 years 3 months ago
2006
The demography of anchovy fishes in the Gulf of Biscay seems to be related to the presence of socalled "retentive" hydrodynamical structures, that keep fish eggs and larv...
134
click to vote
INFORMATICALT
2002
15 years 3 months ago
2002
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...