Cerca
Ara es mostren els items 1-5 de 5
A logic programming approach to parsing and production in fluid construction grammar
(Springer, 2012)
Capítol de llibre.
Accés restringit per política de l'editorial
Capítol de llibre.
Accés restringit per política de l'editorial
This paper presents a Logic Programming approach to parsing and production in Fluid Construction Grammar (FCG). It builds on previous work on the formalisation of FCG in terms of First Order Logic (FOL) concepts, more ...
The Greedy Algorithm and the Cohen-Macaulay property of rings, graphs and toric projective curves
(Springer, 2018)
Capítol de llibre.
Accés obert
Capítol de llibre.
Accés obert
It is shown in this paper how a solution for a combinatorial problem obtained from applying the greedy algorithm is guaranteed to be optimal for those instances of the problem that, under an appropriate algebraic representation, ...
Petri net analysis using boolean manipulation
(Springer, 1994)
Capítol de llibre.
Accés obert
Capítol de llibre.
Accés obert
This paper presents a novel analysis approach for bounded Petri nets. The net behavior is modeled by boolean functions, thus reducing reasoning about Petri nets to boolean calculation. The state explosion problem is managed ...
The role of computation in complex regulatory networks
(Landes Bioscience, 2006)
Capítol de llibre.
Accés restringit per política de l'editorial
Capítol de llibre.
Accés restringit per política de l'editorial
Biological phenomena differ significantly from physical phenomena. At the heart of this
distinction is the fact that biological entities have computational abilities and thus they are inherently difficult to predict. This ...
Decomposed process discovery and conformance checking
(Springer, 2018)
Capítol de llibre.
Accés obert
Capítol de llibre.
Accés obert
Decomposed process discovery and decomposed conformance checking are the corresponding variants of the two monolithic fundamental problems in process mining (van der Aalst 2011): automated process discovery, which considers ...