Sciweavers

1224 search results - page 151 / 245
» Concept Search
Sort
View
95
Voted
TYPES
1999
Springer
15 years 5 months ago
Information Retrieval in a Coq Proof Library Using Type Isomorphisms
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
David Delahaye
113
Voted
EP
1998
Springer
15 years 5 months ago
Measuring Structural Similarity Among Web Documents: Preliminary Results
When we describe a Web page informally, we often use phrases like it looks like a newspaper site", there are several unordered lists" or it's just a collection of li...
Isabel F. Cruz, Slava Borisov, Michael A. Marks, T...
122
Voted
PPSN
1998
Springer
15 years 5 months ago
A Decoder-Based Evolutionary Algorithm for Constrained Parameter Optimization Problems
Several methods have been proposed for handling nonlinear constraints by evolutionary algorithms for numerical optimization problems; a survey paper [7] provides an overview of var...
Slawomir Koziel, Zbigniew Michalewicz
91
Voted
ICMCS
1997
IEEE
100views Multimedia» more  ICMCS 1997»
15 years 5 months ago
A System for Customized News Delivery from Video Archives
– Video is a powerful medium for disseminating news as information. Like any other information, techniques are required to help search and locate interesting video content. In th...
Gulrukh Ahanger, Thomas D. C. Little
111
Voted
COOPIS
2004
IEEE
15 years 4 months ago
Supporting Similarity Operations Based on Approximate String Matching on the Web
Querying and integrating sources of structured data from the Web in most cases requires similarity-based concepts to deal with data level conflicts. This is due to the often errone...
Eike Schallehn, Ingolf Geist, Kai-Uwe Sattler