1463 search results - page 113 / 293 » The State of the Art in Language Modeling |
125
Voted
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
In this paper, we propose a Gaussian Process Regression (GPR) framework for concealment of corrupted motion vectors in predictive video coding of packet video systems. The problem...
138
Voted
ICCV
2011
IEEE
14 years 1 months ago
2011
IEEE
This paper addresses the problem of category-level image classification. The underlying image model is a graph whose nodes correspond to a dense set of regions, and edges reflec...
105
click to vote
CAV
2001
Springer
15 years 6 months ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
126
Voted
POPL
2012
ACM
13 years 9 months ago
2012
ACM
This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99....
143
click to vote
IJCV
2011
14 years 8 months ago
2011
This paper is devoted to the optimization problem of continuous multipartitioning, or multi-labeling, which is based on a convex relaxation of the continuous Potts model. In contr...