3053 search results - page 360 / 611 » Hybrid Systems Diagnosis |
174
click to vote
HYBRID
1999
Springer
15 years 11 months ago
1999
Springer
In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...
169
click to vote
MICCAI
1999
Springer
15 years 11 months ago
1999
Springer
We present algorithms for the automatic delineation of lung fields in chest radiographs. We first develop a rule-based scheme that detects lung contours using a general framework...
162
click to vote
HYBRID
1997
Springer
15 years 10 months ago
1997
Springer
We de ne robust timed automata, which are timed automata that accept all trajectories \robustly": if a robust timed automaton accepts a trajectory, then it must accept neighbo...
189
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on ...
177
click to vote
HIS
2008
15 years 8 months ago
2008
This paper addresses the application of a PCA analysis on categorical data prior to diagnose a patients data set using a Case-Based Reasoning (CBR) system. The particularity is th...