3575 search results - page 47 / 715 » Modeling Concurrency with Geometry |
SIGGRAPH
2000
ACM
15 years 2 months ago
2000
ACM
We propose a new progressive compression scheme for arbitrary topology, highly detailed and densely sampled meshes arising from geometry scanning. We observe that meshes consist o...
106
click to vote
CVPR
2011
IEEE
14 years 6 months ago
2011
IEEE
We present a human-centric paradigm for scene understanding. Our approach goes beyond estimating 3D scene geometry and predicts the “workspace” of a human which is represented...
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
111
click to vote
JPDC
2007
14 years 9 months ago
2007
Client interactions with modern web-accessible network services are typically organized into sessions involving multiple requests that read and write shared application data. Ther...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...