Sciweavers

5671 search results - page 889 / 1135
» A Semantic Approach to Interpolation
Sort
View
EMNLP
2009
15 years 4 months ago
Human-competitive tagging using automatic keyphrase extraction
This paper connects two research areas: automatic tagging on the web and statistical keyphrase extraction. First, we analyze the quality of tags in a collaboratively created folks...
Olena Medelyan, Eibe Frank, Ian H. Witten
EMNLP
2009
15 years 4 months ago
Improved Statistical Machine Translation Using Monolingually-Derived Paraphrases
Untranslated words still constitute a major problem for Statistical Machine Translation (SMT), and current SMT systems are limited by the quantity of parallel training texts. Augm...
Yuval Marton, Chris Callison-Burch, Philip Resnik
189
Voted
EMNLP
2009
15 years 4 months ago
Multilingual Spectral Clustering Using Document Similarity Propagation
We present a novel approach for multilingual document clustering using only comparable corpora to achieve cross-lingual semantic interoperability. The method models document colle...
Dani Yogatama, Kumiko Tanaka-Ishii
FM
2009
Springer
146views Formal Methods» more  FM 2009»
15 years 4 months ago
Verifying Real-Time Systems against Scenario-Based Requirements
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, S...
FMCO
2009
Springer
120views Formal Methods» more  FMCO 2009»
15 years 4 months ago
A Framework for Reasoning on Component Composition
The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component composition is well understood formally but existing wor...
Ludovic Henrio, Florian Kammüller, Muhammad U...