Sciweavers

36781 search results - page 73 / 7357
» Parameterizing by the Number of Numbers
Sort
View
ASAP
1996
IEEE
94views Hardware» more  ASAP 1996»
14 years 2 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
13 years 11 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
13 years 11 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
SODA
2003
ACM
103views Algorithms» more  SODA 2003»
13 years 11 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»
13 years 10 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