7978 search results - page 1395 / 1596 » Representation before computation |
153
click to vote
CIE
2005
Springer
16 years 3 days 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...
192
click to vote
CIKM
2005
Springer
16 years 3 days 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...
194
click to vote
DCOSS
2005
Springer
16 years 3 days 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...
152
click to vote
FIMH
2005
Springer
16 years 2 days 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...
194
click to vote
FORMATS
2005
Springer
16 years 2 days ago
2005
Springer
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...