2702 search results - page 270 / 541 » Practically Applicable Formal Methods |
107
click to vote
SPIRE
2009
Springer
15 years 9 months ago
2009
Springer
We introduce a symbol reordering technique that implicitly synchronizes variable-length codes, such that it is possible to directly access the i-th codeword without need of any sam...
127
click to vote
ISSAC
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents an algorithm and its implementation for computing the approximate GCD (greatest common divisor) of multivariate polynomials whose coefficients may be inexact. ...
103
click to vote
ICRA
2003
IEEE
15 years 7 months ago
2003
IEEE
— This paper addresses the problem of impedance control for flexible joint robots based on a singular perturbation approach. Some aspects of the impedance controller, which turn...
125
click to vote
PKC
2001
Springer
15 years 7 months ago
2001
Springer
Quite recently, in [4], a new time-memory tradeoff algorithm was presented. The original goal of this algorithm was to count the number of points on an elliptic curve, however, th...
104
click to vote
KI
2006
Springer
15 years 2 months ago
2006
Springer
Due to their simple and intuitive manner rules are often used for the implementation of intelligent systems. Besides general methods for the verification and validation of rule sys...