25 search results - page 1 / 5 » On the Resolution of Index Form Equations |
ISSAC
1991
Springer
13 years 8 months ago
1991
Springer
In the present paper we describe a new algorithm to determine the minimal index and all elements with minimal index in totally real biquadratic fields with Galois group D8. The m...
IFIPTCS
2010
13 years 2 months ago
2010
We present a restriction of Resolution modulo where the rewrite rules are such that clauses rewrite to clauses, so that the reduct of a clause needs not be further transformed into...
ICDAR
2003
IEEE
13 years 10 months ago
2003
IEEE
Zoning documents increases the resolution of indexing from the image level to the field level. A line-delimited tabular document forms a well defined series of regions. However,...
ICRA
2009
IEEE
13 years 11 months ago
2009
IEEE
— This paper presents inverse position kinematics algorithms with real time capability for Justin, a robotic system with high redundancy and many degrees of freedom. The combinat...
CDC
2009
IEEE
13 years 8 months ago
2009
IEEE
Abstract— This paper addresses a problem of finding an optimal dynamic quantizer for nonlinear control subject to discretevalued signal constraints. The quantizers to be studied...