4719 search results - page 437 / 944 » Spreadsheet functional programming |
136
click to vote
TBILLC
2005
Springer
15 years 12 months ago
2005
Springer
We implement the extension of the logical consequence relation to a partial order ≤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the deï...
165
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
We have designed a functional data-parallel language called BSML for programming bulk-synchronous parallel (BSP) algorithms. The execution time can be estimated and dead-locks and ...
174
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...
175
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...
162
Voted
CSMR
1998
IEEE
15 years 10 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...