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...
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...
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...
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
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 ...