Abstract. In Service Oriented Architectures (SOAs) services invoked in a composition can be replaced by other services, which are possibly discovered and bound at runtime. Most of ...
Luca Cavallaro, Elisabetta Di Nitto, Matteo Pradel...
Abstract. The Matrix-Pencil approach to blind source separation estimates the mixing matrix from the Generalized Eigenvalue Decomposition (GEVD), or Exact Joint Diagonalization, of...
The web data or data originated on the Web contain information and knowledge which allows improving web site efficiency and effectiveness to attract and retain visitors. However, w...
Most accurate predictions are typically obtained by learning machines with complex feature spaces (as e.g. induced by kernels). Unfortunately, such decision rules are hardly access...
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
Nick Benton, Andrew Kennedy, Lennart Beringer, Mar...