3575 search results - page 414 / 715 » Modeling Concurrency with Geometry |
167
click to vote
VSTTE
2005
Springer
16 years 4 days ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
235
click to vote
HLK
2003
IEEE
15 years 12 months ago
2003
IEEE
It’s common experience for human vision to perceive full 3D shape and scene from a single 2D image with the occluded parts “filled-in” by prior visual knowledge. In this pa...
174
click to vote
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
We address the texture level-of-detail problem for extremely large surfaces such as terrain during realtime, view-dependent rendering. A novel texture hierarchy is introduced base...
177
click to vote
COMPGEOM
2003
ACM
15 years 12 months ago
2003
ACM
Docking is the process by which two or several molecules form a complex. Docking involves the geometry of the molecular surfaces, as well as chemical and energetical consideration...
166
click to vote
COMPGEOM
2003
ACM
15 years 12 months ago
2003
ACM
We develop algorithms for computing the smallest enclosing ball of a set of n balls in d-dimensional space. Unlike previous methods, we explicitly address small cases (n ≤ d + 1...