8828 search results - page 1570 / 1766 » Formal methods in practice |
130
click to vote
COLING
2010
14 years 11 months ago
2010
In this paper, we propose an unsupervised approach to automatically synthesize Wikipedia articles in multiple languages. Taking an existing high-quality version of any entry as co...
169
click to vote
IEICET
2011
14 years 11 months ago
2011
Over the recent years, a great deal of effort has been made to age estimation from face images. It has been reported that age can be accurately estimated under controlled environ...
156
click to vote
JAIR
2011
14 years 11 months ago
2011
Previous studies have demonstrated that encoding a Bayesian network into a SAT formula and then performing weighted model counting using a backtracking search algorithm can be an ...
153
click to vote
STTT
2011
14 years 11 months ago
2011
Web-based applications are one of the most widely used types of software, and have become the backbone of many e-commerce and communications businesses. These applications are ofte...
116
click to vote
TCOM
2011
14 years 11 months ago
2011
Bit-interleaved coded modulation (BICM) has become the de facto coding standard for communication systems. Recently, BICM has been cast as a mismatched decoding scheme due to the ...