3482 search results - page 301 / 697 » In Praise of Numerical Computation |
152
click to vote
DATE
2005
IEEE
16 years 8 days ago
2005
IEEE
As technology scales down, the static power is expected to become a significant fraction of the total power. The exponential dependence of static power with the operating temperat...
189
click to vote
ICRA
2005
IEEE
16 years 8 days ago
2005
IEEE
— We present a fast method for solving rigid body contact problems with friction, based on optimizations incorporated into Lemke’s algorithm for solving linear complementarity ...
152
click to vote
ICCSA
2005
Springer
16 years 5 days ago
2005
Springer
This article discusses the modelling and the evaluation of process of electronic signature (ES). According to a certain point of view, this process can be shown as a class of Dynam...
153
click to vote
ISSAC
2005
Springer
16 years 5 days ago
2005
Springer
This paper describes a new method for computing the normal form of a polynomial modulo a zero-dimensional ideal I. We give a detailed description of the algorithm, a proof of its ...
150
click to vote
RTA
2005
Springer
16 years 4 days ago
2005
Springer
Abstract In order to extend the modeling capabilities of rewriting systems, it is rather natural to consider that the firing of rules can be subject to some probabilistic laws. Co...