4212 search results - page 293 / 843 » On Compressible Pairings and Their Computation |
173
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
We propose how to present and compute a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present ...
212
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Most existing methods of stereo matching focus on dealing with clear image pairs. Consequently, there is a lack of approaches capable of handling degraded images captured under ch...
283
click to vote
ISCSCT
2008
IEEE
16 years 1 months ago
2008
IEEE
—To rapidly and accurately search the corresponding points along scan-lines, rectification of stereo pairs are performed so that corresponding epipolar lines are parallel to the ...
153
Voted
WECWIS
2005
IEEE
16 years 10 days ago
2005
IEEE
We describe a schema matching algorithm EXSMAL that automates the semantic correspondence discovery between the EDI (Electronic Data Interchange) messages of various standards (ED...
166
click to vote
RT
2004
Springer
16 years 3 days ago
2004
Springer
We present a new image-based stereoscopic painterly algorithm that we use to automatically generate stereoscopic paintings. Our work is motivated by contemporary painters who have...