141 search results - page 22 / 29 » A Structural Induction Theorem for Processes |
108
Voted
AI
2008
Springer
15 years 17 days ago
2008
Springer
Graphs provide an excellent framework for interrogating symmetric models of measurement random variables and discovering their implied conditional independence structure. However,...
113
click to vote
APN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Consider a Markovian Petri net with race policy. The marking process has a "product form" stationary distribution if the probability of viewing a given marking ...
94
Voted
CORR
2006
Springer
15 years 14 days ago
2006
Springer
Schur's transforms of a polynomial are used to count its roots in the unit disk. These are generalized them by introducing the sequence of symmetric sub-resultants of two pol...
IJCNN
2007
IEEE
15 years 6 months ago
2007
IEEE
— The assessment of highly-risky situations at road intersections have been recently revealed as an important research topic within the context of the automotive industry. In thi...
101
Voted
CAV
2010
Springer
15 years 4 months ago
2010
Springer
For efficiency and portability, network packet processing code is typically written in low-level languages and makes use of bit-level operations to compactly represent data. Althou...