TOPNOC
2008
13 years 11 months ago
2008
Recursive Petri Nets (RPNs) allow to design and analyze complex discrete event systems. Indeed, RPNs enable to model patterns of discrete event systems related to the dynamic struc...
TOPNOC
2008
13 years 11 months ago
2008
State spaces are commonly used representations of system behavior. A state space may be derived from a model of system behavior but can also be obtained through process mining. For...
TOCL
2008
13 years 11 months ago
2008
fragment enjoys suitable noetherianity conditions and admits an abstract version of a `KeislerShelah like' isomorphism theorem. We show that this general decidability transfer...
AMAI
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. This paper is concerned with the reliable inference of optimal treeapproximations to the dependency structure of an unknown distribution generating data. The traditional ...
AMAI
2005
Springer
13 years 11 months ago
2005
Springer
AMAI
2005
Springer
13 years 11 months ago
2005
Springer
AMAI
2005
Springer
13 years 11 months ago
2005
Springer
A CNF formula is called matched if its associated bipartite graph (whose vertices are clauses and variables) has a matching that covers all clauses. Matched CNF formulas are satisf...
AMAI
2005
Springer
13 years 11 months ago
2005
Springer
SAT Competition 2002 held in March
AMAI
2005
Springer
13 years 11 months ago
2005
Springer
Mediator systems integrate distributed, heterogeneous and autonomous data sources, but their e ective use requires the solution of hard query optimization problems. This is usuall...
AMAI
2005
Springer
13 years 11 months ago
2005
Springer
We consider auction design in a setting with costly preference elicitation. Well designed auctions can help to avoid unnecessary elicitation while determining efficient allocations...