9425 search results - page 363 / 1885 » Some Notes on Models and Modelling |
169
click to vote
EDOC
2011
IEEE
14 years 4 months ago
2011
IEEE
—In this paper, we present a UML metamodel-based approach for creating and executing workflow models. The modeling language is introduced through its abstract syntax, and an eval...
166
click to vote
ICIP
2001
IEEE
16 years 6 months ago
2001
IEEE
Document images undergo various degradation processes. Numerous models of these degradation processes have been proposed in the literature. In this paper we propose a modelbased r...
109
click to vote
CADE
2002
Springer
16 years 5 months ago
2002
Springer
Abstract. Finite model search for first-order logic theories is complementary to theorem proving. Systems like Falcon, SEM and FMSET use the known LNH (Least Number Heuristic) heur...
124
click to vote
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
The essence of any modeling approach for product line architectures lies in its ability to express variability. Existing approaches do so by explicitly specifying variation points...
160
click to vote
ACML
2009
Springer
15 years 11 months ago
2009
Springer
Abstract: Our main contribution is to propose a novel model selection methodology, expectation minimization of information criterion (EMIC). EMIC makes a significant impact on the...