𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Shrad: A Language for Sequential Real Number Computation

✍ Scribed by Amin Farjudian

Publisher
Springer
Year
2007
Tongue
English
Weight
577 KB
Volume
41
Category
Article
ISSN
1433-0490

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Sequential real number computation and r
Sequential real number computation and recursive relations
✍ J. Raymundo Marcial-Romero; M. Andrew Moshier πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 195 KB

## Abstract In the first author's thesis [10], a sequential language, LRT, for real number computation is investigated. That thesis includes a proof that all polynomials are programmable, but that work comes short of giving a complete characterization of the expressive power of the language even fo

Sequential localisation and map-building
Sequential localisation and map-building for real-time computer vision and robotics
✍ Andrew J. Davison; Nobuyuki Kita πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 150 KB

Reviewing the important problem of simultaneous localisation and map-building, we emphasise its genericity and in particular draw parallels between the often divided fields of computer vision and robot navigation. We compare sequential techniques with the batch methodologies currently prevalent in c