5623 search results - page 1080 / 1125 » Estimating in Actual Time |
131
click to vote
ICFEM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
103
click to vote
MICAI
2009
Springer
15 years 6 months ago
2009
Springer
People detection and tracking is a key issue for social robot design and effective human robot interaction. This paper addresses the problem of detecting people with a mobile robo...
SCIA
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Automatic image quality assessment has many diverse applications. Existing quality measures are not accurate representatives of the human perception. We present a hybrid ...
116
click to vote
APGV
2009
ACM
15 years 6 months ago
2009
ACM
Visualizations of 3D spatial structures use various techniques such as user controlled interactions or 2D projection views to convey the structure to users. Researchers have shown...
108
click to vote
SIGCOMM
2009
ACM
15 years 6 months ago
2009
ACM
While some empirical studies on Online Social Networks (OSNs) have examined the growth of these systems, little is known about the patterns of decline in user population or user a...