Sciweavers

1217 search results - page 10 / 244
» Real Representations
Sort
View
129
Voted
JCSS
2011
81views more  JCSS 2011»
14 years 10 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
109
Voted
CORR
2008
Springer
154views Education» more  CORR 2008»
15 years 3 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
120
Voted
ENTCS
2006
137views more  ENTCS 2006»
15 years 3 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
144
Voted
DAGM
2009
Springer
15 years 10 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
140
Voted
ICCV
2009
IEEE
15 years 1 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