4962 search results - page 685 / 993 » Stochastic Model Checking |
IJON
2007
15 years 2 months ago
2007
The interaction between slow calcium dynamics and voltage dynamics increases the processing capabilities of neurons. A proper understanding of this interaction has to take into ac...
131
Voted
TC
2008
15 years 2 months ago
2008
As the scale of high-performance computing (HPC) continues to grow, failure resilience of parallel applications becomes crucial. In this paper, we present FT-Pro, an adaptive fault...
92
Voted
JCC
2007
15 years 2 months ago
2007
Abstract: A novel self-organizing algorithm for conformational sampling is introduced, in which precomputed conformations of rigid fragments are used as templates to enforce the de...
118
Voted
COMCOM
2004
15 years 2 months ago
2004
This paper investigates mobile communication networks consisting of N-cells in tandem. Two models with fixed channel assignment are considered, which correspond to (A) a uni-direc...
134
click to vote
COLING
2000
15 years 2 months ago
2000
Speech repairs occur often in spontaneous spoken dialogues. The ability to detect and correct those repairs is necessary for any spoken language system. We present a framework to ...