Sciweavers

4150 search results - page 97 / 830
» A Practical Approach to Model Extension
Sort
View
LPNMR
2004
Springer
14 years 2 months ago
Semantics for Dynamic Logic Programming: A Principle-Based Approach
Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the que...
José Júlio Alferes, Federico Banti, ...
GECCO
2004
Springer
124views Optimization» more  GECCO 2004»
14 years 2 months ago
A Statistical Model of GA Dynamics for the OneMax Problem
A model of the dynamics of solving the counting-ones (OneMax) problem using a simple genetic algorithm (GA) is developed. It uses statistics of the early generations of GA runs to ...
Bulent Buyukbozkirli, Erik D. Goodman
BPM
2009
Springer
146views Business» more  BPM 2009»
13 years 10 months ago
Extending a Business Process Modeling Tool With Process Configuration Facilities: The Provop Demonstrator
This tool demonstration presents an extension of the ARIS Business Architect in order to better cope with the high variability of business process models in practice. This extensio...
Manfred Reichert, Steve Rechtenbach, Alena Hallerb...
SEMWEB
2004
Springer
14 years 2 months ago
A Model Theoretic Semantics for Ontology Versioning
Abstract. We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that ...
Jeff Heflin, Zhengxiang Pan
BPM
2007
Springer
165views Business» more  BPM 2007»
14 years 27 days ago
Modeling Requirements for Value Configuration Design
Breadth and depth complexity are key challenges in achieving business process fusion as the enabler for value configuration design. The PARM framework is proposed as the requiremen...
Eng Chew, Igor Hawryszkiewycz, Michael Soanes