77016 search results - page 64 / 15404 » Modeling |
97
Voted
NIPS
2007
15 years 2 months ago
2007
We investigate a family of inference problems on Markov models, where many sample paths are drawn from a Markov chain and partial information is revealed to an observer who attemp...
ENTCS
2008
15 years 1 months ago
2008
This paper explores the emerging paradigm of business-driven development, which presupposes a methodology for developing IT solutions that directly satisfy business requirements a...
114
Voted
JOT
2008
15 years 1 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
91
Voted
IJON
2007
15 years 28 days ago
2007
An adaptive Exponential Integrate-and-Fire (aEIF) model was used to predict the activity of layer-V-pyramidal neurons of rat neocortex under random current injection. A new protoc...
114
click to vote
CSL
1998
Springer
15 years 21 days ago
1998
Springer
In this paper, we propose parameter estimation techniques for mixture density polynomial segment models (MDPSMs) where their trajectories are specified with an arbitrary regressi...