Sciweavers

1257 search results - page 92 / 252
» A Novel Sequencer Hardware for Application Specific Computin...
Sort
View
KBSE
1999
IEEE
15 years 10 months ago
An ML Editor Based on Proofs-As-Programs
CYNTHIA is a novel editor for the functional programming language ML in which each function definition is represented as the proof of a simple specification. Users of CYNTHIA edit...
Jon Whittle, Alan Bundy, Richard J. Boulton, Helen...
ISSS
2002
IEEE
174views Hardware» more  ISSS 2002»
15 years 11 months ago
A Run-Time Word-Level Reconfigurable Coarse-Grain Functional Unit for a VLIW Processor
Nowadays, new DSP applications are offering combined and flexible multimedia and telecom services. VLIW processor architectures, which include dedicated but inflexible functional ...
Carles Rodoreda Sala, Natalino G. Busá
ICCV
1999
IEEE
16 years 8 months ago
Fluid Motion Recovery by Coupling Dense and Parametric Vector Fields
In this paper we address the problem of estimating and analyzing the motion in image sequences that involve fluid phenomena. In this context standard motion estimation techniques ...
Étienne Mémin, Patrick Pérez
CGF
2005
167views more  CGF 2005»
15 years 6 months ago
Adaptive Deformable Models for Graphics and Vision
Deformable models are a powerful tool in both computer graphics and computer vision. The description and implementation of the deformations have to be simultaneously flexible and ...
Siome Goldenstein, Christian Vogler, Luiz Velho
PERVASIVE
2005
Springer
15 years 11 months ago
Audio Location: Accurate Low-Cost Location Sensing
Audio location is a technique for performing accurate 3D location sensing using off-the-shelf audio hardware. The use of off-the-shelf hardware allows audio location deployment to ...
James Scott, Boris Dragovic