10435 search results - page 82 / 2087 » Measuring system normality |
USENIX
2001
13 years 10 months ago
2001
CCL
1994
Springer
14 years 29 days ago
1994
Springer
We introduce a modular property of equational proofs, called modularity of normalization, for the union of term rewrite systems with shared symbols. The idea is, that every normali...
MCMASTER
1993
14 years 29 days ago
1993
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
— This paper describes a 2D localization method for a differential drive mobile vehicle on real forested paths. The mobile vehicle is equipped with two rotary encoders, Crossbowâ...
ISBI
2007
IEEE
14 years 3 months ago
2007
IEEE
We address the problem of exact signal recovery in frequency domain optical coherence tomography (FDOCT) systems. Our technique relies on the fact that, in a spectral interferomet...