6047 search results - page 1079 / 1210 » Modeling with Extend |
143
Voted
IANDC
2007
15 years 3 months ago
2007
We present a model, task automata, for real time systems with non-uniformly recurring computation tasks. It is an extended version of timed automata with asynchronous processes th...
150
Voted
OPODIS
2010
15 years 1 months ago
2010
Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been s...
127
Voted
ECCV
2004
Springer
16 years 5 months ago
2004
Springer
This paper proposes a robust estimation and validation framework for characterizing local structures in a positive multi-variate continuous function approximated by a Gaussian-base...
156
Voted
SOSP
1997
ACM
15 years 5 months ago
1997
ACM
Despite a large research effort, software distributed shared memory systems have not been widely used to run parallel applications across clusters of computers. The higher perform...
132
Voted
CVPR
2005
IEEE
16 years 5 months ago
2005
IEEE
This paper describes two algorithms capable of real-time segmentation of foreground from background layers in stereo video sequences. Automatic separation of layers from colour/co...