Sciweavers

3378 search results - page 227 / 676
» A universe of binding and computation
Sort
View
CAIP
1999
Springer
190views Image Analysis» more  CAIP 1999»
15 years 11 months ago
Image Stitching - Comparisons and New Techniques
In this work, we are mainly dealing with the stitching of panoramic images. However, the methods described and evaluated here can also be used for different applications in image ...
Chia-Yen Chen, Reinhard Klette
CONCUR
1998
Springer
15 years 11 months ago
Automata and Coinduction (An Exercise in Coalgebra)
The classical theory of deterministic automata is presented in terms of the notions of homomorphism and bisimulation, which are the cornerstones of the theory of universal coalgebr...
Jan J. M. M. Rutten
FLAIRS
2007
15 years 9 months ago
Robotics in the Classroom: Providing Robotics Equipment to Support Intelligent Systems Curricula
The authors present how the Institute for Research in Intelligent Systems (IRIS) at California State University, Chico (CSUC) provides access to robotics equipment to support cour...
Benjoe A. Juliano, René S. Renner
TFCV
1998
15 years 8 months ago
Confidence of Ground Control for Validating Stereo Terrain Reconstruction
This TR discusses aspects of using ground control to validate the computational terrain reconstruction. Image features provided for stereo matching allow to deduce simple confiden...
Georgy L. Gimel'farb
CVPR
2009
IEEE
3248views Computer Vision» more  CVPR 2009»
17 years 1 months ago
Single Image Haze Removal Using Dark Channel Prior
In this paper, we propose a simple but effective image prior - dark channel prior to remove haze from a single input image. The dark channel prior is a kind of statistics of the...
Kaiming He (The Chinese University of Hong Kong), ...