We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
Most object recognition systems require large databases of real images for classifier training. To collect real images for this purpose is a difficult and expensive process. This ...
The coordination problem in multi-agent systems is the problem of managing dependencies between the activities of autonomous agents, in conditions of incomplete knowledge about th...
This article presents formalized intuitionistic proofs for the polyhedra genus theorem, the Euler formula and a sufficient condition of planarity. They are based on a hypermap mod...
Traditionally, texture coordinates have been generated based solely on the model’s geometry, often even before a model’s textures have been created. With the arrival of new te...
Peter-Pike J. Sloan, David M. Weinstein, J. Dean B...