2377 search results - page 262 / 476 » Hybrid Systems in TLA |
150
click to vote
HICSS
2005
IEEE
16 years 4 days ago
2005
IEEE
Communities (especially virtual communities) of Interest have been the focus of substantial discussion in academic literature. This paper addresses Communities of Interest within ...
163
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
: This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. It...
172
click to vote
HYBRID
1999
Springer
15 years 10 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...
160
click to vote
MICCAI
1999
Springer
15 years 10 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...
156
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...