Abstract. We propose a learning approach for integrating formal knowledge into statistical inference by exploiting ontologies as a semantically rich and fully formal representation...
In order to provide database-like features for files, particularly for searching in Web data, one solution is to migrate file data into a relational database. Having stored the da...
In this paper, we describe a new design of a recognition system for a single image of indoor scene including complex occlusions. In our system, rst, the system estimates 3D struc...
Intellectual capital (IC) is both the key input and tool used in the development of software today. It covers the value provided to an organisation by the employees, the processes...
We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our ...
Steven Awodey, Carsten Butz, Alex Simpson, Thomas ...