369 search results - page 4 / 74 » Arithmetic of Generalized Jacobians |
CORR
2012
Springer
12 years 1 months ago
2012
Springer
Abstract. Let R be a real closed field and D ⊂ R an ordered domain. We give an algorithm that takes as input a polynomial Q ⊂ D[X1, . . . , Xk], and computes a description of ...
AROBOTS
1999
13 years 5 months ago
1999
This analytic and experimental study proposes a control algorithm for coordinated position and force control for autonomous multi-limbed mobile robotic systems. The technique is ca...
DAC
2005
ACM
13 years 7 months ago
2005
ACM
We propose a normalization technique for verifying arithmetic circuits in a bounded model checking environment. Our technique operates on the arithmetic bit level (ABL) descriptio...
SIGMOD
2012
ACM
11 years 8 months ago
2012
ACM
While extensive work has been done on evaluating queries over tuple-independent probabilistic databases, query evaluation over correlated data has received much less attention eve...
COCO
2009
Springer
14 years 10 days ago
2009
Springer
In this paper we give reconstruction algorithms for depth-3 arithmetic circuits with k multiplication gates (also known as ΣΠΣ(k) circuits), where k = O(1). Namely, we give an ...