Sciweavers

3317 search results - page 363 / 664
» Strategies in Rigid-Variable Methods
Sort
View
JAPLL
2007
101views more  JAPLL 2007»
15 years 6 months ago
Data-driven type checking in open domain question answering
Many open domain question answering systems answer questions by first harvesting a large number of candidate answers, and then picking the most promising one from the list. One c...
Stefan Schlobach, David Ahn, Maarten de Rijke, Val...
188
Voted
JEI
2007
199views more  JEI 2007»
15 years 6 months ago
New benchmark for image segmentation evaluation
Image segmentation and its performance evaluation are very difficult but important problems in computer vision. A major challenge in segmentation evaluation comes from the fundame...
Feng Ge, Song Wang, Tiecheng Liu
ICFCA
2007
Springer
15 years 10 months ago
Performances of Galois Sub-hierarchy-building Algorithms
Abstract. The Galois Sub-hierarchy (GSH) is a polynomial-size representation of a concept lattice which has been applied to several fields, such as software engineering and linguis...
Gabriela Arévalo, Anne Berry, Marianne Huch...
CASC
2006
Springer
100views Mathematics» more  CASC 2006»
15 years 10 months ago
Reducing Computational Costs in the Basic Perturbation Lemma
Homological Perturbation Theory [11, 13] is a well-known general method for computing homology, but its main algorithm, the Basic Perturbation Lemma, presents, in general, high com...
Ainhoa Berciano, María José Jim&eacu...
NIPS
2004
15 years 8 months ago
Solitaire: Man Versus Machine
In this paper, we use the rollout method for policy improvement to analyze a version of Klondike solitaire. This version, sometimes called thoughtful solitaire, has all cards reve...
Xiang Yan, Persi Diaconis, Paat Rusmevichientong, ...