2261 search results - page 237 / 453 » Relationships Between Models of Concurrency |
115
click to vote
IADIS
2004
15 years 5 months ago
2004
The focus of this paper is on student learning theory. Use is made of an "analytic discovery tool" called Quantitative CyberQuest (QCQ) to help conceptualize the many go...
135
click to vote
UAI
1994
15 years 5 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...
141
click to vote
EAAI
2008
15 years 4 months 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...
133
click to vote
JLP
2006
15 years 4 months 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...
130
click to vote
CORR
2004
Springer
15 years 4 months 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...