831 search results - page 59 / 167 » Coalgebraic Correspondence Theory |
BPM
2003
Springer
15 years 3 months ago
2003
Springer
A top-down approach for workflow design is proposed in the framework of Petri net theory. Simple but powerful refinement rules are proposed that guarantee soundness of the resultin...
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
— This paper discusses an optimal control approach for the registration of image time-series (growth modeling). It combines and augments work on an optimal control formulation to...
AAAI
2010
15 years 1 months ago
2010
In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introd...
NIPS
2001
15 years 1 months ago
2001
Motivated by our recent work on rooted tree matching, in this paper we provide a solution to the problem of matching two free (i.e., unrooted) trees by constructing an association...
AMAI
2006
Springer
14 years 12 months ago
2006
Springer
We introduce a simple and practical method for repairing inconsistent databases. Given a possibly inconsistent database, the idea is to properly represent the underlying problem, i...