199 search results - page 6 / 40 » The Residue Logarithmic Number System: Theory and Implementa... |
87
Voted
AUTOMATICA
2004
14 years 9 months ago
2004
This paper deals with feedback controller synthesis for timed event graphs in dioids, where the number of initial tokens and time delays are only known to belong to intervals. We ...
93
Voted
ICFP
2003
ACM
15 years 9 months ago
2003
ACM
I describe the mechanisation in HOL of some basic -calculus theory, using the axioms proposed by Gordon and Melham [4]. Using these as a foundation, I mechanised the proofs from C...
ARITH
1999
IEEE
15 years 1 months ago
1999
IEEE
This paper presents mathematical foundtions of the Overlap Resolution Number System (ORNS) which employs signed Continuous Valued Digits (CVD's). ORNS is a redundant Number S...
184
Voted
GIS
2005
ACM
15 years 10 months ago
2005
ACM
A necessary step in the implementation of three-dimensional spatial data types for spatial database systems and GIS is the development of robust geometric primitives. The authors ...
69
Voted
PEPM
2007
ACM
15 years 3 months ago
2007
ACM
Having been convinced of the potential benefits of partial evaluation, we wanted to conduct some experiments in our favourite Computer Algebra System, Maple. Maple is a large lan...