Sciweavers

713 search results - page 25 / 143
» Saving Space by Algebraization
Sort
View
IPPS
2009
IEEE
15 years 11 months ago
Fast development of dense linear algebra codes on graphics processors
—We present an application programming interface (API) for the C programming language that facilitates the development of dense linear algebra algorithms on graphics processors a...
M. Jesús Zafont, Alberto F. Martín, ...
EPEW
2006
Springer
15 years 8 months ago
Functional Performance Specification with Stochastic Probes
In this paper, we introduce FPS, a mechanism to define performance measures for stochastic process algebra models. FPS is a functional performance specification language which desc...
Ashok Argent-Katwala, Jeremy T. Bradley
CORR
2002
Springer
118views Education» more  CORR 2002»
15 years 4 months ago
Instabilities of Robot Motion
Instabilities of robot motion are caused by topological reasons. In this paper we find a relation between the topological properties of a configuration space (the structure of its...
Michael Farber
CVPR
1998
IEEE
15 years 9 months ago
Projective Translations and Affine Stereo Calibration
This paper investigates the homography which transforms a set of points in projective space when undergoing a rigid translation, termed a projective translation. A representation ...
Andreas Ruf, Gabriela Csurka, Radu Horaud
CTCS
1989
Springer
15 years 8 months ago
Temporal Structures
We combine the principles of the Floyd-Warshall-Kleene algorithm, enriched categories, and Birkhoff arithmetic, to yield a useful class of algebras of transitive vertex-labeled s...
Ross Casley, Roger F. Crew, José Meseguer, ...