369 search results - page 4 / 74 » Arithmetic of Generalized Jacobians |
110
click to vote
CORR
2012
Springer
13 years 9 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 ...
132
Voted
AROBOTS
1999
15 years 1 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...
129
click to vote
DAC
2005
ACM
15 years 3 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...
175
click to vote
SIGMOD
2012
ACM
13 years 4 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...
110
click to vote
COCO
2009
Springer
15 years 8 months 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 ...