2663 search results - page 206 / 533 » How to Choose a Timing Model |
195
Voted
TCBB
2011
14 years 11 months ago
2011
—Constructing accurate computational models that explain how ions permeate through a biological ion channel is an important problem in biophysics and drug design. Brownian dynami...
122
Voted
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
127
click to vote
ICTAI
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we present how to estimate a continuous space Language Model with a Neural Network to be used in a Statistical Machine Translation system. We report results for an I...
131
click to vote
IEEESCC
2008
IEEE
15 years 11 months ago
2008
IEEE
—This paper presents a novel approach to model a complex evolving system, a Digital Business Ecosystem (DBE) that takes the specific needs of Small and Medium-sized Enterprises ...
132
click to vote
WSC
2008
15 years 6 months ago
2008
We develop and evaluate a semiparametric method to estimate the mean-value function of a nonhomogeneous Poisson process (NHPP) using one or more process realizations observed over...