157 search results - page 8 / 32 » Tackling Post's Correspondence Problem |
TIP
2008
13 years 7 months ago
2008
Abstract--This correspondence addresses the inversion of 3-D transformation fields, which is a problem that typically arises in image warping problems. A topology preserving parame...
ICCV
2011
IEEE
12 years 7 months ago
2011
IEEE
Many applications involve multiple-modalities such as text and images that describe the problem of interest. In order to leverage the information present in all the modalities, on...
DAC
2009
ACM
14 years 8 months ago
2009
ACM
Post-silicon validation has become an essential step in the design flow of today's complex integrated circuits. One effective technique that provides real-time visibility to ...
ICST
2009
IEEE
13 years 5 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
SEMWEB
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. As the Semantic Web emerges the problem of semantic heterogeneity is becoming more acute. Ontology matching techniques aim at tackling this problem by establishing corres...