573 search results - page 83 / 115 » On Wiedemann's Method of Solving Sparse Linear Systems |
165
click to vote
RECOMB
2005
Springer
16 years 6 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 ...
177
click to vote
CVPR
2004
IEEE
16 years 8 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...
131
Voted
ICRA
2007
IEEE
16 years 11 days 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...
180
click to vote
CADE
2005
Springer
16 years 6 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...
135
click to vote
ICIP
2009
IEEE
16 years 7 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...