4341 search results - page 703 / 869 » Quantitative Model checking |
185
click to vote
DRR
2008
15 years 7 months ago
2008
Degraded documents are frequently obtained in various situations. Examples of degraded document collections include historical document depositories, document obtained in legal an...
185
click to vote
GISCIENCE
2008
Springer
15 years 7 months ago
2008
Springer
The discontinuities in boundaries and exteriors that regions with holes expose offer opportunities for inferences that are impossible for regions without holes. A systematic study ...
170
click to vote
MM
2010
ACM
15 years 6 months ago
2010
ACM
Search engines are used to return a long list of hundreds or even thousands of videos in response to a query topic. Efficient navigation of videos becomes difficult and users ofte...
174
click to vote
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
In this paper, we consider the problem of tracking nonrigid surfaces and propose a generic data-driven mesh deformation framework. In contrast to methods using strong prior models...
155
click to vote
HUC
2010
Springer
15 years 6 months ago
2010
Springer
An important question in behavioral epidemiology and public health is to understand how individual behavior is affected by illness and stress. Although changes in individual behav...