12981 search results - page 604 / 2597 » Model Checking (Abstract) |
184
click to vote
ER
2007
Springer
16 years 1 months ago
2007
Springer
Model transformations are playing a vital role in the field of model engineering. However, for non-trivial transformation issues most approaches require imperative definitions, w...
320
Voted
VLDB
2008
ACM
16 years 7 months ago
2008
ACM
This paper presents a probabilistic relational modelling (implementation) of the major probabilistic retrieval models. Such a high-level implementation is useful since it supports ...
200
click to vote
DAGM
2010
Springer
15 years 8 months ago
2010
Springer
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...
187
click to vote
GC
2004
Springer
16 years 21 days ago
2004
Springer
Abstract. We present the computational counterpart of the KGP (Knowledge, Goals, Plan) declarative model of agency for Global Computing. In this context, a computational entity is ...
225
click to vote
BPM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Introducing process orientation to overcome the functionaloriented organizational structure was the main concern within enterprises during the last decade to improve proc...