Sciweavers

1999 search results - page 236 / 400
» Dependently Typed Grammars
Sort
View
DSD
2010
IEEE
162views Hardware» more  DSD 2010»
15 years 5 months ago
A Parallel for Loop Memory Template for a High Level Synthesis Compiler
—We propose a parametrized memory template for applications with parallel for loops. The template’s parameters reflect important trade-offs made during system design. The temp...
Craig Moore, Wim Meeus, Harald Devos, Dirk Strooba...
IVA
2010
Springer
15 years 5 months ago
How a Virtual Agent Should Smile? - Morphological and Dynamic Characteristics of Virtual Agent's Smiles
A smile may communicate different meanings depending on subtle characteristics of the facial expression. In this article, we have studied the morphological and dynamic characteris...
Magalie Ochs, Radoslaw Niewiadomski, Catherine Pel...
MA
2010
Springer
147views Communications» more  MA 2010»
15 years 5 months ago
On asymptotic normality of sequential LS-estimate for unstable autoregressive process AR(2)
For estimating parameters in an unstable AR(2) model, the paper proposes a sequential least squares estimate with a special stopping time defined by the trace of the observed Fis...
Leonid Galtchouk, Victor Konev
MICCAI
2010
Springer
15 years 5 months ago
A Geometry-Based Particle Filtering Approach to White Matter Tractography
Abstract. We introduce a fibre tractography framework based on a particle filter which estimates a local geometrical model of the underlying white matter tract, formulated as a ...
Peter Savadjiev, Yogesh Rathi, James G. Malcolm, M...
PKDD
2010
Springer
152views Data Mining» more  PKDD 2010»
15 years 4 months ago
CET: A Tool for Creative Exploration of Graphs
We present a tool for interactive exploration of graphs that integrates advanced graph mining methods in an interactive visualization framework. The tool enables efficient explorat...
Stefan Haun, Andreas Nürnberger, Tobias K&oum...