cting programs and point-free abstraction [2]. In order to automatically generate the fast running code there was the need to use matrix product as the basic matrix composition ope...
We formally define a notion of credit and responsibility within the Generalized Non Deducibility on Compositions framework. We investigate the validity of our definitions through ...
A new type of Web-based applications, known as Enterprise Mashups, has been gaining momentum in the last years. Novel design principles are currently about to emerge allowing to c...
Volker Hoyer, Katarina Stanoevska-Slabeva, Till Ja...
The analysis of reading times can provide insights into the processes that underlie language comprehension, with longer reading times indicating greater cognitive load. There is e...
Jeff Mitchell, Mirella Lapata, Vera Demberg, Frank...
We address the volumetric reconstruction problem that takes as input a series of orthographic multi-energy x-ray images, producing as output a reconstructed model space consisting...
Sang N. Le, Mei Kay Lee, Shamima Banu, Anthony C. ...