Sciweavers

9698 search results - page 174 / 1940
» models 2010
Sort
View
ZEUS
2010
180views Communications» more  ZEUS 2010»
15 years 8 months ago
An efficient approach to detect lack of synchronization in acyclic workflow graphs
Control-flow analysis of business process models requires to check the absence of lack of synchronization. We use workflow graphs, which may contain inclusive OR gateways, to repre...
Cédric Favre
JCP
2010
63views more  JCP 2010»
15 years 5 months ago
A Formal Model for Abstracting the Interaction of Web Services
Model for Abstracting the Interaction of Web Services Li Bao, Weishi Zhang, and Xiong Xie 91
Li Bao, Weishi Zhang, Xiong Xie
ISAMI
2010
15 years 4 months ago
Employing Compact Intra-genomic Language Models to Predict Genomic Sequences and Characterize Their Entropy
Probabilistic models of languages are fundamental to understand and learn the profile of the subjacent code in order to estimate its entropy, enabling the verification and predicti...
Sérgio A. D. Deusdado, Paulo Carvalho
DAGM
2010
Springer
15 years 7 months ago
Image Segmentation with a Statistical Appearance Model and a Generic Mumford-Shah Inspired Outside Model
Abstract. We present a novel statistical-model-based segmentation algorithm that addresses a recurrent problem in appearance model fitting and model-based segmentation: the "s...
Thomas Albrecht, Thomas Vetter
ECMDAFA
2010
Springer
135views Hardware» more  ECMDAFA 2010»
15 years 11 months ago
Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools
Successful application of model-driven engineering approaches requires interchanging a lot of relevant data among the tool ecosystem employed by an engineering team (e.g., requirem...
Hugo Bruneliere, Jordi Cabot, Cauê Clasen, F...