Human categorization research is dominated by work in classification learning. The field may be in danger of equating the classification learning paradigm with the more general ph...
Bradley C. Love, Arthur B. Markman, Takashi Yamauc...
In this paper, we consider a method of computing minimal models in circumscription using integer programming in propositional logic and first-order logic with domain closure axiom...
The use of heuristics as a means to improve constraint solver performance has been researched widely. However, most work has been on problem-independentheuristics (e.g., variable ...
Lise Getoor, Greger Ottosson, Markus P. J. Fromher...
We propose a 3D computational model for projective relations which is used in an integrated image and speech understanding system. The image and speech understanding system is bei...
Constanze Vorwerg, Gudrun Socher, Thomas Fuhr, Ger...
Automatic recognition of animal vocalisations would be a valuable tool for a variety of biological research and environmental monitoring applications . We report the development o...
Andrew Taylor, Graeme Watson, Gordon Grigg, Hamish...