4743 search results - page 442 / 949 » Introduction to Functional Programming |
191
click to vote
CSFW
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we develop a language of mobile agents called uPLAN for describing the capabilities of active (programmable) networks. We use a formal semantics for uPLAN to demonst...
180
click to vote
IJCNN
2000
IEEE
15 years 11 months ago
2000
IEEE
The main purpose of this paper is to compare the support vector machine (SVM) developed by Vapnik with other techniques such as Backpropagation and Radial Basis Function (RBF) Net...
171
click to vote
CSMR
1998
IEEE
15 years 11 months ago
1998
IEEE
A conceptual reengineering framework is presented that proposes extract, transform and rewrite as three characteristic steps to be performed within a reengineering cycle. The cycl...
174
click to vote
PEPM
1993
ACM
15 years 11 months ago
1993
ACM
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
180
click to vote
SFP
2000
15 years 8 months ago
2000
: We describe an algorithm approximatingthe following question: Given two types t1 and t2, are there instances (t1) and (t2) denoting a common element? By answering this question w...