Sciweavers

12742 search results - page 30 / 2549
» On canonical number systems
Sort
View
ARITH
1995
IEEE
15 years 1 months ago
Semi-Logarithmic Number Systems
—We present a new class of number systems, called Semi-Logarithmic Number Systems, that constitute a family of various compromises between floating-point and logarithmic number s...
Jean-Michel Muller, Arnaud Tisserand, Alexandre Sc...
CORR
2010
Springer
140views Education» more  CORR 2010»
14 years 9 months ago
Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...
William Lovas, Frank Pfenning
ACCV
2010
Springer
14 years 11 months ago
Abstraction and Generalization of 3D structure for recognition in large intra-class variation
Humans have abstract models for object classes which helps recognize previously unseen instances, despite large intra-class variations. Also objects are grouped into classes based...
Gowri Somanath, Chandra Kambhamettu
ARITH
2001
IEEE
15 years 1 months ago
The Use of the Multi-Dimensional Logarithmic Number System in DSP Applications
A recently introduced double-base number representation has proved to be successful in optimizing the performance of several algorithms in cryptography and digital signal processi...
Vassil S. Dimitrov, Jonathan Eskritt, Laurent Imbe...
MSV
2004
14 years 11 months ago
On the Conversion between Number Systems
This brief revisits the problem of conversion between number systems and asks the following question: given a nonnegative decimal number , what is the value of the digit at positio...
Houssain Kettani