1501 search results - page 166 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
138
click to vote
NIPS
2004
15 years 6 months ago
2004
We propose a new interpretation of spiking neurons as Bayesian integrators accumulating evidence over time about events in the external world or the body, and communicating to oth...
122
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we discuss variational data assimilation using the STEM atmospheric Chemical Transport Model. STEM is a multiscale model and can perform air quality simulations and p...
157
click to vote
BIOADIT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A method is presented to predict phase relationships between coupled phase oscillators. As an illustration of how the method can be applied, a distributed Central Pattern...
128
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
148
click to vote
JMLR
2011
14 years 11 months ago
2011
We propose a distance phrase reordering model (DPR) for statistical machine translation (SMT), where the aim is to learn the grammatical rules and context dependent changes using ...