Sciweavers

7057 search results - page 1031 / 1412
» Tasks, domains, and languages
Sort
View
ACL
2010
15 years 4 months ago
Finding Cognate Groups Using Phylogenies
A central problem in historical linguistics is the identification of historically related cognate words. We present a generative phylogenetic model for automatically inducing cogn...
David Hall, Dan Klein
LPAR
2010
Springer
15 years 4 months ago
Dafny: An Automatic Program Verifier for Functional Correctness
Traditionally, the full verification of a program's functional correctness has been obtained with pen and paper or with interactive proof assistants, whereas only reduced ver...
K. Rustan M. Leino
NAACL
2010
15 years 4 months ago
Unsupervised Model Adaptation using Information-Theoretic Criterion
In this paper we propose a novel general framework for unsupervised model adaptation. Our method is based on entropy which has been used previously as a regularizer in semi-superv...
Ariya Rastrow, Frederick Jelinek, Abhinav Sethy, B...
SIGDIAL
2010
15 years 4 months ago
YouBot: A Simple Framework for Building Virtual Networking Agents
This paper proposes a simple framework for building 'virtual networking agents'; programs that can communicate with users and collect information through the internet. T...
Seiji Takegata, Kumiko Tanaka-Ishii
ICAI
2009
15 years 4 months ago
How Reasoning Achieves Context Integration into Syntax Parsing
Motivated by a representational model for the cross-modal interaction between language and other modalities we present a framework for the integration of contextual information int...
Patrick McCrae
« Prev « First page 1031 / 1412 Last » Next »