Sciweavers

2343 search results - page 374 / 469
» Visual-Concept Search Solved
Sort
View
167
Voted
ERCIMDL
2008
Springer
181views Education» more  ERCIMDL 2008»
15 years 6 months ago
Author Name Disambiguation for Citations Using Topic and Web Correlation
Abstract. Today, bibliographic digital libraries play an important role in helping members of academic community search for novel research. In particular, author disambiguation for...
Kai-Hsiang Yang, Hsin-Tsung Peng, Jian-Yi Jiang, H...
200
Voted
EWCBR
2008
Springer
15 years 6 months ago
Real-Time Plan Adaptation for Case-Based Planning in Real-Time Strategy Games
Abstract. Case-based planning (CBP) is based on reusing past successful plans for solving new problems. CBP is particularly useful in environments where the large amount of time re...
Neha Sugandh, Santiago Ontañón, Ashw...
ALENEX
2007
105views Algorithms» more  ALENEX 2007»
15 years 6 months ago
ScrewBox: a Randomized Certifying Graph-Non-Isomorphism Algorithm
We present a novel randomized approach to the graph isomorphism problem. Our algorithm aims at solving difficult instances by producing randomized certificates for non-isomorphis...
Martin Kutz, Pascal Schweitzer
140
Voted
CATS
2008
15 years 6 months ago
Modelling for Lazy Clause Generation
Lazy clause generation is a hybrid SAT and finite domain propagation solver that tries to combine the advantages of both: succinct modelling using finite domains and powerful nogo...
Olga Ohrimenko, Peter J. Stuckey
CSC
2008
15 years 6 months ago
Efficient and Effective Practical Algorithms for the Set-Covering Problem
- The set-covering problem is an interesting problem in computational complexity theory. In [1], the setcovering problem has been proved to be NP hard and a greedy heuristic algori...
Qi Yang, Jamie McPeek, Adam Nofsinger