Sciweavers

82 search results - page 4 / 17
» DIANE, a diagnosis system for arithmetical problem solving
Sort
View
CP
2001
Springer
13 years 10 months ago
Solving Disjunctive Constraints for Interactive Graphical Applications
In interactive graphical applications we often require that objects do not overlap. Such non-overlap constraints can be modelled as disjunctions of arithmetic inequalities. Unfortu...
Kim Marriott, Peter Moulder, Peter J. Stuckey, Ala...
AUTOMATICA
2007
98views more  AUTOMATICA 2007»
13 years 5 months ago
LMI-based sensor fault diagnosis for nonlinear Lipschitz systems
The problem of sensor fault diagnosis in the class of nonlinear Lipschitz systems is considered. A dynamic observer structure is used with the objective to make the residual conve...
A. M. Pertew, H. J. Marquez, Q. Zhao
PODS
2005
ACM
124views Database» more  PODS 2005»
14 years 5 months ago
Diagnosis of asynchronous discrete event systems: datalog to the rescue!
We consider query optimization techniques for data intensive P2P applications. We show how to adapt an old technique from deductive databases, namely Query-Sub-Query (QSQ), to a s...
Serge Abiteboul, Stefan Haar, Tova Milo, Zoë ...
EUSFLAT
2007
131views Fuzzy Logic» more  EUSFLAT 2007»
13 years 7 months ago
Fault Diagnosis with Progressive Symptoms Based on Multi-Agent Approach
The paper is devoted to fault diagnosis problems using fuzzy decision making. We investigate dynamic diagnostic systems which can be represented by symptom-fault rule bases. The m...
Oleksandr Sokolov, Michael Wagenknecht, Ulrike Goc...
TEC
2002
119views more  TEC 2002»
13 years 5 months ago
Graph-based evolutionary design of arithmetic circuits
Abstract--In this paper, we present an efficient graph-based evolutionary optimization technique called evolutionary graph generation (EGG) and the proposed approach is applied to ...
Dingjun Chen, Takafumi Aoki, Naofumi Homma, Toshik...