Sciweavers

18209 search results - page 398 / 3642
» Some Remarks on the Paper
Sort
View
ISW
2007
Springer
16 years 1 months ago
Specifying Imperative Data Obfuscations
Abstract. An obfuscation aims to transform a program, without affecting the functionality, so that some secret information within the program can be hidden for as long as possible...
Stephen Drape, Clark D. Thomborson, Anirban Majumd...
KES
2007
Springer
16 years 1 months ago
Making Financial Trading by Recurrent Reinforcement Learning
In this paper we propose a financial trading system whose strategy is developed by means of an artificial neural network approach based on a recurrent reinforcement learning algo...
Francesco Bertoluzzo, Marco Corazza
KI
2007
Springer
16 years 1 months ago
Imagining Contexts
Abstract. The aim of this paper is to present a formal semantics inspired by the notion of Mental Imagery, largely researched in Cognitive Science and Experimental Psychology, that...
Ander Altuna
LPAR
2007
Springer
16 years 1 months ago
Permutative Additives and Exponentials
Abstract. Permutative logic (PL) is a noncommutative variant of multiplicative linear logic (MLL) arising from recent investigations concerning the topology of linear proofs. Permu...
Gabriele Pulcini
PVM
2007
Springer
16 years 1 months ago
Self-consistent MPI Performance Requirements
Abstract. The MPI Standard does not make any performance guarantees, but users expect (and like) MPI implementations to deliver good performance. A common-sense expectation of perf...
Jesper Larsson Träff, William Gropp, Rajeev T...