Sciweavers

2066 search results - page 225 / 414
» Word Maturity: Computational Modeling of Word Knowledge
Sort
View
NLE
2007
148views more  NLE 2007»
15 years 4 months ago
Abbreviated text input using language modeling
We address the problem of improving the efficiency of natural language text input under degraded conditions (for instance, on mobile computing devices or by disabled users), by ta...
Stuart M. Shieber, Rani Nelken
FOSSACS
2009
Springer
15 years 11 months ago
On Global Model Checking Trees Generated by Higher-Order Recursion Schemes
Higher-order recursion schemes are systems of rewrite rules on typed non-terminal symbols, which can be used to define infinite trees. The Global Modal Mu-Calculus Model Checking...
Christopher Broadbent, C.-H. Luke Ong
ICTIR
2009
Springer
15 years 11 months ago
Modeling Expected Utility of Multi-session Information Distillation
Abstract. An open challenge in information distillation is the evaluation and optimization of the utility of ranked lists with respect to flexible user interactions over multiple ...
Yiming Yang, Abhimanyu Lad
ALGORITHMICA
2007
70views more  ALGORITHMICA 2007»
15 years 4 months ago
Sampling Conformation Space to Model Equilibrium Fluctuations in Proteins
This paper proposes the Protein Ensemble Method (PEM) to model equilibrium fluctuations in proteins where fragments of the protein polypeptide chain can move independently of one ...
Amarda Shehu, Cecilia Clementi, Lydia E. Kavraki
CORR
2008
Springer
107views Education» more  CORR 2008»
15 years 4 months ago
A Spectral Algorithm for Learning Hidden Markov Models
Hidden Markov Models (HMMs) are one of the most fundamental and widely used statistical tools for modeling discrete time series. In general, learning HMMs from data is computation...
Daniel Hsu, Sham M. Kakade, Tong Zhang