Sciweavers

9443 search results - page 184 / 1889
» Web-centric language models
Sort
View
APLAS
2005
ACM
15 years 8 months ago
A Parametric Model for the Analysis of Mobile Ambients
In this paper we propose a new parametric abstract finite model of Mobile Ambients able to express several properties on processes. The model can be used for the analysis of these...
Dino Distefano
ACL
2000
15 years 7 months ago
A Maximum Entropy/Minimum Divergence Translation Model
I describe two methods for incorporating information about the relative positions of bilingual word pairs into a Maximum Entropy/Minimum Divergence translation model. The better o...
George F. Foster
JALC
2008
72views more  JALC 2008»
15 years 6 months ago
Maximal Error-Detecting Capabilities of Formal Languages
A combinatorial channel is a set of pairs of words describing all the possible input-output channel situations. We introduce the concept "maximal error-detecting capability&q...
Stavros Konstantinidis, Pedro V. Silva
POPL
2002
ACM
16 years 6 months ago
Types as models: model checking message-passing programs
Sagar Chaki, Sriram K. Rajamani, Jakob Rehof
TCS
2008
15 years 5 months ago
Computation of distances for regular and context-free probabilistic languages
Several mathematical distances between probabilistic languages have been investigated in the literature, motivated by applications in language modeling, computational biology, syn...
Mark-Jan Nederhof, Giorgio Satta