Sciweavers

149 search results - page 6 / 30
» Finding the Collineation between Two Projective Reconstructi...
Sort
View
ICONIP
2007
13 years 9 months ago
Finding Exploratory Rewards by Embodied Evolution and Constrained Reinforcement Learning in the Cyber Rodents
The aim of the Cyber Rodent project [1] is to elucidate the origin of our reward and affective systems by building artificial agents that share the natural biological constraints...
Eiji Uchibe, Kenji Doya
TPHOL
2007
IEEE
14 years 2 months ago
Source-Level Proof Reconstruction for Interactive Theorem Proving
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
Lawrence C. Paulson, Kong Woei Susanto
ESEM
2010
ACM
13 years 6 months ago
Strengthening the empirical analysis of the relationship between Linus' Law and software security
Open source software is often considered to be secure because large developer communities can be leveraged to find and fix security vulnerabilities. Eric Raymond states Linus’ L...
Andrew Meneely, Laurie A. Williams
MVA
2007
122views Computer Vision» more  MVA 2007»
13 years 9 months ago
Free Parking Space Detection Using Optical Flow-based Euclidean 3D Reconstruction
An automatic parking system provides convenience for drivers by automatically finding free parking spaces and steering automobiles toward them. This paper proposes a vision-based ...
Jae Kyu Suhr, Kwanghyuk Bae, Jaihie Kim, Ho Gi Jun...
ICIAP
1999
ACM
14 years 29 min ago
Shape Reconstruction of 3D Bilaterally Symmetric Surfaces
The paper presents a new approach for shape recovery based on integratinggeometric and photometric information. We consider 3D bilaterally symmetric objects, that is, objects which...
Ilan Shimshoni, Michael Lindenbaum, Yael Moses