Sciweavers

1217 search results - page 10 / 244
» Real Representations
Sort
View
JCSS
2011
81views more  JCSS 2011»
13 years 2 months ago
Representing real numbers in a generalized numeration system
Abstract. We show how to represent an interval of real numbers in an abstract numeration system built on a language that is not necessarily regular. As an application, we consider ...
Emilie Charlier, Marion Le Gonidec, Michel Rigo
CORR
2008
Springer
154views Education» more  CORR 2008»
13 years 7 months ago
Coinductive Formal Reasoning in Exact Real Arithmetic
In this article we present a method for formally proving the correctness of the lazy algorithms for computing homographic and quadratic transformations -- of which field operations...
Milad Niqui
ENTCS
2006
137views more  ENTCS 2006»
13 years 7 months ago
Coinductive Field of Exact Real Numbers and General Corecursion
In this article we present a method to define algebraic structure (field operations) on a representation of real numbers by coinductive streams. The field operations will be given...
Milad Niqui
DAGM
2009
Springer
14 years 2 months ago
A Stereo Depth Recovery Method Using Layered Representation of the Scene
Recent progresses in stereo research imply that performance of the disparity estimation depends on the discontinuity localization in the disparity space which is generally predicat...
Tarkan Aydin, Yusuf Sinan Akgul
ICCV
2009
IEEE
13 years 5 months ago
Non-rigid object localization and segmentation using eigenspace representation
This paper presents a novel non-rigid object localization and segmentation algorithm using an eigenspace representation. Previous approaches to eigenspace methods for object track...
Omar Arif, Patricio A. Vela