Sciweavers

8647 search results - page 1508 / 1730
» The Container Selection Problem
Sort
View
127
Voted
CG
2002
Springer
15 years 3 months ago
PDS-PN: A New Proof-Number Search Algorithm
Abstract. The paper introduces a new proof-number (PN) search algorithm, called PDS-PN. It is a two-level search, which performs at the first level a depth-first Proof-number and D...
Mark H. M. Winands, Jos W. H. M. Uiterwijk, H. Jaa...
150
Voted
CSCW
2002
ACM
15 years 3 months ago
Contact management: identifying contacts to support long-term communication
Much of our daily communication activity involves managing interpersonal communications and relationships. Despite its importance, this activity of contact management is poorly un...
Steve Whittaker, Quentin Jones, Loren G. Terveen
127
Voted
IR
2000
15 years 3 months ago
End-User Searching Challenges Indexing Practices in the Digital Newspaper Photo Archive
: Previous research in conceptual indexing methods of images has furnished us with refined theoretical frameworks characterising various aspects of images that could and should be ...
Marjo Markkula, Eero Sormunen
143
Voted
JAR
2000
97views more  JAR 2000»
15 years 3 months ago
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
157
Voted
ML
2000
ACM
244views Machine Learning» more  ML 2000»
15 years 3 months ago
Learnable Evolution Model: Evolutionary Processes Guided by Machine Learning
A new class of evolutionary computation processes is presented, called Learnable Evolution Model or LEM. In contrast to Darwinian-type evolution that relies on mutation, recombinat...
Ryszard S. Michalski
« Prev « First page 1508 / 1730 Last » Next »