Sciweavers

694 search results - page 86 / 139
» Three new graphical models for statistical language modellin...
Sort
View
BMCBI
2006
95views more  BMCBI 2006»
14 years 10 months ago
A quantitative analysis of secondary RNA structure using domination based parameters on trees
Background: It has become increasingly apparent that a comprehensive database of RNA motifs is essential in order to achieve new goals in genomic and proteomic research. Secondary...
Teresa W. Haynes, Debra J. Knisley, Edith Seier, Y...
POPL
2007
ACM
15 years 10 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
IJCAI
2001
14 years 11 months ago
Multi-Agent Influence Diagrams for Representing and Solving Games
The traditional representations of games using the extensive form or the strategic (normal) form obscure much of the structure that is present in real-world games. In this paper, ...
Daphne Koller, Brian Milch
EHCI
2004
14 years 11 months ago
Spatial Control of Interactive Surfaces in an Augmented Environment
New display technologies will enable designers to use every surface as a support for interaction with information technology. In this article, we describe techniques and tools for ...
Stanislaw Borkowski, Julien Letessier, James L. Cr...
NIPS
2007
14 years 11 months ago
HM-BiTAM: Bilingual Topic Exploration, Word Alignment, and Translation
We present a novel paradigm for statistical machine translation (SMT), based on a joint modeling of word alignment and the topical aspects underlying bilingual document-pairs, via...
Bing Zhao, Eric P. Xing