7 search results - page 1 / 2 » jiis 2008 |
JIIS
2008
14 years 10 months ago
2008
JIIS
2008
14 years 10 months ago
2008
JIIS
2008
14 years 10 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...
91
Voted
JIIS
2008
14 years 10 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
14 years 10 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...