Sciweavers

2588 search results - page 139 / 518
» Swarm Intelligence: From Natural to Artificial Systems
Sort
View
CP
2007
Springer
16 years 17 days ago
Propagation = Lazy Clause Generation
Finite domain propagation solvers effectively represent the possible values of variables by a set of choices which can be naturally modelled as Boolean variables. In this paper we...
Olga Ohrimenko, Peter J. Stuckey, Michael Codish
TPHOL
2006
IEEE
16 years 11 days ago
Minlog
We extract on the computer a number of moduli of uniform continuity for the first few elements of a sequence of closed terms t of G¨odel’s T of type (N→N)→(N→N). The gen...
Helmut Schwichtenberg
ICAIL
2005
ACM
15 years 12 months ago
Automatic Legal Text Summarisation: Experiments with Summary Structuring
We describe a set of experiments using machine learning techniques for the task of extractive summarisation. The research is part of a summarisation project for which we use a cor...
Ben Hachey, Claire Grover
ICTAI
2008
IEEE
16 years 24 days ago
DOG: An Ontology-Powered OSGi Domotic Gateway
This paper proposes an ontology-powered Domotic OSGi Gateway (DOG) able to expose different domotic networks as a single, technology neutral, home automation system. The adoption ...
Dario Bonino, Emiliano Castellina, Fulvio Corno
IWINAC
2005
Springer
15 years 12 months ago
Model Performance for Visual Attention in Real 3D Color Scenes
Abstract. Visual attention is the ability of a vision system, be it biological or artificial, to rapidly detect potentially relevant parts of a visual scene. The saliency-based mo...
Heinz Hügli, Timothée Jost, Nabil Ouer...