Sciweavers

60 search results - page 6 / 12
» HOL Light: An Overview
Sort
View
IROS
2006
IEEE
152views Robotics» more  IROS 2006»
15 years 3 months ago
Experiments with robust estimation techniques in real-time robot vision
— The goal of this paper is to present an overview of robust estimation techniques with a special focus on robotic vision applications. In this particular context, constraints du...
Ezio Malis, Éric Marchand
CVPR
2009
IEEE
16 years 5 months ago
A Projective Framework for Radiometric Image Analysis
Different materials reflect light in different ways, and reflectance interacts with shape, lighting, and viewpoint to determine an object’s image. Common materials exhibit dive...
Ping Tan (National University of Singapore), Todd ...
DAM
2008
92views more  DAM 2008»
14 years 9 months ago
Applications to cryptography of twisting commutative algebraic groups
We give an overview on twisting commutative algebraic groups and applications to discrete log based cryptography. We explain how discrete log based cryptography over extension fie...
Alice Silverberg
KES
2007
Springer
14 years 9 months ago
A Content Dependent Visualization System for Symbolic Representation of Piano Stream
This paper provides an overview on the advances of music information retrieval in symbolic representation of music. Such musical aspects as key, tonality, bass, melody, dynamics, r...
Alexander Adli, Zensho Nakao, Yasunori Nagata
CVPR
2008
IEEE
15 years 4 months ago
Evaluation of color descriptors for object and scene recognition
Image category recognition is important to access visual information on the level of objects and scene types. So far, intensity-based descriptors have been widely used. To increas...
Koen E. A. van de Sande, Theo Gevers, Cees G. M. S...