Sciweavers

2717 search results - page 201 / 544
» Evaluation in Context
Sort
View
INFOCOM
2011
IEEE
14 years 10 months ago
Sampling vs sketching: An information theoretic comparison
—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...
Paul Tune, Darryl Veitch
CADE
2012
Springer
13 years 9 months ago
Rewriting Induction + Linear Arithmetic = Decision Procedure
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...
Stephan Falke, Deepak Kapur
MICCAI
2005
Springer
16 years 7 months ago
A Segmentation and Reconstruction Technique for 3D Vascular Structures
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...
EDBT
2009
ACM
85views Database» more  EDBT 2009»
16 years 1 months ago
Recursion in XQuery: put your distributivity safety belt on
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...
Loredana Afanasiev, Torsten Grust, Maarten Marx, J...
MHCI
2009
Springer
16 years 1 months ago
Measuring Mobile Emotions: Measuring the Impossible?
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...
Arjan Geven, Manfred Tscheligi, Lucas Noldus