Sciweavers

1655 search results - page 191 / 331
» Stemming in the language modeling framework
Sort
View
120
Voted
TPHOL
2009
IEEE
15 years 7 months ago
A Formalisation of Smallfoot in HOL
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
Thomas Tuerk
87
Voted
KI
1997
Springer
15 years 4 months ago
Agents in Proactive Environments
Abstract. Agents situated in proactive environments are acting autonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions....
Dov M. Gabbay, Rolf Nossum, Michael Thielscher
ACL
2006
15 years 2 months ago
Bayesian Query-Focused Summarization
We present BAYESUM (for "Bayesian summarization"), a model for sentence extraction in query-focused summarization. BAYESUM leverages the common case in which multiple do...
Hal Daumé III, Daniel Marcu
83
Voted
ACL
2010
14 years 10 months ago
Word Alignment with Synonym Regularization
We present a novel framework for word alignment that incorporates synonym knowledge collected from monolingual linguistic resources in a bilingual probabilistic model. Synonym inf...
Hiroyuki Shindo, Akinori Fujino, Masaaki Nagata
117
Voted
EIT
2008
IEEE
15 years 7 months ago
Taming XML: Objects first, then markup
Abstract—Processing markup in object-oriented languages often requires the programmer to focus on the objects generating the markup rather than the more pertinent domain objects....
Matt Bone, Peter F. Nabicht, Konstantin Läufe...