2136 search results - page 129 / 428 » Learning Behavior Models for Hybrid Timed Systems |
121
click to vote
TIP
2008
15 years 20 days ago
2008
We propose a principled framework for recursively segmenting deformable objects across a sequence of frames. We demonstrate the usefulness of this method on left ventricular segmen...
121
Voted
DSN
2007
IEEE
15 years 4 months ago
2007
IEEE
We consider cluster systems with multiple nodes where each server is prone to run tasks at a degraded level of service due to some software or hardware fault. The cluster serves t...
109
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
122
click to vote
ICFEM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
111
click to vote
WORDS
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper presents a method to analyze the timing behavior of an event-based real-time protocol composition framework. The framework, called RT-Appia, allows the development and ...