1224 search results - page 151 / 245 » Concept Search |
95
Voted
TYPES
1999
Springer
15 years 5 months ago
1999
Springer
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...
113
Voted
EP
1998
Springer
15 years 5 months ago
1998
Springer
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...
122
Voted
PPSN
1998
Springer
15 years 5 months ago
1998
Springer
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...
91
Voted
ICMCS
1997
IEEE
15 years 5 months ago
1997
IEEE
– 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...
111
Voted
COOPIS
2004
IEEE
15 years 4 months ago
2004
IEEE
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...