Sciweavers

6042 search results - page 435 / 1209
» Repeated Observation Models
Sort
View
ENTCS
2008
122views more  ENTCS 2008»
15 years 7 months ago
Concurrency in Biological Modeling: Behavior, Execution and Visualization
Modeling natural systems is a complicated task that involves the concurrent behavior of various processes, mechanisms and objects. Here, we describe an approach that we have been ...
David Harel, Yaki Setty, Sol Efroni, Naamah Swerdl...
FS
2006
117views more  FS 2006»
15 years 7 months ago
Consistent Variance Curve Models
We introduce a general approach to model a joint market of stock price and a term structure of variance swaps in an HJM-type framework. In such a model, strongly volatility-depend...
Hans Buehler
FUIN
2006
85views more  FUIN 2006»
15 years 7 months ago
Towards Integrated Verification of Timed Transition Models
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
Mark Lawford, Vera Pantelic, Hong Zhang
CLASSIFICATION
2007
105views more  CLASSIFICATION 2007»
15 years 7 months ago
Bayesian Regularization for Normal Mixture Estimation and Model-Based Clustering
Normal mixture models are widely used for statistical modeling of data, including cluster analysis. However maximum likelihood estimation (MLE) for normal mixtures using the EM al...
Chris Fraley, Adrian E. Raftery
JCP
2006
118views more  JCP 2006»
15 years 7 months ago
Learning a Classification-based Glioma Growth Model Using MRI Data
Gliomas are malignant brain tumors that grow by invading adjacent tissue. We propose and evaluate a 3D classification-based growth model, CDM, that predicts how a glioma will grow ...
Marianne Morris, Russell Greiner, Jörg Sander...