Sciweavers

5799 search results - page 701 / 1160
» Patterns Generate Architectures
Sort
View
ECOOPW
1998
Springer
15 years 11 months ago
A Rational Approach to Portable High Performance: The Basic Linear Algebra Instruction Set (BLAIS) and the Fixed Algorithm Size
Abstract. We introduce a collection of high performance kernels for basic linear algebra. The kernels encapsulate small xed size computations in order to provide building blocks fo...
Jeremy G. Siek, Andrew Lumsdaine
FMICS
2006
Springer
15 years 10 months ago
Can Saturation Be Parallelised?
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...
Jonathan Ezekiel, Gerald Lüttgen, Radu Simini...
DICTA
2007
15 years 8 months ago
Efficient Image Processing with the Apply Language
Apply is a Domain-Specific Language for image processing and low-level computer vision. Apply allows programmers to write kernel operations that focus on the computation for a sin...
Leonard G. C. Hamey
LREC
2008
128views Education» more  LREC 2008»
15 years 8 months ago
Unsupervised Lexical Acquisition for Part of Speech Tagging
It is known that POS tagging is not very accurate for unknown words (words which the POS tagger has not seen in the training corpora). Thus, a first step to improve the tagging ac...
Dan Tufis, Elena Irimia, Radu Ion, Alexandru Ceaus...
GAMEON
2003
15 years 8 months ago
Automatic Acquisition of Actions for Animated Agents
The generation of animated human figures especially in crowd scenes has many applications in such domains as the special effects industry, computer games or for the simulation of ...
Adam Szarowicz, Marek Mittmann, Paolo Remagnino, J...