30570 search results - page 5962 / 6114 » An Image Data Model |
187
Voted
PLDI
2003
ACM
16 years 7 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
221
click to vote
SENSYS
2003
ACM
16 years 7 days ago
2003
ACM
We present a technique for compression of shortest paths routing tables for wireless ad hoc networks. The main characteristic of such networks is that geographic location of nodes...
199
click to vote
VRST
2003
ACM
16 years 7 days ago
2003
ACM
We present a novel, generic framework and algorithm for hierarchical collision detection, which allows an application to balance speed and quality of the collision detection. We p...
229
Voted
AMKM
2003
Springer
16 years 7 days ago
2003
Springer
Every time a user engaged in work reads or writes, the user spontaneously generates new information needs: to understand the text he or she is reading or to supply more substance ...
208
click to vote
ATAL
2003
Springer
16 years 7 days ago
2003
Springer
In this paper, we introduce a toolkit called SceneMaker for authoring scenes for adaptive, interactive performances. These performances are based on automatically generated and pr...