4341 search results - page 691 / 869 » Quantitative Model checking |
155
click to vote
VR
2007
IEEE
16 years 22 days ago
2007
IEEE
We present a system that enables, for the first time, effective transatlantic cooperative haptic manipulation of objects whose motion is computed using a physically-based model. ...
222
click to vote
AIHC
2007
Springer
16 years 20 days ago
2007
Springer
Computer models can be used to investigate the role of emotion in learning. Here we present EARL, our framework for the systematic study of the relation between emotion, adaptation...
187
click to vote
CCS
2007
ACM
16 years 19 days ago
2007
ACM
In measuring the overall security of a network, a crucial issue is to correctly compose the measure of individual components. Incorrect compositions may lead to misleading results...
159
click to vote
CLEAR
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. This paper presents two approaches to the problem of simultaneous tracking of several people in low resolution sequences from multiple calibrated cameras. Spatial redunda...
156
click to vote
EUC
2007
Springer
16 years 19 days ago
2007
Springer
We demonstrate an improved consensus-driven utility accrual scheduling algorithm (DUA-CLA) for distributable threads which execute under run-time uncertainties in execution time, ...