Sciweavers

2907 search results - page 466 / 582
» Presentations of Structures in Admissible Sets
Sort
View
APSEC
2003
IEEE
15 years 4 months ago
Rigorous EBNF-based Definition for a Graphic Modeling Language
Today, the syntax of visual specification languages such as UML is typically defined using meta-modelling techniques. However, this kind of syntax definition has drawbacks. In par...
Yong Xia, Martin Glinz
FASE
2000
Springer
15 years 4 months ago
A Formal Approach to Heterogeneous Software Modeling
The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, "improved" models. Examples of such models are arc...
Alexander Egyed, Nenad Medvidovic
MICCAI
2000
Springer
15 years 4 months ago
Robust Midsagittal Plane Extraction from Coarse, Pathological 3D Images
Abstract. This paper focuses on the evaluation of an ideal midsagittal plane iMSP extraction algorithm. The algorithm was developed for capturing the iMSP from 3D normal and pathol...
Yanxi Liu, Robert T. Collins, William E. Rothfus
PAKDD
2000
ACM
128views Data Mining» more  PAKDD 2000»
15 years 4 months ago
A Comparative Study of Classification Based Personal E-mail Filtering
This paper addresses personal E-mail filtering by casting it in the framework of text classification. Modeled as semi-structured documents, Email messages consist of a set of field...
Yanlei Diao, Hongjun Lu, Dekai Wu
120
Voted
SC
1995
ACM
15 years 4 months ago
A Performance Evaluation of the Convex SPP-1000 Scalable Shared Memory Parallel Computer
The Convex SPP-1000 is the first commercial implementation of a new generation of scalable shared memory parallel computers with full cache coherence. It employs a hierarchical s...
Thomas L. Sterling, Daniel Savarese, Peter MacNeic...