3624 search results - page 313 / 725 » Abstract Algebraic Logic |
199
click to vote
JCT
2008
15 years 6 months ago
2008
ABSTRACT. In this paper we give a lower bound for the least distortion embedding of a distance regular graph into Euclidean space. We use the lower bound for finding the least dist...
148
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We give a survey of algorithms for computing topological invariants of semi-algebraic sets with special emphasis on the more recent developments in designing algorithms f...
109
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract: Non-linear state estimation and some related topics, like parametric estimation, fault diagnosis, and perturbation attenuation, are tackled here via a new methodology in ...
136
click to vote
LISP
2006
15 years 6 months ago
2006
Abstract. Defunctionalization is a program transformation that eliminates functions as first-class values. We show that defunctionalization can be viewed as a type-preserving trans...
186
click to vote
SIAMCOMP
2008
15 years 6 months ago
2008
Abstract. We present efficient compression algorithms for subgroups of multiplicative groups of finite fields, we use our compression algorithms to construct efficient public key c...