Sciweavers

36781 search results - page 73 / 7357
» Parameterizing by the Number of Numbers
Sort
View
ASAP
1996
IEEE
94views Hardware» more  ASAP 1996»
15 years 8 months ago
A New Euclidean Division Algorithm For Residue Number Systems
We propose in this paper a new algorithm and architecture for performing divisions in residue number systems. Our algorithm is suitable for residue number systems with large modul...
Jean-Claude Bajard, Laurent-Stéphane Didier...
CSC
2006
15 years 5 months ago
A Hybrid Number Representation Scheme Based on Symmetric Level-Index Arithmetic
- Symmetric level-index arithmetic was introduced to overcome the problems of overflow and underflow in scientific computations. A hybrid SLI-FLP number system, together with some ...
Xunyang Shen, Peter Turner
DLOG
2001
15 years 5 months ago
Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions
This paper investigates an optimization technique for reasoning with qualified number restrictions in the description logic ALCQHR+ . We present a hybrid architecture where a stan...
Volker Haarslev, Martina Timmann, Ralf Möller
128
Voted
SODA
2003
ACM
103views Algorithms» more  SODA 2003»
15 years 5 months ago
On the rectilinear crossing number of complete graphs
We prove a lower bound of 0.3288   n 4¡ for the rectilinear crossing number cr(Kn) of a complete graph on n vertices, or in other words, for the minimum number of convex quadril...
Uli Wagner
ARSCOM
2008
118views more  ARSCOM 2008»
15 years 4 months ago
Proper Partitions of a Polygon and k-Catalan Numbers
Let P be a polygon whose vertices have been colored (labeled) cyclically with the numbers 1, 2, . . . , c. Motivated by conjectures of Propp, we are led to consider partitions of ...
Bruce E. Sagan