Sciweavers

1092 search results - page 33 / 219
» Automated Evaluation of Coordination Approaches
Sort
View
LPNMR
1997
Springer
15 years 4 months ago
Improving the Alternating Fixpoint: The Transformation Approach
We present a bottom-up algorithm for the computation of the well-founded model of non-disjunctive logic programs which is based on the set of elementary program transformations stu...
Ulrich Zukowski, Burkhard Freitag, Stefan Brass
ICLP
2001
Springer
15 years 4 months ago
A Multi-adjoint Logic Approach to Abductive Reasoning
Multi-adjoint logic programs has been recently introduced [9, 10] as a generalization of monotonic logic programs [2, 3], in that simultaneous use of several implications in the ru...
Jesús Medina, Manuel Ojeda-Aciego, Peter Vo...
SEKE
2010
Springer
14 years 10 months ago
Ontology-Based Test Case Generation For Simulating Complex Production Automation Systems
—The behavior of complex production automation systems is hard to predict, therefore simulation is used to study the likely system behavior. However, in a real-world system many ...
Thomas Moser, Gregor Dürr, Stefan Biffl
CICLING
2010
Springer
15 years 6 months ago
GEMS: Generative Modeling for Evaluation of Summaries
Automated evaluation is crucial in the context of automated text summaries, as is the case with evaluation of any of the language technologies. In this paper we present a Generativ...
Rahul Katragadda
IASTEDSEA
2004
15 years 1 months ago
XML-based programming language modeling: An approach to software engineering
Today's software faces escalating technical and business difficulties, yet it continues to be coded in static, inflexible structures that are not prepared for automation and ...
Christian Reichel, Roy Oberhauser