Sciweavers

11097 search results - page 344 / 2220
» Hera presentation generator
Sort
View
AAAI
1994
15 years 8 months ago
Testing Physical Systems
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
Peter Struss
ACL
2009
15 years 4 months ago
Learning Semantic Correspondences with Less Supervision
A central problem in grounded language acquisition is learning the correspondences between a rich world state and a stream of text which references that world state. To deal with ...
Percy Liang, Michael I. Jordan, Dan Klein
RV
2010
Springer
153views Hardware» more  RV 2010»
15 years 4 months ago
Run-Time Verification of Networked Software
Most applications that are in use today inter-operate with other applications, so-called peers, over a network. The analysis of such distributed applications requires that the effe...
Cyrille Valentin Artho
157
Voted
SIGDIAL
2010
15 years 4 months ago
Utilizing Review Summarization in a Spoken Recommendation System
In this paper we present a framework for spoken recommendation systems. To provide reliable recommendations to users, we incorporate a review summarization technique which extract...
Jingjing Liu, Stephanie Seneff, Victor Zue
ACL
2009
15 years 4 months ago
Unsupervised Relation Extraction by Mining Wikipedia Texts Using Information from the Web
This paper presents an unsupervised relation extraction method for discovering and enhancing relations in which a specified concept in Wikipedia participates. Using respective cha...
Yulan Yan, Naoaki Okazaki, Yutaka Matsuo, Zhenglu ...