Sciweavers

4716 search results - page 435 / 944
» Tangible functional programming
Sort
View
AIIA
2005
Springer
16 years 12 days ago
Agent-Based Management of Responsive Environments
Responsive environments are physical surroundings whose components change their behaviour to accommodate the presence of people as well as other components. We describe a means to ...
Flávio S. Corrêa da Silva, Wamberto W...
149
Voted
TBILLC
2005
Springer
16 years 10 days ago
Natural Logic for Natural Language
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ï...
Jan van Eijck
ICCS
2003
Springer
16 years 2 days ago
A Parallel Virtual Machine for Bulk Synchronous Parallel ML
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 ...
Frédéric Gava, Frédéri...
191
Voted
CSFW
2000
IEEE
15 years 11 months ago
Reasoning about Secrecy for Active Networks
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...
Pankaj Kakkar, Carl A. Gunter, Martín Abadi
180
Voted
IJCNN
2000
IEEE
15 years 11 months ago
Support Vector Machine for Regression and Applications to Financial Forecasting
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...
Theodore B. Trafalis, Huseyin Ince