Sciweavers

3371 search results - page 490 / 675
» Using parsimonious language models on web data
Sort
View
ACL
2007
15 years 7 months ago
Boosting Statistical Machine Translation by Lemmatization and Linear Interpolation
Data sparseness is one of the factors that degrade statistical machine translation (SMT). Existing work has shown that using morphosyntactic information is an effective solution t...
Ruiqiang Zhang, Eiichiro Sumita
CAV
2009
Springer
215views Hardware» more  CAV 2009»
16 years 6 months ago
Homer: A Higher-Order Observational Equivalence Model checkER
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
David Hopkins, C.-H. Luke Ong
BMCBI
2007
141views more  BMCBI 2007»
15 years 6 months ago
Reconstruction of human protein interolog network using evolutionary conserved network
Background: The recent increase in the use of high-throughput two-hybrid analysis has generated large quantities of data on protein interactions. Specifically, the availability of...
Tao-Wei Huang, Chung-Yen Lin, Cheng-Yan Kao
MODELS
2010
Springer
15 years 4 months ago
Towards a Semantics of Activity Diagrams with Semantic Variation Points
Abstract. UML activity diagrams have become an established notamodel control and data flow on various levels of abstraction, ranging from fine-grained descriptions of algorithms ...
Hans Grönniger, Dirk Reiss, Bernhard Rumpe
IUI
2012
ACM
14 years 1 months ago
Airwriting: demonstrating mobile text input by 3D-space handwriting
We demonstrate our airwriting interface for mobile handsfree text entry. The interface enables a user to input text into a computer by writing in the air like on an imaginary blac...
Christoph Amma, Tanja Schultz