Sciweavers

94 search results - page 17 / 19
» Incremental Syntactic Language Models for Phrase-based Trans...
Sort
View
GTTSE
2007
Springer
13 years 12 months ago
Design Space of Heterogeneous Synchronization
Abstract. This tutorial explores the design space of heterogeneous synchronization, which is concerned with establishing consistency among artifacts that conform to different sche...
Michal Antkiewicz, Krzysztof Czarnecki
VSTTE
2005
Springer
13 years 11 months ago
From the How to the What
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
Tiziana Margaria, Bernhard Steffen
IJCAI
2003
13 years 7 months ago
Bayesian Information Extraction Network
Dynamic Bayesian networks (DBNs) offer an elegant way to integrate various aspects of language in one model. Many existing algorithms developed for learning and inference in DBNs ...
Leonid Peshkin, Avi Pfeffer
TCC
2004
Springer
173views Cryptology» more  TCC 2004»
13 years 11 months ago
Soundness of Formal Encryption in the Presence of Active Adversaries
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
Daniele Micciancio, Bogdan Warinschi
ACL
2006
13 years 7 months ago
Learning to Predict Case Markers in Japanese
Japanese case markers, which indicate the grammatical relation of the complement NP to the predicate, often pose challenges to the generation of Japanese text, be it done by a for...
Hisami Suzuki, Kristina Toutanova