Sciweavers

3865 search results - page 292 / 773
» From Bidirectionality to Alternation
Sort
View
ODR
2008
15 years 8 months ago
Reflecting on ODR: The Israeli Example
The state of ODR in Israel provides an instructive illustration of the developments and achievements in the field as well as the significant challenges that it still faces. The gen...
Orna Rabinovich-Einy
PTS
2008
109views Hardware» more  PTS 2008»
15 years 8 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund
NAACL
2007
15 years 8 months ago
Randomized Decoding for Selection-and-Ordering Problems
The task of selecting and ordering information appears in multiple contexts in text generation and summarization. For instance, methods for title generation construct a headline b...
Pawan Deshpande, Regina Barzilay, David R. Karger
NAACL
2007
15 years 8 months ago
Bayesian Inference for PCFGs via Markov Chain Monte Carlo
This paper presents two Markov chain Monte Carlo (MCMC) algorithms for Bayesian inference of probabilistic context free grammars (PCFGs) from terminal strings, providing an altern...
Mark Johnson, Thomas L. Griffiths, Sharon Goldwate...
TREC
2008
15 years 8 months ago
FEUP at TREC 2008 Blog Track: Using Temporal Evidence for Ranking and Feed Distillation
This paper presents the participation of FEUP, from University of Porto, in the TREC 2008 Blog Track. FEUP participated in two tasks, the baseline adhoc retrieval task and the blo...
Sérgio Nunes, Cristina Ribeiro, Gabriel Dav...