Sciweavers

6693 search results - page 661 / 1339
» Methods of Automatic Algorithm Generation
Sort
View
CIKM
1999
Springer
15 years 11 months ago
Training a Selection Function for Extraction
In this paper we compare performance of several heuristics in generating informative generic/query-oriented extracts for newspaper articles in order to learn how topic prominence ...
Chin-Yew Lin
227
Voted
SIGGRAPH
1994
ACM
15 years 11 months ago
Evolving virtual creatures
This paper describes a novel system for creating virtual creatures that move and behave in simulated three-dimensional physical worlds. The morphologies of creatures and the neura...
Karl Sims
SIGIR
2010
ACM
15 years 11 months ago
Supervised query modeling using wikipedia
We use Wikipedia articles to semantically inform the generation of query models. To this end, we apply supervised machine learning to automatically link queries to Wikipedia artic...
Edgar Meij, Maarten de Rijke
LICS
2000
IEEE
15 years 11 months ago
Efficient and Flexible Matching of Recursive Types
Equality and subtyping of recursive types have been studied in the 1990s by Amadio and Cardelli; Kozen, Palsberg, and Schwartzbach; Brandt and Henglein; and others. Potential appl...
Jens Palsberg, Tian Zhao
ESOP
2008
Springer
15 years 9 months ago
Semi-persistent Data Structures
A data structure is said to be persistent when any update operation returns a new structure without altering the old version. This paper introduces a new notion of persistence, cal...
Sylvain Conchon, Jean-Christophe Filliâtre