2610 search results - page 244 / 522 » Computational Probabilistic Non-interference |
115
click to vote
WSC
2008
15 years 6 months ago
2008
As part of the DARPA Deep Green efforts, SAIC developed a multi-threaded and resolution approach to constructing and evaluating simulated futures to address the SimPath component....
151
click to vote
CIARP
2007
Springer
15 years 5 months ago
2007
Springer
This paper deals with the problem of finding the movement of a mobile robot given two consecutive laser scans. The proposed method extracts a line map from the sequence of points ...
147
click to vote
WCET
2008
15 years 5 months ago
2008
We propose an approach for timing analysis of software-based embedded computer systems that builds on the established probabilistic framework of Bayesian networks. We envision an ...
146
click to vote
EUSFLAT
2001
15 years 5 months ago
2001
In analogy to the representation of the standard probabilistic average as an expected value of a random variable, a geometric approach to aggregation is proposed. Several properti...
139
click to vote
NIPS
2003
15 years 5 months ago
2003
We propose an approach to learning the semantics of images which allows us to automatically annotate an image with keywords and to retrieve images based on text queries. We do thi...