Now showing items 21-30 of 562
Management datengetriebener Prozessstrukturen
Unternehmen erreichen ihre Geschäftsziele zunehmend durch das systematische Management ihrer Geschäftsprozesse. Um komplexe Geschäftsziele zu realisieren, lassen sich diese Prozesse meist verknüpfen und so Prozessstrukturen ...
Hybrid planning and scheduling
Planning and scheduling are well-established disciplines in the field of Artificial Intelligence. They provide flexibility, robustness, and effectiveness to complex software systems in a variety of application areas. While ...
Synthesized and inherited functions - a new computational model for syntax-directed semantics
In this paper we introduce a new formal model for the concept of syntax--directed semantics, called macro attributed tree transducer (for short: mat tree transducer). This model is based on (noncircular) attributed tree ...
A universal unification algorithm based on unification-driven leftmost outermost narrowing
We formalize a universal unification algorithm for the class of equational theories which is induced by the class of canonical, totally-defined, not strictly subunifiable term rewriting systems (for short: ctn-trs). For a ...
Graph isomorphism is low for PP
Compiler-based implementation of syntax-directed functional programming
We consider particular functional programs in which on the one hand the recursion is restricted to syntax-directed recursion and on the other hand simultaneous recursion and nesting of function calls in parameter positions ...
Complexity-restricted advice functions
Recent highlights in structural complexity theory
The ADEPT project: a decade of research and development for robust and flexible process support
This paper gives insights into the ADEPT project. Its target was to develop a next generation process management technology, which is by orders of magnitudes more powerful and flexible than contemporary process management ...
On reversal and transposition medians
During the last years, the genomes of more and more species have been sequenced, providing data for phylogenetic reconstruction based on genome rearrangement measures. A main task in all phylogenetic reconstruction algorithms ...