Sciweavers

3885 search results - page 241 / 777
» Transformations for Write-All-with-Collision Model
Sort
View
ISBI
2002
IEEE
16 years 6 months ago
Deformable m-rep segmentation of object complexes
While we have previously reported on multiscale segmentation of single-figure anatomic objects from medical images by deformable m-rep models, here we report on a method of segmen...
P. Thomas Fletcher, Stephen M. Pizer, A. Graham Ga...
EDOC
2004
IEEE
15 years 10 months ago
Applying MDA Approach for Web Service Platform
In this paper, we present the development of an illustrative example of e-business based on two different applications of a Model-Driven Architecture (MDA) approach. In the first ...
Jean Bézivin, Slimane Hammoudi, Denivaldo L...
WADT
1998
Springer
15 years 9 months ago
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
Andrea Corradini, Martin Große-Rhode, Reiko ...
AAAI
2008
15 years 8 months ago
CRF-OPT: An Efficient High-Quality Conditional Random Field Solver
Conditional random field (CRF) is a popular graphical model for sequence labeling. The flexibility of CRF poses significant computational challenges for training. Using existing o...
Minmin Chen, Yixin Chen, Michael R. Brent
CL
2010
Springer
15 years 6 months ago
SystemJ: A GALS language for system level design
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
Avinash Malik, Zoran Salcic, Partha S. Roop, Alain...