2702 search results - page 346 / 541 » Practically Applicable Formal Methods |
118
Voted
WOSP
2010
ACM
15 years 9 months ago
2010
ACM
In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a...
PCM
2009
Springer
15 years 9 months ago
2009
Springer
This paper describes a prototype for an installation which combines stereographic video and real-time 3D computer graphic to demonstrate a novel method of documenting dance and oth...
114
Voted
EICS
2009
ACM
15 years 9 months ago
2009
ACM
What methods can we use to help understand why users adopt certain use strategies, and how can we evaluate designs to anticipate and perhaps positively modify how users are likely...
93
Voted
ICASSP
2008
IEEE
15 years 9 months ago
2008
IEEE
We consider probabilistic methods to compute the near midair collision risk using state estimate and covariance from a target tracking filter based on angle-only sensors such as ...
128
click to vote
ACIVS
2008
Springer
15 years 9 months ago
2008
Springer
We propose a novel approach for estimating a depth-map from a pair of rectified stereo images degraded by blur and contrast change. At each location in image space, information is...