—The main approaches to high speed measurement in routers are traffic sampling, and sketching. However, it is not known which paradigm is inherently better at extracting informa...
Abstract. This paper presents new results on the decidability of inductive validity of conjectures. For these results, a class of term rewrite systems (TRSs) with built-in linear i...
Abstract. In the context of stroke therapy simulation, a method for the segmentation and reconstruction of human vasculature is presented and evaluated. Based on CTA scans, semi-au...
Vincent Luboz, Xunlei Wu, Karl Krissian, Carl-Fred...
We introduce a controlled form of recursion in XQuery, an inflationary fixed point operator, familiar from the context of relational databases. This operator imposes restriction...
Emotions as such is a research topic with a lot of coverage in various domains (neuroscience, psychology, medicine, criminology and more recently in user experience research). Thi...