573 search results - page 83 / 115 » On Wiedemann's Method of Solving Sparse Linear Systems |
RECOMB
2005
Springer
14 years 9 months ago
2005
Springer
Background: Support Vector Machines (SVMs) ? using a variety of string kernels ? have been successfully applied to biological sequence classification problems. While SVMs achieve ...
CVPR
2004
IEEE
14 years 11 months ago
2004
IEEE
Active contour models are among the most popular PDE-based tools in computer vision. In this paper we present a new algorithm for the fast evolution of geodesic active contours an...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— In this paper we present four methods for the identification of the inertial parameters of the load of a manipulator. The knowledge of the values of these parameters can be use...
CADE
2005
Springer
14 years 9 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
ICIP
2009
IEEE
14 years 10 months ago
2009
IEEE
This paper addresses the problem of mapping images between different vision sensors. Such a mapping could be modeled as a sampling problem that has to encompass the change of geom...