1750 search results - page 175 / 350 » Formal multiple-bernoulli models for language modeling |
273
click to vote
POPL
2002
ACM
16 years 6 months ago
2002
ACM
Probability distributions are useful for expressing the meanings of probabilistic languages, which support formal modeling of and reasoning about uncertainty. Probability distribu...
152
click to vote
ESWS
2005
Springer
16 years 1 days ago
2005
Springer
RDF uses the RFC3066 standard for language tags for literals in natural languages. The revision RFC3066bis includes productive use of language, country and script codes. These form...
169
click to vote
FOSSACS
2005
Springer
16 years 1 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
154
click to vote
JNSM
2007
15 years 6 months ago
2007
This paper traces the history of policy-based management and how it evolved from the first security models dating back to the late 1960’s until today’s more elaborate framewo...
158
click to vote
TPHOL
2008
IEEE
16 years 27 days ago
2008
IEEE
We present a novel compiled approach to Normalization by Evaluation (NBE) for ML-like languages. It supports efficient normalization of open λ-terms w.r.t. β-reduction and rewrit...