10435 search results - page 82 / 2087 » Measuring system normality |
102
Voted
USENIX
2001
15 years 3 months ago
2001
125
click to vote
CCL
1994
Springer
15 years 6 months 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...
157
Voted
MCMASTER
1993
15 years 6 months 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...
106
Voted
ICRA
2008
IEEE
15 years 9 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â...
115
Voted
ISBI
2007
IEEE
15 years 8 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...