Sciweavers

2503 search results - page 366 / 501
» New Algorithms for Statistical Analysis of Interval Data
Sort
View
MIR
2006
ACM
220views Multimedia» more  MIR 2006»
15 years 10 months ago
Robust scene recognition using language models for scene contexts
We propose a robust scene recognition framework using scene context information for multimedia contents. Multimedia contents consist of scene sequences that are more likely to hap...
Ryoichi Ando, Koichi Shinoda, Sadaoki Furui, Takah...
SIGIR
2004
ACM
15 years 10 months ago
Learning to cluster web search results
Organizing Web search results into clusters facilitates users' quick browsing through search results. Traditional clustering techniques are inadequate since they don't g...
Hua-Jun Zeng, Qi-Cai He, Zheng Chen, Wei-Ying Ma, ...
CIVR
2006
Springer
219views Image Analysis» more  CIVR 2006»
15 years 8 months ago
Bayesian Learning of Hierarchical Multinomial Mixture Models of Concepts for Automatic Image Annotation
We propose a novel Bayesian learning framework of hierarchical mixture model by incorporating prior hierarchical knowledge into concept representations of multi-level concept struc...
Rui Shi, Tat-Seng Chua, Chin-Hui Lee, Sheng Gao
POPL
2007
ACM
16 years 4 months ago
Program verification as probabilistic inference
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
Sumit Gulwani, Nebojsa Jojic
PPDP
2001
Springer
15 years 9 months ago
Trust in the Pi-Calculus
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
Mark Hepburn, David Wright