755 search results - page 72 / 151 » Sequential Diagnosis by Abstraction |
ICST
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
JLP
2011
12 years 10 months ago
2011
A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands...
IJHPCA
2007
13 years 7 months ago
2007
A key characteristic of today’s high performance computing systems is a physically distributed memory, which makes the efficient management of locality essential for taking adv...
ECCV
2004
Springer
14 years 9 months ago
2004
Springer
Abstract. We present a new generic method for vascular segmentation of angiography. Angiography is used for the medical diagnosis of arterial diseases. To facilitate an effective a...
MICCAI
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. Myocardial deformation is a critical indicator of many cardiac diseases and dysfunctions. The goal of this paper is to use myocardial deformation patterns to identify and...