8669 search results - page 1538 / 1734 » Computing matrix representations |
101
click to vote
CIE
2005
Springer
15 years 7 months ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
144
click to vote
CIKM
2005
Springer
15 years 7 months ago
2005
Springer
We present data representations, distance measures and organizational structures for fast and efficient retrieval of similar shapes in image databases. Using the Hough Transform w...
128
click to vote
DCOSS
2005
Springer
15 years 7 months ago
2005
Springer
Tracking is one of the major applications of wireless sensor networks. EnviroSuite, as a programming paradigm, provides a comprehensive solution for programming tracking applicatio...
FIMH
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This paper describes a method for automatic contour detection in long-axis cardiac MRI using an adaptive virtual exploring robot. The robot is a simulated trained virtual...
113
click to vote
FMCO
2005
Springer
15 years 7 months ago
2005
Springer
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...