2024 search results - page 135 / 405 » A Formal Model of Multi-agent Computations |
164
click to vote
EDOC
2009
IEEE
15 years 8 months ago
2009
IEEE
A key challenge in devising solutions to a range of problems associated with business process management: process life cycle management, compliance management, enterprise process ...
120
click to vote
COLING
2000
15 years 5 months ago
2000
A generative statistical model of dependency syntax is proposed based on 'l'csniSre's classical theory. It provides a stochastic formalization of the original model...
129
click to vote
EDOC
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper we introduce a logical viewpoint on architectures. The logical viewpoint is based on the distinction between symbolic and semantic models of architectures. The core ...
115
Voted
GG
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Adaptive star grammars generalize well-known graph grammar formalisms based on hyperedge and node replacement while retaining, e.g., parseability and the commutativity an...
124
Voted
BMCBI
2008
15 years 4 months ago
2008
Background: Metabolic networks present a complex interconnected structure, whose understanding is in general a non-trivial task. Several formal approaches have been developed to s...