1090 search results - page 32 / 218 » Resource-Bounded Partial Evaluation |
ICCAD
2006
IEEE
15 years 3 months ago
2006
IEEE
Designing asynchronous circuits by reusing existing synchronous tools has become a promising solution to the problem of poor CAD support in asynchronous world. A straightforward w...
AVSS
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a novel unsupervised inter-camera trajectory correspondence algorithm that does not require prior knowledge of the camera placement. The approach consists of three step...
ICMCS
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper, we propose a novel proxy caching scheme for Video on Demand (VoD) services. Our approach is based on an observation we have made during subjective VoD performance e...
SPIN
2007
Springer
15 years 3 months ago
2007
Springer
Verifying concurrent programs is challenging since the number of thread interleavings that need to be explored can be huge even for moderate programs. We present a cartesian semant...
CVPR
2006
IEEE
15 years 3 months ago
2006
IEEE
Tracking of humans in videos is important for many applications. A major source of difficulty in performing this task is due to inter-human or scene occlusion. We present an appr...