Sciweavers

557 search results - page 18 / 112
» A Type-Coercion Problem in Computer Algebra
Sort
View
ICCSA
2007
Springer
14 years 1 months ago
An Automatic Correction Tool for Relational Algebra Queries
Abstract. Relational algebra is one of the main topics covered in undergraduate computer science database courses. In this paper, we present a web-based tool designed to automatica...
Josep Soler, Imma Boada, Ferran Prados, Jordi Poch...
CORR
2007
Springer
113views Education» more  CORR 2007»
13 years 7 months ago
Geometry and the complexity of matrix multiplication
We survey results in algebraic complexity theory, focusing on matrix multiplication. Our goals are (i.) to show how open questions in algebraic complexity theory are naturally pose...
J. M. Landsberg
EUROPAR
1998
Springer
13 years 11 months ago
Parallel Sparse Matrix Computations Using the PINEAPL Library: A Performance Study
Abstract. The Numerical Algorithms Group Ltd is currently participating in the European HPCN Fourth Framework project on Parallel Industrial NumErical Applications and Portable Lib...
Arnold R. Krommer
SODA
2010
ACM
163views Algorithms» more  SODA 2010»
14 years 5 months ago
Geometric optimization and sums of algebraic functions
We present a new optimization technique that yields the first FPTAS for several geometric problems. These problems reduce to optimizing a sum of non-negative, constant description...
Antoine Vigneron
CVPR
2008
IEEE
14 years 9 months ago
A general solution to the P4P problem for camera with unknown focal length
This paper presents a general solution to the determination of the pose of a perspective camera with unknown focal length from images of four 3D reference points. Our problem is a...
Martin Bujnak, Tomás Pajdla, Zuzana Kukelov...