5122 search results - page 201 / 1025 » Comparing Consequence Relations |
136
click to vote
ICCAD
2002
IEEE
15 years 8 months ago
2002
IEEE
The paper describes the folding method of logic functions to reduce the size of memories for keeping the functions. The folding is based on the relation of fractions of logic func...
139
Voted
ICDAR
1999
IEEE
15 years 8 months ago
1999
IEEE
A method is presented for segmenting documents into conceptually related areas. Determining the equivalence of text is often based on the number of word repetitions. This approach...
132
click to vote
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
The problem of defining and checking a subtype relation between recursive types was studied in [3] for a first order type system, but for second order systems, which combine subty...
123
click to vote
LREC
2008
15 years 5 months ago
2008
The construction of a wordnet, a labour-intensive enterprise, can be significantly assisted by automatic grouping of lexical material and discovery of lexical semantic relations. ...
130
Voted
DEBU
2010
15 years 3 months ago
2010
The prevalence of free text search in web search engines has inspired recent interest in keyword search on relational databases. Whereas relational queries formally specify matchi...