Using a low-level representation of images, like matching pursuit, we introduce a new way of describing objects through a general description using a translation, rotation, and is...
We define an interpretation of the Isabelle/HOL logic in HOL Light and its metalanguage, OCaml. Some aspects of the Isabelle logic are not representable directly in the HOL Light o...
Interaction in conversational interfaces strongly relies on the system’s capability to interpret the user’s references to objects via deictic expressions. Deictic gestures, es...
Thies Pfeiffer, Marc Erich Latoschik, Ipke Wachsmu...
This paper is part of a project to match real-world descriptions of instances of objects to models of objects. We use a rich ontology to describe s and models at multiple levels of...
Abstract. This paper addresses the problem of recovering the generating curve of a surface of revolution from a single uncalibrated perspective view, based solely on the object’s...