488 search results - page 47 / 98 » On the Formal Generation of Process Redesigns |
139
click to vote
KI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-orde...
110
Voted
CONTEXT
2007
Springer
15 years 8 months ago
2007
Springer
Indexing is often designed with the intent of dimensional reduction, that is, of generating standardised and uniform descriptive metadata. This could be characterised as a process ...
93
Voted
SGAI
2007
Springer
15 years 8 months ago
2007
Springer
Argumentation has proved to be a very influential reasoning mechanism particularly in the context of multi agent systems. In this paper we introduce PADUA (Protocol for Argumenta...
114
click to vote
PPDP
2004
Springer
15 years 7 months ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
115
click to vote
EDOC
2000
IEEE
15 years 6 months ago
2000
IEEE
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...