Sciweavers

6291 search results - page 947 / 1259
» Components Are from Mars
Sort
View
AIME
1997
Springer
15 years 11 months ago
Rule-Based Labeling of CT Head Image
A rule-based approach to the labeling of computed tomography CT head images containing intracerebral brain hemorrhage ICH is presented in this paper. Fully automated segmentat...
Dubravko Cosic, Sven Loncaric
ISSS
1996
IEEE
169views Hardware» more  ISSS 1996»
15 years 11 months ago
The Use of a Virtual Instruction Set for the Software Synthesis of HW/SW Embedded Systems
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...
Alessandro Balboni, William Fornaciari, M. Vincenz...
LICS
1996
IEEE
15 years 11 months ago
Reactive Modules
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
Rajeev Alur, Thomas A. Henzinger
ACSE
1996
ACM
15 years 11 months ago
Literate programming as an aid to marking student assignments
In a university climate that sees rising student-sta ratios and increasing workloads for academics, any mechanism that reduces the student marking and assessment process must be w...
A. J. Hurst
HT
1996
ACM
15 years 11 months ago
The Flag Taxonomy of Open Hypermedia Systems
This paper presents a taxonomy for open hypermedia systems. The purpose of the Flag1 taxonomy is manifold: 1 to provide a framework to classify and concisely describe individual s...
Kasper Østerbye, Uffe Kock Wiil