Sciweavers

1335 search results - page 136 / 267
» The Consistency of Web Conversations
Sort
View
PLDI
2005
ACM
15 years 11 months ago
Formal loop merging for signal transforms
A critical optimization in the domain of linear signal transforms, such as the discrete Fourier transform (DFT), is loop merging, which increases data locality and reuse and thus ...
Franz Franchetti, Yevgen Voronenko, Markus Pü...
ACII
2005
Springer
15 years 11 months ago
The Properties of DaFEx, a Database of Kinetic Facial Expressions
In this paper we present an evaluation study for DaFEx (Database of Facial Expressions), a database created with the purpose of providing a benchmark for the evaluation of the faci...
Alberto Battocchi, Fabio Pianesi, Dina Goren-Bar
ISCAS
2003
IEEE
97views Hardware» more  ISCAS 2003»
15 years 11 months ago
A multi-level static memory cell
This paper introduces a static multi-level memory cell that was conceived to store state variables in neuromorphic onchip learning applications. It consists of a capacitance that ...
Philipp Häfliger, Håvard Kolle Riis
MODELS
2009
Springer
15 years 10 months ago
From UML to Alloy and Back Again
Abstract. Model Transformations can be used to bridge the gap between design and analysis technical spaces by creating tools that allow a model produced by a designer to be transfo...
Seyyed M. A. Shah, Kyriakos Anastasakis, Behzad Bo...
SIGGRAPH
2010
ACM
15 years 10 months ago
Discrete scale axis representations for 3D geometry
This paper addresses the fundamental problem of computing stable medial representations of 3D shapes. We propose a spatially adaptive classification of geometric features that yi...
Balint Miklos, Joachim Giesen, Mark Pauly