Sciweavers

3113 search results - page 291 / 623
» Numerical Methods
Sort
View
CVPR
2010
IEEE
15 years 11 months ago
Visual Recognition using Mappings that Replicate Margins
We consider the problem of learning to map between two vector spaces given pairs of matching vectors, one from each space. This problem naturally arises in numerous vision problem...
Lior Wolf, Nathan Manor
IFL
2001
Springer
146views Formal Methods» more  IFL 2001»
15 years 11 months ago
Optimizations on Array Skeletons in a Shared Memory Environment
Map- and fold-like skeletons are a suitable abstractions to guide parallel program execution in functional array processing. However, when it comes to achieving high performance, i...
Clemens Grelck
ACPC
1999
Springer
15 years 10 months ago
Asynchronous Parallel Construction of Recursive Tree Hierarchies
Multi-resolution methods are widely used in scientific visualization, image processing, and computer graphics. While many applications only require an one-time construction of the...
Dirk Bartz, Wolfgang Straßer
SAS
1999
Springer
15 years 10 months ago
Polyhedral Analysis for Synchronous Languages
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
Frédéric Besson, Thomas P. Jensen, J...
IFL
1998
Springer
113views Formal Methods» more  IFL 1998»
15 years 10 months ago
Shared Memory Multiprocessor Support for SAC
Abstract. Sac (Single Assignment C) is a strict, purely functional programming language primarily designed with numerical applications in mind. Particular emphasis is on efficient ...
Clemens Grelck