Sciweavers

4488 search results - page 382 / 898
» Focusing Search by Using Problem Solving Experience
Sort
View
DSS
2002
139views more  DSS 2002»
15 years 4 months ago
CI Spider: a tool for competitive intelligence on the Web
Competitive Intelligence (CI) aims to monitor a firm's external environment for information relevant to its decision-making process. As an excellent information source, the I...
Hsinchun Chen, Michael Chau, Daniel Dajun Zeng
CADE
2002
Springer
16 years 5 months ago
Reasoning by Symmetry and Function Ordering in Finite Model Generation
Abstract. Finite model search for first-order logic theories is complementary to theorem proving. Systems like Falcon, SEM and FMSET use the known LNH (Least Number Heuristic) heur...
Gilles Audemard, Belaid Benhamou
CIVR
2010
Springer
199views Image Analysis» more  CIVR 2010»
15 years 10 months ago
Unsupervised multi-feature tag relevance learning for social image retrieval
Interpreting the relevance of a user-contributed tag with respect to the visual content of an image is an emerging problem in social image retrieval. In the literature this proble...
Xirong Li, Cees G. M. Snoek, Marcel Worring
GECCO
2007
Springer
201views Optimization» more  GECCO 2007»
15 years 11 months ago
A new collaborative evolutionary-swarm optimization technique
A new hybrid approach to optimization in dynamical environments called Collaborative Evolutionary-Swarm Optimization (CESO) is presented. CESO tracks moving optima in a dynamical ...
Rodica Ioana Lung, D. Dumitrescu
GECCO
2009
Springer
112views Optimization» more  GECCO 2009»
15 years 11 months ago
Approximating geometric crossover in semantic space
We propose a crossover operator that works with genetic programming trees and is approximately geometric crossover in the semantic space. By defining semantic as program’s eval...
Krzysztof Krawiec, Pawel Lichocki