Sciweavers

4708 search results - page 589 / 942
» Generating the Structure of Argument
Sort
View
CCR
2008
86views more  CCR 2008»
15 years 6 months ago
An Integrated Model of Traffic, Geography and Economy in the Internet
Modeling Internet growth is important both for understanding the current network and to predict and improve its future. To date, Internet models have typically attempted to explai...
Petter Holme, Josh Karlin, Stephanie Forrest
CORR
2010
Springer
103views Education» more  CORR 2010»
15 years 6 months ago
Probabilistic regular graphs
Deterministic graph grammars generate regular graphs, that form a structural extension of configuration graphs of pushdown systems. In this paper, we study a probabilistic extensio...
Nathalie Bertrand, Christophe Morvan
ENTCS
2008
105views more  ENTCS 2008»
15 years 6 months ago
Checking Equivalence for Reo Networks
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...
Tobias Blechmann, Christel Baier
AUTOMATICA
2006
94views more  AUTOMATICA 2006»
15 years 6 months ago
Subspace identification for FDI in systems with non-uniformly sampled multirate data
This paper proposes a novel subspace approach towards direct identification of a residual model for fault detection and isolation (FDI) in a system with non-uniformly sampled mult...
Weihua Li, Zhengang Han, Sirish L. Shah
FUIN
2008
124views more  FUIN 2008»
15 years 6 months ago
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
In this paper, we show how to obtain causal semantics distinguishing "earlier than" and "not later than" causality between events from algebraic semantics of Pe...
Gabriel Juhás, Robert Lorenz, Sebastian Mau...