1463 search results - page 128 / 293 » The State of the Art in Language Modeling |
136
Voted
ICML
2005
IEEE
16 years 2 months ago
2005
IEEE
The Web contains an abundance of useful semistructured information about real world objects, and our empirical study shows that strong sequence characteristics exist for Web infor...
109
click to vote
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
We present a background model that differentiates between background motion and foreground objects. Unlike most models that represent the variability of pixel intensity at a partic...
114
click to vote
ENTCS
2007
15 years 1 months ago
2007
Symbolic model checking is PSPACE complete. Since QBF is the standard PSPACE complete problem, it is most natural to encode symbolic model checking problems as QBF formulas and th...
153
Voted
PKC
2012
Springer
13 years 4 months ago
2012
Springer
Abstract. An unresolved problem in research on authenticated key exchange (AKE) is to construct a secure protocol against advanced attacks such as key compromise impersonation and ...
142
click to vote
AC
2000
Springer
15 years 6 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...