933 search results - page 64 / 187 » Robust Distributed Source Coding |
119
Voted
ICCD
2000
IEEE
15 years 4 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
105
click to vote
SAC
2010
ACM
15 years 22 days ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
68
Voted
CVPR
2007
IEEE
16 years 2 months ago
2007
IEEE
Taking a sequence of photographs using multiple illumination sources or settings is central to many computer vision and graphics problems. A growing number of recent methods use m...
80
Voted
HPDC
2000
IEEE
15 years 5 months ago
2000
IEEE
In this paper we present a robust software infrastructure for metacomputing. The system is intended to be used by others as a building block for large and powerful computational g...
85
Voted
COLING
2002
15 years 11 days ago
2002
Most current sentence alignment approaches adopt sentence length and cognate as the alignment features; and they are mostly trained and tested in the documents with the same style...