2740 search results - page 115 / 548 » Typing the Specialization Interface |
127
Voted
SIGIR
2012
ACM
13 years 3 months ago
2012
ACM
Aggregated search is the task of blending results from specialized search services or verticals into the Web search results. While many studies have focused on aggregated search t...
126
click to vote
TLCA
2007
Springer
15 years 7 months ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
131
click to vote
ASAP
2004
IEEE
15 years 4 months ago
2004
IEEE
Dynamic programming for approximate string matching is a large family of different algorithms, which vary significantly in purpose, complexity, and hardware utilization. Many impl...
95
Voted
EACL
1993
ACL Anthology
15 years 2 months ago
1993
ACL Anthology
A new class of formal languages will be defined the Distributed Index Languages (DI-languages). The grammar-formalism generating the new class - the DI-grammars - cover unbound de...
ENTCS
2002
15 years 18 days ago
2002
We illustrate the use of intersection types as a semantic tool for proving easiness result on -terms. We single out the notion of simple easiness for -terms as a useful semantic p...