1454 search results - page 4 / 291 » Learning and Extending Sublanguages |
TPHOL
1995
IEEE
13 years 9 months ago
1995
IEEE
This paper presents a survey of HOLCF, a higher order logic of computable functions. The logic HOLCF is based on HOLC, a variant of the well known higher order logic HOL, which o e...
FUIN
2008
13 years 5 months ago
2008
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...
ICML
2000
IEEE
14 years 6 months ago
2000
IEEE
PR
2006
13 years 5 months ago
2006
Relevant component analysis (RCA) is a recently proposed metric learning method for semi-supervised learning applications. It is a simple and efficient method that has been applie...
EWSPT
1995
Springer
13 years 9 months ago
1995
Springer
The paper describes the different phases and subdomains of process modelling and their needs for conceptual and linguistic support, and in what forms. We group the relevant factor...