Search Sciweavers | Sciweavers

18429 search results - page 358 / 3686

» Typing dynamic typing

134

click to vote

SLP
1993

91views more SLP 1993»

Unification in a Lambda-Calculus with Intersection Types

15 years 8 months ago

Download kwarc.info

Michael Kohlhase, Frank Pfenning

claim paper

Read More »

106

Voted

ACL
1990

69views Computational Linguistics» more ACL 1990»

Types in Functional Unification Grammars

15 years 8 months ago

Download www.cs.bgu.ac.il

: 110 words Article: 3050 words

Michael Elhadad

claim paper

Read More »

164

Voted

LFP
1990

96views more LFP 1990»

Static Dependent Types for First Class Modules

15 years 8 months ago

Download www.psrg.lcs.mit.edu

Mark A. Sheldon, David K. Gifford

claim paper

Read More »

220

click to vote

TREC
2007

148views Information Technology» more TREC 2007»

IITD-IBMIRL System for Question Answering Using Pattern Matching, Semantic Type and Semantic Category Recognition

15 years 8 months ago

Download trec.nist.gov

A Question Answering (QA) system aims to return exact answers to natural language questions. While today information retrieval techniques are quite successful at locating within l...

Ashish Kumar Saxena, Ganesh Viswanath Sambhu, Saro...

claim paper

Read More »

108

click to vote

CLEF
2010
Springer

183views Information Technology» more CLEF 2010»

Phrases or Terms? The Impact of Different Query Types

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers