6343 search results - page 450 / 1269 » Robust consensus computation |
168
Voted
CHARME
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...
184
click to vote
EMMCVPR
2005
Springer
16 years 11 days ago
2005
Springer
In this paper we present a new technique to extract layers in a video sequence. To this end, we assume that the observed scene is composed of several transparent layers, that their...
184
click to vote
HIPEAC
2005
Springer
16 years 11 days ago
2005
Springer
In DRM domain, the adversary has complete control of the computing node - supervisory privileges along with full physical as well as architectural object observational capabilities...
220
Voted
IBPRIA
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. This paper describes a framework for analyzing video sequences of a driver and determining his level of attention. The proposed system deals with the computation of eyeli...
174
click to vote
ISVC
2005
Springer
16 years 10 days ago
2005
Springer
The Ambient Intelligence (AmI) paradigm requires a robust interpretation of people actions and behaviour and a way for automatically generating persistent spatial-temporal models o...