Sciweavers

1809 search results - page 124 / 362
» On the Purpose of Object-Oriented Analysis
Sort
View
FASE
2005
Springer
15 years 3 months ago
Termination Criteria for Model Transformation
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...
Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabrie...
IWCIA
2004
Springer
15 years 3 months ago
Performance Evaluation of Binarizations of Scanned Insect Footprints
The paper compares six conventional binarization methods for the special purpose of subsequent analysis of scanned insect footprints. We introduce a new performance criterion for p...
Young Woon Woo
IBPRIA
2009
Springer
15 years 2 months ago
Enhancing In-Vitro IVUS Data for Tissue Characterization
Intravascular Ultrasound (IVUS) data validation is usually performed by comparing post-mortem (in-vitro) IVUS data and corresponding histological analysis of the tissue, obtaining ...
Francesco Ciompi, Oriol Pujol, Oriol Rodriguez-Leo...
ICFEM
1998
Springer
15 years 2 months ago
A Process Algebra Based Verification of a Production System
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers
NIPS
2007
14 years 11 months ago
Sparse Overcomplete Latent Variable Decomposition of Counts Data
An important problem in many fields is the analysis of counts data to extract meaningful latent components. Methods like Probabilistic Latent Semantic Analysis (PLSA) and Latent ...
Madhusudana V. S. Shashanka, Bhiksha Raj, Paris Sm...