7 search results - page 1 / 2 » jiis 2008 |
JIIS
2008
13 years 4 months ago
2008
JIIS
2008
13 years 4 months ago
2008
JIIS
2008
13 years 4 months ago
2008
We use the Edit distance with Moves on words and trees and say that two regular (tree) languages are -close if every word (tree) of one language is -close to the other. A transduc...
JIIS
2008
13 years 4 months ago
2008
Flash memory is becoming a major database storage in building embedded systems or portable devices because of its non-volatile, shock-resistant, power-economic nature, and fast acc...
JIIS
2008
13 years 4 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...