3192 search results - page 272 / 639 » Translating Model Simulators to Analysis Models |
112
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper, we explore the problem of separating and localizing multiple maneuvering speakers in a reverberant environment. Moreover, the speakers can become silent intermitten...
121
Voted
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
154
Voted
ICDAR
1999
IEEE
15 years 7 months ago
1999
IEEE
We propose a two-state Markov chain model of degraded document images. The model generates random and burst noise to simulate isolated pixel reversal as well as blurring of a larg...
213
Voted
BIOCOMP
2010
15 years 1 months ago
2010
Abstract-- Modeling the intermolecular reactions in a single cell is a critical problem in computational biology. Biochemical reaction systems often involve species in both low and...
125
click to vote
SAC
2010
ACM
15 years 10 months ago
2010
ACM
Co-citation (number of nodes linking to both of a given pair of nodes) is often used heuristically to judge similarity between nodes in a complex network. We investigate the relat...