3765 search results - page 635 / 753 » Formal Methods for Systems Engineering Behavior Models |
150
Voted
TMI
2002
15 years 2 months ago
2002
This paper presents a fully automated segmentation method for medical images. The goal is to localize and parameterize a variety of types of structure in these images for subsequen...
131
Voted
ICSE
1993
IEEE-ACM
15 years 6 months ago
1993
IEEE-ACM
Composite systems generally comprise heterogeneous components whose specifications are developed by many development participants. The requirements of such systems are invariably ...
123
Voted
EKAW
2004
Springer
15 years 8 months ago
2004
Springer
For more than a decade, ontologies have been proposed as a means to enable sharing and reuse of knowledge. While originally relatively narrow information landscapes have been in mi...
126
Voted
ISCAS
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract—We present a silicon neuron with a dynamic, active leak that enables precise spike-timing with respect to a time-varying input signal. Our neuron models the mammalian bu...
198
Voted
TII
2011
14 years 9 months ago
2011
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...