Sciweavers

3760 search results - page 117 / 752
» Logic-Based Probabilistic Modeling
Sort
View
FMSD
2010
118views more  FMSD 2010»
15 years 1 months ago
On simulation-based probabilistic model checking of mixed-analog circuits
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...
Edmund M. Clarke, Alexandre Donzé, Axel Leg...
BIBM
2010
IEEE
151views Bioinformatics» more  BIBM 2010»
15 years 1 months ago
Probabilistic topic modeling for genomic data interpretation
Recently, the concept of a species containing both core and distributed genes, known as the supra- or pangenome theory, has been introduced. In this paper, we aim to develop a new ...
Xin Chen, Xiaohua Hu, Xiajiong Shen, Gail Rosen
ICCV
1998
IEEE
16 years 4 months ago
Visual Motion Estimation and Prediction: A Probabilistic Network Model for Temporal Coherence
We develop a theory for the temporal integration of visual motion motivated by psychophysical experiments. The theory proposes that input data are temporally grouped and used to p...
Alan L. Yuille, Pierre-Yves Burgi, Norberto M. Grz...
ICPR
2008
IEEE
16 years 4 months ago
Detecting trends in social bookmarking systems using a probabilistic generative model and smoothing
We propose a method for the detection of trends in social bookmarking systems. Compared to other work in this emerging field, our approach has a more sound statistical basis. In o...
Alexander Korth, Christian Bauckhage, Florian Metz...
114
Voted
KDD
2001
ACM
156views Data Mining» more  KDD 2001»
16 years 3 months ago
Classification of genes using probabilistic models of microarray expression profiles
Paul Pavlidis, Christopher Tang, William Stafford ...