828 search results - page 29 / 166 » types 2000 |
JFP
2000
13 years 7 months ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
COLING
2000
13 years 9 months ago
2000
We will report on one of the two tasks in the IREX (Information Retrieval and Extraction Exercise) project, an evaluation-based project for Information Retrieval and Information E...
VL
2000
IEEE
14 years 1 days ago
2000
IEEE
We describe a language-independent and speciļ¬cationdriven program rendering tool that is able to produce highquality code renderings of arbitrary complexity. The tool can incorp...
IJCNN
2000
IEEE
14 years 1 days ago
2000
IEEE
The transition to democracy in South Africa has brought with it certain challenges. The main challenge is to get rid of crime and corruption.This paper presents a technique to com...
VLDB
1994
ACM
13 years 11 months ago
1994
ACM
This paper describes the design and implementation of Paradise, a database system designed for handling GIS type of applications. The current version of Paradise, uses a client{se...