11484 search results - page 252 / 2297 » Modeling in the Large and Modeling in the Small |
228
click to vote
CRYPTO
2003
Springer
15 years 11 months ago
2003
Springer
We consider the problem of constructing randomness extractors that are locally computable; that is, read only a small number of bits from their input. As recently shown by Lu (thi...
161
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
We describe a method to align ASL video subtitles with a closed-caption transcript. Our alignments are partial, based on spotting words within the video sequence, which consists o...
177
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
The precise alignment of a 3D model to 2D sensor images to recover the pose of an object in a scene is an important topic in computer vision. In this work, we outline a registrati...
168
click to vote
CSL
2004
Springer
15 years 12 months ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...
136
Voted
CSIE
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, the application of individual scenario-based traffic models in identifying the traffic carrying needs of networks in patient monitoring environments is presented. S...