Sciweavers

948 search results - page 97 / 190
» Self-Similar Algorithms for Dynamic Distributed Systems
Sort
View
IBPRIA
2007
Springer
14 years 3 months ago
Vehicle Trajectory Estimation Based on Monocular Vision
This paper proposes a system to estimate the 3D position and velocity of vehicles, from images acquired with a monocular camera. Given image regions where vehicles are detected, Ga...
Daniel Ponsa, Antonio M. López
PPOPP
1991
ACM
14 years 10 days ago
Coarse-Grain Parallel Programming in Jade
This paper presents Jade, a language which allows a programmer to easily express dynamic coarse-grain parallelism. Starting with a sequential program, a programmer augments those ...
Monica S. Lam, Martin C. Rinard
ICDIM
2008
IEEE
14 years 3 months ago
A holographic associative memory recommender system
We describe a recommender system based on Dynamically Structured Holographic Memory (DSHM), a cognitive model of associative memory that uses holographic reduced representations a...
Matthew Rutledge-Taylor, Andre Vellino, Robert L. ...
ECAI
1994
Springer
14 years 28 days ago
Belief Revision in Multi-Agent Systems
The ability to respond sensibly to changing and conflicting beliefs is an integral part of intelligent agency. To this end, we outline the design and implementation of a Distribute...
Benedita Malheiro, Nicholas R. Jennings, Eugenio O...
SIGMETRICS
2008
ACM
130views Hardware» more  SIGMETRICS 2008»
13 years 8 months ago
Using probabilistic model checking in systems biology
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
Marta Z. Kwiatkowska, Gethin Norman, David Parker