8828 search results - page 1283 / 1766 » Formal methods in practice |
180
click to vote
EUROPAR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents a study of performance optimization of dense matrix multiplication on IBM Cyclops-64(C64) chip architecture. Although much has been published on how t...
203
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
We present an efficient implementation of a state of the art algorithm PixelMatch for matching all pixels within consecutive video frames. The method is of practical interest for ...
163
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Particle Swarm Optimization (PSO) is a population-based optimization method in which search points employ a cooperative strategy to move toward one another. In this paper we show ...
201
click to vote
ALT
2000
Springer
15 years 10 months ago
2000
Springer
In this paper1 we propose a new algorithm for providing confidence and credibility values for predictions on a multi-class pattern recognition problem which uses Support Vector mac...
191
click to vote
ICRA
2000
IEEE
15 years 10 months ago
2000
IEEE
By exploiting properties of the joint space mass-inertia matrix of flexure jointed hexapods, a new decoupling method is proposed. The new decoupling method, through a static input...