1818 search results - page 213 / 364 » The Many Faces of a Translation |
162
click to vote
IWPC
2003
IEEE
15 years 12 months ago
2003
IEEE
Many applications have one or more important modules that are written in a language other than conventional procedural or object oriented languages. These languages are often tran...
176
click to vote
SAC
2003
ACM
15 years 12 months ago
2003
ACM
Image retrieval based on content from digital libraries, multimedia databases, the Internet, and other sources has been an important problem addressed by several researchers. In t...
166
click to vote
CHARME
2003
Springer
15 years 12 months ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
189
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
196
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. PatchMatch is a fast algorithm for computing dense approximate nearest neighbor correspondences between patches of two image regions [1]. This paper generalizes PatchMatc...