This paper presents a theoretical and practical framework for constructing and reasoning about mobile agents. The framework is formulated as a process calculus and has two contrib...
This paper provides a method for recognizing 3D objects in a single camera image and for determining their 3D poses. A model is trained solely based on the geometry information of ...
Markus Ulrich, Christian Wiedemann, Carsten Steger
—The ChessBrain project currently holds an official Guinness World Record for the largest number of computers used to play one single game of chess. In this paper, we cover the l...
Based on a loss network model, we present an adaptive source routing scheme for a large, hierarchically organized network. To represent the ``available'' capacity of a p...
In recent years, there has been a cross-fertilization of ideas between computational neuroscience models of the operation of the neocortex and artificial intelligence models of mac...
John Thornton, Jolon Faichney, Michael Blumenstein...