752 search results - page 75 / 151 » A Markov Chain Model Checker |
ECML
2006
Springer
14 years 1 months ago
2006
Springer
Abstract We propose in this paper a novel approach to the classification of discrete sequences. This approach builds a model fitting some dynamical features deduced from the learni...
EVOW
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Many efforts have been involved in association study of quantitative phenotypes and expressed genes. The key issue is how to efficiently identify phenotype-associated gen...
BMCBI
2007
13 years 10 months ago
2007
Background: With the explosion in data generated using microarray technology by different investigators working on similar experiments, it is of interest to combine results across...
TWC
2008
13 years 9 months ago
2008
In this paper, the impact of user relaying on the behavior of a relay node, which acts as the source node at the same time, is analyzed in a wireless relay network at the packet le...
PAMI
2010
13 years 4 months ago
2010
We present a new approach for building reconstruction from a single Digital Surface Model (DSM). It treats buildings as an assemblage of simple urban structures extracted from a li...