685 search results - page 129 / 137 » Succinct Trees in Practice |
COMPGEOM
2003
ACM
14 years 22 days ago
2003
ACM
Given a scene consisting of objects, ray shooting queries answer with the first object encountered by a given ray, and are used in ray tracing and radiosity for rendering photo-r...
ECCV
2010
Springer
14 years 14 days ago
2010
Springer
Detecting shadows from images can significantly improve the performance of several vision tasks such as object detection and tracking. Recent approaches have mainly used illuminat...
DSN
2002
IEEE
14 years 13 days ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
CCS
2001
ACM
14 years 3 hour ago
2001
ACM
Automated trust negotiation is an approach to establishing trust between strangers through the exchange of digital credentials and the use of access control policies that specify ...
INDOCRYPT
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. One approach to secure mobile agent execution is restricting the agent route to trusted environments. A necessary condition for this approach to be practical is that the ...