Sciweavers

4767 search results - page 808 / 954
» Structures for Abstract Rewriting
Sort
View
TMI
1998
140views more  TMI 1998»
15 years 2 months ago
Automated Seeded Lesion Segmentation on Digital Mammograms
Abstract—Segmenting lesions is a vital step in many computerized mass-detection schemes for digital (or digitized) mammograms. We have developed two novel lesion segmentation tec...
Matthew A. Kupinski, Maryellen L. Giger
TNN
1998
111views more  TNN 1998»
15 years 2 months ago
Modular recurrent neural networks for Mandarin syllable recognition
Abstract—A new modular recurrent neural network (MRNN)based speech-recognition method that can recognize the entire vocabulary of 1280 highly confusable Mandarin syllables is pro...
Sin-Horng Chen, Yuan-Fu Liao
TODAES
1998
68views more  TODAES 1998»
15 years 2 months ago
Specification and verification of pipelining in the ARM2 RISC microprocessor
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
James K. Huggins, David Van Campenhout
95
Voted
TSE
1998
77views more  TSE 1998»
15 years 2 months ago
Use Case Maps as Architectural Entities for Complex Systems
ABSTRACT. This paper presents a novel, scenario-based notation called Use Case Maps (UCMs) for describing, in a high-level way, how the organizational structure of a complex system...
Raymond J. A. Buhr
TVLSI
1998
95views more  TVLSI 1998»
15 years 2 months ago
Bounds on pseudoexhaustive test lengths
Abstract—Pseudoexhaustive testing involves applying all possible input patterns to the individual output cones of a combinational circuit. Based on our new algebraic results, we ...
Rajagopalan Srinivasan, Sandeep K. Gupta, Melvin A...