Sciweavers

116 search results - page 19 / 24
» Distributed State Space Generation of Discrete-State Stochas...
Sort
View
CONCUR
1999
Springer
15 years 1 months ago
Partial Order Reduction for Model Checking of Timed Automata
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
Marius Minea
HAIS
2010
Springer
14 years 11 months ago
Power Prediction in Smart Grids with Evolutionary Local Kernel Regression
Electric grids are moving from a centralized single supply chain towards a decentralized bidirectional grid of suppliers and consumers in an uncertain and dynamic scenario. Soon, t...
Oliver Kramer, Benjamin Satzger, Jörg Lä...
TWC
2011
291views more  TWC 2011»
14 years 4 months ago
On Optimal Cooperator Selection Policies for Multi-Hop Ad Hoc Networks
Abstract—In this paper we consider wireless cooperative multihop networks, where nodes that have decoded the message at the previous hop cooperate in the transmission toward the ...
Michele Rossi, Cristiano Tapparello, Stefano Tomas...
CVIU
2007
154views more  CVIU 2007»
14 years 9 months ago
Smart particle filtering for high-dimensional tracking
Tracking articulated structures like a hand or body within a reasonable time is challenging because of the high dimensionality of the state space. Recently, a new optimization met...
Matthieu Bray, Esther Koller-Meier, Luc J. Van Goo...
80
Voted
BMCBI
2004
104views more  BMCBI 2004»
14 years 9 months ago
Discriminative topological features reveal biological network mechanisms
Background: Recent genomic and bioinformatic advances have motivated the development of numerous network models intending to describe graphs of biological, technological, and soci...
Manuel Middendorf, Etay Ziv, Carter Adams, Jen Hom...