Sciweavers

13913 search results - page 403 / 2783
» models 2007
Sort
View
EMNLP
2006
15 years 9 months ago
SPMT: Statistical Machine Translation with Syntactified Target Language Phrases
We introduce SPMT, a new class of statistical Translation Models that use Syntactified target language Phrases. The SPMT models outperform a state of the art phrase-based baseline...
Daniel Marcu, Wei Wang, Abdessamad Echihabi, Kevin...
DAGSTUHL
2003
15 years 9 months ago
Operational Semantics of Security Protocols
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...
Cas J. F. Cremers, Sjouke Mauw
NIPS
2004
15 years 9 months ago
Semi-supervised Learning via Gaussian Processes
We present a probabilistic approach to learning a Gaussian Process classifier in the presence of unlabeled data. Our approach involves a "null category noise model" (NCN...
Neil D. Lawrence, Michael I. Jordan
QEST
2007
IEEE
16 years 1 months ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
WSC
2007
15 years 10 months ago
A metamodel-based representation method for reusable simulation model
The composition and reuse of simulation model is currently a hot research topic in the area of complex system modeling and simulation. A unified simulation model representation is...
Yonglin Lei, Lili Song, Weiping Wang 0002, Caiyun ...