Sciweavers

1209 search results - page 194 / 242
» Using Prosodic Features in Language Models for Meetings
Sort
View
ACL
2007
15 years 1 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
NIPS
2008
15 years 1 months ago
Offline Handwriting Recognition with Multidimensional Recurrent Neural Networks
Offline handwriting recognition--the transcription of images of handwritten text--is an interesting task, in that it combines computer vision with sequence learning. In most syste...
Alex Graves, Jürgen Schmidhuber
IFM
2010
Springer
124views Formal Methods» more  IFM 2010»
14 years 10 months ago
Safe Commits for Transactional Featherweight Java
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
Thi Mai Thuong Tran, Martin Steffen
TASE
2007
IEEE
15 years 6 months ago
Constraint-Based Policy Negotiation and Enforcement for Telco Services
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...
Maria Grazia Buscemi, Laura Ferrari, Corrado Moiso...
ISMVL
2007
IEEE
104views Hardware» more  ISMVL 2007»
15 years 6 months ago
Evaluation of Toggle Coverage for MVL Circuits Specified in the SystemVerilog HDL
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
Mahsan Amoui, Daniel Große, Mitchell A. Thor...