3591 search results - page 280 / 719 » Typing linear constraints |
190
click to vote
JFP
2000
15 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...
176
click to vote
CVPR
2005
IEEE
16 years 9 months ago
2005
IEEE
A new class of kernels for object recognition based on local image feature representations are introduced in this paper. These kernels satisfy the Mercer condition and incorporate...
179
click to vote
NAACL
2001
15 years 8 months ago
2001
This paper describes an approach to Machine Translation that places linguistic information at its foundation. The difficulty of translation from English to Japanese is illustrated...
205
click to vote
COLING
1990
15 years 8 months ago
1990
We propose an architecture for the organisation of linguistic knowledge which allows to (1) separately formulate generalizations for different types of linguistic information, and...
164
click to vote
ENTCS
2002
15 years 7 months ago
2002
ended abstract demonstrates that creating editors and environments for visual languages becomes considerably easier when restricting the class of visual languages. The presented a...