580 search results - page 89 / 116 » Approximation Algorithms for Temporal Reasoning |
109
click to vote
CADE
2008
Springer
16 years 2 months ago
2008
Springer
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...
141
click to vote
ICMCS
2007
IEEE
15 years 8 months ago
2007
IEEE
Limited bandwidth and high packet loss pose a serious challenge for video streaming over wireless networks. Even when packet loss in the medium is not present, the fluctuating ava...
142
click to vote
PDCN
2004
15 years 3 months ago
2004
We present a family of methods for speeding up distributed locks by exploiting the uneven distribution of both temporal and spatial locality of access behaviour of many applicatio...
152
click to vote
IROS
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— We describe a framework for detecting and tracking continuous ”trails” in images and image sequences for autonomous robot navigation. Continuous trails are extended...
119
click to vote
RT
2004
Springer
15 years 7 months ago
2004
Springer
We introduce a method based on precomputed radiance transfer (PRT) that allows interactive rendering of glossy surfaces and includes shadowing effects from dynamic, “all-frequen...