19383 search results - page 3594 / 3877 » Estimating the |
231
click to vote
ICFEM
2009
Springer
16 years 1 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...
182
click to vote
ICMI
2009
Springer
16 years 1 months ago
2009
Springer
Social interactions unfold over time, at multiple time scales, and can be observed through multiple sensory modalities. In this paper, we propose a machine learning framework for ...
171
click to vote
ISW
2009
Springer
16 years 1 months ago
2009
Springer
While peer-to-peer (P2P) file-sharing is a powerful and cost-effective content distribution model, most paid-for digital-content providers (CPs) use direct download to deliver th...
190
click to vote
MICAI
2009
Springer
16 years 1 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...
172
click to vote
ROBOCUP
2009
Springer
16 years 1 months ago
2009
Springer
This paper is focused on the sensor and information fusion techniques used by a robotic soccer team. Due to the fact that the sensor information is affected by noise, and taking in...