Sciweavers

299 search results - page 8 / 60
» Model Eco-Systems: Preliminary Work
Sort
View
106
Voted
RIVF
2003
15 years 3 months ago
Adaptable Fault Tolerance Requirements on Component Models
—Our work aims to provide adaptable fault tolerance for component-based systems through frameworks. In order to implement this approach, the underlying component model must fulļ¬...
Phuong-Quynh Duong, Elizabeth Pérez Cort&ea...
149
Voted
ECCV
2002
Springer
16 years 3 months ago
Visual Data Fusion for Objects Localization by Active Vision
Visual sensors provide exclusively uncertain and partial knowledge of a scene. In this article, we present a suitable scene knowledge representation that makes integration and fusi...
François Chaumette, Grégory Flandin
112
Voted
AICCSA
2006
IEEE
137views Hardware» more  AICCSA 2006»
15 years 8 months ago
Modeling Redundancy: Quantitative and Qualitative Models
Redundancy is a system property that generally refers to duplication of state information or system function. While redundancy is usually investigated in the context of fault tole...
Ali Mili, Lan Wu, Frederick T. Sheldon, Mark Shere...
DSRT
2006
IEEE
15 years 8 months ago
Comparison of head gaze and head and eye gaze within an immersive environment
For efficient collaboration between participants, eye gaze is seen as being critical for interaction. Teleconferencing systems such as the AcessGrid allow users to meet across ge...
Norman Murray, David J. Roberts
TACAS
2001
Springer
135views Algorithms» more  TACAS 2001»
15 years 6 months ago
Implementing a Multi-valued Symbolic Model Checker
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
Marsha Chechik, Benet Devereux, Steve M. Easterbro...