Sciweavers

705 search results - page 4 / 141
» System Diagnosability Analysis Using p-slop MAP
Sort
View
ESWA
2008
172views more  ESWA 2008»
14 years 9 months ago
DADICC: Intelligent system for anomaly detection in a combined cycle gas turbine plant
DADICC is the abbreviated name for an intelligent system able to detect on-line and diagnose anomalies as soon as possible in the dynamic evolution of the behaviour of a power pla...
Antonio L. Arranz Matía, Alberto Cruz, Migu...
HCI
2009
14 years 7 months ago
AR City Representation System Based on Map Recognition Using Topological Information
This paper presents a system for overlaying 3D GIS data information such as 3D buildings onto a 2D physical urban map. We propose a map recognition framework by analysis of distrib...
Hideaki Uchiyama, Hideo Saito, Myriam Servieres, G...
AAAI
2007
14 years 12 months ago
A Qualitative Approach to Multiple Fault Isolation in Continuous Systems
The multiple fault diagnosis problem is important, since the single fault assumption can lead to incorrect or failed diagnoses when multiple faults occur. It is challenging for co...
Matthew J. Daigle, Xenofon D. Koutsoukos, Gautam B...
GCB
2004
Springer
101views Biometrics» more  GCB 2004»
15 years 3 months ago
Kleene's Theorem and the Solution of Metabolic Carbon Labeling Systems
: Carbon Labeling Systems (CLS) are large equation systems that describe the dynamics of labeled carbon atoms in a metabolic network. The rapid solution of these systems is the alg...
Nicole Isermann, Michael Weitzel, Wolfgang Wiecher...
85
Voted
ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
15 years 6 months ago
Race analysis for SystemC using model checking
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
Nicolas Blanc, Daniel Kroening