2922 search results - page 311 / 585 » On Relationships Between Query Models |
103
Voted
UAI
1994
15 years 2 months ago
1994
Heckerman (1993) defined causal independence in terms of a set of temporal conditional independence statements. These statements formalized certain types of causal interaction whe...
106
Voted
AAAI
1992
15 years 2 months ago
1992
We propose a representation of concurrent actions; rather than invent a new formalism, we model them within the standard situation calculus by introducing the notions of global ac...
103
click to vote
EAAI
2008
15 years 27 days ago
2008
In a supply chain organized as a network of autonomous enterprises, the main objective of each partner is to optimize his production and supply policy with respect to his own econ...
109
click to vote
JLP
2006
15 years 24 days ago
2006
This paper presents a modular framework for the specification of certain inductivelydefined coalgebraic types. Modal logics for coalgebras of polynomial endofunctors on the catego...
94
Voted
CORR
2004
Springer
15 years 20 days ago
2004
Springer
A (k, t)-track layout of a graph G consists of a (proper) vertex t-colouring of G, a total order of each vertex colour class, and a (non-proper) edge k-colouring such that between...