2088 search results - page 306 / 418 » The Probabilistic Method |
113
Voted
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
— This paper describes an algorithm for estimating lane boundaries and curbs from a moving vehicle using noisy observations and a probabilistic model of curvature. The primary co...
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
In large, collaborative, heterogeneous teams, team members often collect information that is useful to other members of the team. Recognizing the utility of such information and d...
100
Voted
ICRA
2008
IEEE
15 years 7 months ago
2008
IEEE
— In this paper, we describe the components of a novel algorithm for the extraction of dominant orthogonal planar structures from monocular images taken in indoor environments. T...
116
click to vote
ENC
2007
IEEE
15 years 7 months ago
2007
IEEE
This manuscript proposes a retrieval system for fMRI brain images. Our goal is to find a similaritymetric to enable us to support queries for “similar tasks” for retrieval on...