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...
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
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...
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...
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...