Sciweavers

3760 search results - page 543 / 752
» Logic-Based Probabilistic Modeling
Sort
View
TSE
2011
134views more  TSE 2011»
14 years 11 months ago
Verifying the Evolution of Probability Distributions Governed by a DTMC
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
YoungMin Kwon, Gul A. Agha
MICCAI
2002
Springer
16 years 5 months ago
Stochastic Finite Element Framework for Cardiac Kinematics Function and Material Property Analysis
Abstract. A stochastic finite element method (SFEM) based framework is proposed for the simultaneous estimation of cardiac kinematics functions and material model parameters. While...
Pengcheng Shi, Huafeng Liu
GECCO
2007
Springer
163views Optimization» more  GECCO 2007»
15 years 10 months ago
Choice and development
The process of development creates a phenotype from one or more genotypes of an individual through interaction with an environment. The opportunity for development to choose a phe...
Arthur M. Farley
ICCV
2005
IEEE
15 years 9 months ago
LOCUS: Learning Object Classes with Unsupervised Segmentation
We address the problem of learning object class models and object segmentations from unannotated images. We introduce LOCUS (Learning Object Classes with Unsupervised Segmentation...
John M. Winn, Nebojsa Jojic
SDM
2010
SIAM
158views Data Mining» more  SDM 2010»
15 years 5 months ago
On the Use of Combining Rules in Relational Probability Trees
A relational probability tree (RPT) is a type of decision tree that can be used for probabilistic classification of instances with a relational structure. Each leaf of an RPT cont...
Daan Fierens