8874 search results - page 5 / 1775 » A New Implementation of Automath |
ICAISC
2010
Springer
14 years 2 months ago
2010
Springer
This paper presents a new implementation of the co-VAT algorithm. We assume we have an m × n matrix D, where the elements of D are pair-wise dissimilarities between m row objects ...
ISER
2000
Springer
14 years 1 months ago
2000
Springer
: This paper presents a new 3-D design of a discretely-actuated robot manipulator powered by binary actuators. Binary actuators have two stable states, which are, for example, clos...
ISCAS
2003
IEEE
14 years 3 months ago
2003
IEEE
In this paper we present the tau-cell, a building block based on a log-domain low-pass filter, which allows the creation of arbitrary differential equations using a cascade of the...
CHI
2006
ACM
14 years 10 months ago
2006
ACM
Recent advances in programming environments have focused on improving programmer productivity by utilizing the inherent structure in computer programs. However, because these envi...
ISCC
2003
IEEE
14 years 3 months ago
2003
IEEE
Perfect Secrecy can only be achieved in multicast groups by ciphering data sent to the group with a different key every time a member joins or leaves the group. A Key Server must ...