203 search results - page 32 / 41 » A New Notation for Arrows |
ACMACE
2009
ACM
13 years 8 months ago
2009
ACM
In this paper we present a novel approach to writing music on handheld pen-based devices which has been developed during the implementation of MusicMan, our pen-based music score ...
CRYPTO
2010
Springer
13 years 8 months ago
2010
Springer
We reinvestigate the oblivious RAM concept introduced by Goldreich and Ostrovsky, which enables a client, that can store locally only a constant amount of data, to store remotely ...
ADBIS
2010
Springer
13 years 7 months ago
2010
Springer
The problem of designing suitable conceptual modeling languages for system engineering is far from being solved. In the past years, some works have proposed the use of foundational...
BMCBI
2008
13 years 7 months ago
2008
Background: Metabolic networks present a complex interconnected structure, whose understanding is in general a non-trivial task. Several formal approaches have been developed to s...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...