1087 search results - page 14 / 218 » Eta-Redexes in Partial Evaluation |
PE
2011
Springer
13 years 4 months ago
2011
Springer
Performance and dependability evaluation of complex systems by means of dynamic stochastic models (e.g. Markov chains) may be impaired by the combinatorial explosion of their stat...
CIARP
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Gender recognition problem has not been extensively studied in situations where the face cannot be accurately detected and it also can be partially occluded. In this cont...
ICCAD
2006
IEEE
14 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
14 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
14 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...