205 search results - page 23 / 41 » Aspects of Pairing Inversion |
ICIP
2001
IEEE
14 years 9 months ago
2001
IEEE
This paper proposes some Markov Random Field (MRF) models for restoration of stereo disparity maps. The main aspect is the use of confidence maps provided by the Symmetric Multipl...
CHI
2006
ACM
14 years 8 months ago
2006
ACM
Drinking together has important roles in human relationships and social interactions. In this paper, we suggest drinking as an implicit communication channel and an enhancer of co...
CADE
2006
Springer
14 years 7 months ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
AMR
2007
Springer
14 years 1 months ago
2007
Springer
This paper gives an overview of recent approaches towards image representation and image similarity computation for content-based image retrieval and automatic image annotation (ca...