Sciweavers

192 search results - page 22 / 39
» Knowledge States: A Tool for Randomized Online Algorithms
Sort
View
SIAMCOMP
2000
161views more  SIAMCOMP 2000»
13 years 8 months ago
Application-Controlled Paging for a Shared Cache
We propose a provably efficient application-controlled global strategy for organizing a cache of size k shared among P application processes. Each application has access to informa...
Rakesh D. Barve, Edward F. Grove, Jeffrey Scott Vi...
DALT
2005
Springer
14 years 2 months ago
An Architecture for Rational Agents
Abstract. This paper is concerned with designing architectures for rational agents. In the proposed architecture, agents have belief bases that are theories in a multi-modal, highe...
John W. Lloyd, Tim D. Sears
IVC
2006
183views more  IVC 2006»
13 years 8 months ago
Augmented tracking with incomplete observation and probabilistic reasoning
An on-line algorithm for multi-object tracking is presented for monitoring a real-world scene from a single fixed camera. Potential objects are detected with adaptive backgrounds ...
Ming Xu, Tim Ellis
ICCV
2005
IEEE
14 years 2 months ago
KALMANSAC: Robust Filtering by Consensus
We propose an algorithm to perform causal inference of the state of a dynamical model when the measurements are corrupted by outliers. While the optimal (maximumlikelihood) soluti...
Andrea Vedaldi, Hailin Jin, Paolo Favaro, Stefano ...
SIGSOFT
2003
ACM
14 years 9 months ago
Runtime safety analysis of multithreaded programs
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explored in this paper. A technique based on vector clocks to extract the causal dep...
Koushik Sen, Grigore Rosu, Gul Agha