Sciweavers

8294 search results - page 1189 / 1659
» Presenting Data from Experiments in Algorithmics
Sort
View
176
Voted
ENTCS
2002
143views more  ENTCS 2002»
15 years 6 months ago
Collecting Statistics over Runtime Executions
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...
Bernd Finkbeiner, Sriram Sankaranarayanan, Henny S...
193
Voted
CLUSTER
2000
IEEE
15 years 10 months ago
Multi-Grid Acceleration of a SIMPLE-Based CFD-Code and Aspects of Parallelization
The present study treats the calculation of the continuous phase of a multiphase flow, i.e. the numerical solution of the equations for a turbulent incompressible flow. An exist...
Klaus Bernert, Thomas Frank, Hellfried Schneider, ...
WWW
2010
ACM
16 years 1 months ago
Automatic extraction of clickable structured web contents for name entity queries
Today the major web search engines answer queries by showing ten result snippets, which need to be inspected by users for identifying relevant results. In this paper we investigat...
Xiaoxin Yin, Wenzhao Tan, Xiao Li, Yi-Chin Tu
ICIP
2005
IEEE
16 years 8 months ago
Fusion of multiple viewpoint information towards 3D face robust orientation detection
This paper presents a novel approach to the problem of determining head pose estimation and face 3D orientation of several people in low resolution sequences from multiple calibra...
Cristian Canton-Ferrer, Josep R. Casas, Montse Par...
ISBI
2008
IEEE
16 years 7 months ago
Medial-based Bayesian tracking for vascular segmentation: Application to coronary arteries in 3D CT angiography
We propose a new Bayesian, stochastic tracking algorithm for the segmentation of blood vessels from 3D medical image data. Inspired by the recent developments in particle filterin...
David Lesage, Elsa D. Angelini, Isabelle Bloch, Ga...
« Prev « First page 1189 / 1659 Last » Next »