9325 search results - page 1550 / 1865 » The decentralized implementability problem |
214
click to vote
DLS
2009
15 years 2 months ago
2009
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
147
click to vote
DRR
2009
15 years 2 months ago
2009
The implementation of word spotting is not an easy procedure and it gets even worse in the case of historical documents since it requires character recognition and indexing of the...
156
click to vote
EGH
2009
Springer
15 years 2 months ago
2009
Springer
We present a strategy for performing view-adaptive, crack-free tessellation of Catmull-Clark subdivision surfaces entirely on programmable graphics hardware. Our scheme extends th...
148
click to vote
EMNLP
2009
15 years 2 months ago
2009
We present a new phrase-based conditional exponential family translation model for statistical machine translation. The model operates on a feature representation in which sentenc...
148
click to vote
EMNLP
2009
15 years 2 months ago
2009
We extend previous work on fully unsupervised part-of-speech tagging. Using a non-parametric version of the HMM, called the infinite HMM (iHMM), we address the problem of choosing...