755 search results - page 56 / 151 » Sequential Diagnosis by Abstraction |
HYBRID
2003
Springer
14 years 29 days ago
2003
Springer
Abstract. Networked embedded systems are composed of a large number of components that interact with the physical world via a set of sensors and actuators, have their own computati...
ICRA
2002
IEEE
14 years 21 days ago
2002
IEEE
Abstract A master-slave type remote ultrasound diagnostic system was developed. This paper presents its controller. The controller has impedance control capability for the master a...
ECAI
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We address the problem of extracting Minimal Unsatisfiable Cores (MUCs) from constraint networks. This computationally hard problem has a practical interest in many appli...
BILDMED
2008
13 years 9 months ago
2008
Abstract. Focal cortical dysplasia (FCD) is a frequent cause of medically refractory partial epilepsy. The visual identification of FCD lesions on magnetic resonance images (MRI) i...
BILDMED
2008
13 years 9 months ago
2008
Abstract. Perfusion data characterize the regional blood flow in human tissue. For each voxel, a time-intensity curve (TIC) represents the enhancement of a contrast agent (CA). Par...