Sciweavers

1052 search results - page 77 / 211
» Foundations for Virtual Types
Sort
View
ESWS
2009
Springer
14 years 3 months ago
The Sile Model - A Semantic File System Infrastructure for the Desktop
With the increasing storage capacity of personal computing devices, the problems of information overload and information fragmentation become apparent on usersā€™ desktops. For the...
Bernhard Schandl, Bernhard Haslhofer
DLS
2008
213views Languages» more  DLS 2008»
13 years 10 months ago
A parsing machine for PEGs
Parsing Expression Grammar (PEG) is a recognition-based foundation for describing syntax that renewed interest in top-down parsing approaches. Generally, the implementation of PEG...
Sérgio Medeiros, Roberto Ierusalimschy
CHI
1999
ACM
14 years 1 months ago
Interactive 3D Sound Hyperstories for Blind Children
Interactive software is currently used for learning and entertainment purposes. This type of software is not very common among blind children because most computer games and elect...
Mauricio Lumbreras, Jaime Sánchez
SIGGRAPH
1998
ACM
14 years 16 days ago
Interactive Reflections on Curved Objects
Global view-dependent illumination phenomena, in particular reflections, greatly enhance the realism of computer-generated imagery. Current interactive rendering methods do not pr...
Eyal Ofek, Ari Rappoport
PPDP
2009
Springer
14 years 3 months ago
Relational semantics for effect-based program transformations: higher-order store
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
Nick Benton, Andrew Kennedy, Lennart Beringer, Mar...