Sciweavers

3318 search results - page 232 / 664
» The Weak Instance Model
Sort
View
MODELS
2009
Springer
15 years 10 months ago
From UML to Alloy and Back Again
Abstract. Model Transformations can be used to bridge the gap between design and analysis technical spaces by creating tools that allow a model produced by a designer to be transfo...
Seyyed M. A. Shah, Kyriakos Anastasakis, Behzad Bo...
BIOTECHNO
2008
IEEE
16 years 14 days ago
Combining Boundaries and Ratings from Multiple Observers for Predicting Lung Nodule Characteristics
We use the data collected by the Lung Image Database Consortium (LIDC) for modeling the radiologists’ nodule interpretations based on image content of the nodule by using decisi...
Ekarin Varutbangkul, Vesna Mitrovic, Daniela Stan ...
ATAL
2008
Springer
15 years 8 months ago
LS/ABPM - an agent-powered suite for goal-oriented autonomic BPM
In this paper we shortly describe the Living Systems Autonomic Business Process Management (LS/ABPM) software product. LS/ABPM is an integrated environment, based on J2EE, Eclipse...
Giovanni Rimassa, Martin E. Kernland, Roberto Ghiz...
PAMI
2008
215views more  PAMI 2008»
15 years 5 months ago
Evaluating Shape Correspondence for Statistical Shape Analysis: A Benchmark Study
This paper introduces a new benchmark study to evaluate the performance of landmark-based shape correspondence used for statistical shape analysis. Different from previous shape-co...
Brent C. Munsell, Pahal Dalal, Song Wang
IEE
2008
117views more  IEE 2008»
15 years 5 months ago
Formal verification of systems with an unlimited number of components
1 2 3 In many real component-based systems and patterns of component interaction, there can be identified a stable part (like control component, server, instance handler) and a nu...
Pavlína Vareková, Barbora Zimmerova,...