Sciweavers

1592 search results - page 138 / 319
» On the Equality of Probabilistic Terms
Sort
View
TCS
2002
15 years 6 months ago
Automatic verification of real-time systems with discrete probability distributions
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...
JMLR
2010
93views more  JMLR 2010»
15 years 1 months ago
Distinguishing between cause and effect
We propose a novel method for inferring whether X causes Y or vice versa from joint observations of X and Y . The basic idea is to model the observed data using probabilistic late...
Joris M. Mooij, Dominik Janzing
CIKM
2008
Springer
15 years 8 months ago
Modeling hidden topics on document manifold
Topic modeling has been a key problem for document analysis. One of the canonical approaches for topic modeling is Probabilistic Latent Semantic Indexing, which maximizes the join...
Deng Cai, Qiaozhu Mei, Jiawei Han, Chengxiang Zhai
CVPR
2009
IEEE
17 years 1 months ago
Simultaneous Image Classification and Annotation
Image classification and annotation are important problems in computer vision, but rarely considered together. Intuitively, annotations provide evidence for the class label, and...
Chong Wang, David M. Blei, Fei-Fei Li
ICDE
2009
IEEE
165views Database» more  ICDE 2009»
16 years 8 months ago
Spatial Range Querying for Gaussian-Based Imprecise Query Objects
Abstract-- In sensor environments and moving robot applications, the position of an object is often known imprecisely because of measurement error and/or movement of the object. In...
Yoshiharu Ishikawa, Yuichi Iijima, Jeffrey Xu Yu