Sciweavers

805 search results - page 89 / 161
» Solving Consensus Using Structural Failure Models
Sort
View
AUTOMATICA
2007
68views more  AUTOMATICA 2007»
15 years 2 months ago
A risk adjusted approach to robust simultaneous fault detection and isolation
: In this paper we address the problem of detecting and isolating faults from noisy input/output measurements of a MIMO uncertain–system, subject to structured dynamic uncertaint...
Wenjing Ma, Mario Sznaier, Constantino M. Lagoa
CLOUD
2010
ACM
15 years 7 months ago
A self-organized, fault-tolerant and scalable replication scheme for cloud storage
Failures of any type are common in current datacenters, partly due to the higher scales of the data stored. As data scales up, its availability becomes more complex, while differe...
Nicolas Bonvin, Thanasis G. Papaioannou, Karl Aber...
108
Voted
ICPR
2006
IEEE
16 years 3 months ago
A Unified Formulation of Invariant Point Pattern Matching
We present a unified framework for modeling and solving invariant point pattern matching problems. Invariant features are encoded as potentials in a probabilistic graphical model....
Terry Caelli, Tibério S. Caetano
130
Voted
WISE
2007
Springer
15 years 8 months ago
Goal-Based Visualization and Browsing for Semantic Web Services
Abstract. We present a goal-based approach for visualizing and browsing the search space of available Web services. A goal describes an obthat a client wants to solve by using Web ...
Michael Stollberg, Mick Kerrigan
ISQED
2003
IEEE
113views Hardware» more  ISQED 2003»
15 years 7 months ago
Using Integer Equations for High Level Formal Verification Property Checking
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
Bijan Alizadeh, Mohammad Reza Kakoee