1133 search results - page 195 / 227 » Local Logics for Traces |
173
click to vote
INFOCOM
2011
IEEE
14 years 9 months ago
2011
IEEE
—In this paper, we present Novasky, a real-world Video-on-Demand (VoD) system capable of delivering cinematicquality video streams to end users. The foundation of the Novasky des...
193
click to vote
SI3D
2012
ACM
14 years 1 months ago
2012
ACM
Bounding volume hierarchies (BVHs) are a popular acceleration structure choice for animated scenes rendered with ray tracing. This is due to the relative simplicity of refitting ...
240
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
The automatic extraction and labeling of the rib centerlines is a useful yet challenging task in many clinical applications. In this paper, we propose a new approach integrating r...
162
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
In the context of physical synthesis, large-scale standard-cell placement algorithms must facilitate incremental changes to layout, both local and global. In particular, flexible...
154
click to vote
SEMWEB
2007
Springer
16 years 8 days ago
2007
Springer
Several proposals have been put forward to support distributed agent cooperation in the Semantic Web, by allowing concepts and roles in one ontology be reused in another ontology. ...