Sciweavers

21430 search results - page 469 / 4286
» Abstract Effective Models
Sort
View
DIAGRAMS
2006
Springer
15 years 10 months ago
Exploring the Notion of 'Clutter' in Euler Diagrams
Abstract. Euler diagrams are an effective and intuitive way of representing relationships between sets. As the number of sets represented grows, Euler diagrams can become `cluttere...
Chris John, Andrew Fish, John Howse, John Taylor
BSL
2008
98views more  BSL 2008»
15 years 7 months ago
A Natural Axiomatization of Computability and Proof of Church's Thesis
Church's Thesis asserts that the only numeric functions that can be calculated by effective means are the recursive ones, which are the same, extensionally, as the Turingle nu...
Nachum Dershowitz, Yuri Gurevich
DEDS
2008
94views more  DEDS 2008»
15 years 7 months ago
Approximate Simulation Relations for Hybrid Systems
Abstract Approximate simulation relations have recently been introduced as a powerful tool for the approximation of discrete and continuous systems. In this paper, we his abstracti...
Antoine Girard, A. Agung Julius, George J. Pappas
COLING
2008
15 years 8 months ago
Modeling Chinese Documents with Topical Word-Character Models
As Chinese text is written without word boundaries, effectively recognizing Chinese words is like recognizing collocations in English, substituting characters for words and words ...
Wei Hu, Nobuyuki Shimizu, Hiroshi Nakagawa, Huanye...
PRIS
2008
15 years 8 months ago
Using a Bilingual Context in Word-Based Statistical Machine Translation
Abstract. In statistical machine translation, phrase-based translation (PBT) models lead to a significantly better translation quality over single-word-based (SWB) models. PBT mode...
Christoph Schmidt, David Vilar, Hermann Ney