77016 search results - page 64 / 15404 » Modeling |
NIPS
2007
14 years 19 days 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
13 years 11 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...
JOT
2008
13 years 11 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...
IJON
2007
13 years 11 months 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...
CSL
1998
Springer
13 years 11 months 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...