5838 search results - page 772 / 1168 » A File System for System Programming in Ubiquitous Computing |
161
click to vote
SIGGRAPH
1997
ACM
15 years 10 months ago
1997
ACM
This paper describes the integration of the Berkeley Architectural Walkthrough Program with the National Institute of Standards and Technology’s CFAST fire simulator. The integ...
188
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
Neural signals are everywhere just like mobile phones. We propose to use neural signals to control mobile phones for hands-free, silent and effortless human-mobile interaction. Un...
187
click to vote
SIGGRAPH
1999
ACM
15 years 10 months ago
1999
ACM
This paper presents a novel 3D plenoptic function, which we call concentric mosaics. We constrain camera motion to planar concentric circles, and create concentric mosaics using a...
179
click to vote
PODS
2005
ACM
16 years 6 months ago
2005
ACM
Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...
166
Voted
LICS
2008
IEEE
16 years 22 days ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...