Sciweavers

9264 search results - page 201 / 1853
» Space Between Languages
Sort
View
IANDC
2007
117views more  IANDC 2007»
15 years 4 months ago
Computing the edit distance of a regular language
The edit distance (or Levenshtein distance) between two words is the smallest number of substitutions, insertions, and deletions of symbols that can be used to transform one of the...
Stavros Konstantinidis
120
Voted
COCOON
2008
Springer
15 years 6 months ago
Dimensions of Points in Self-similar Fractals
We use nontrivial connections between the theory of computing and the finescale geometry of Euclidean space to give a complete analysis of the dimensions of individual points in f...
Jack H. Lutz, Elvira Mayordomo
VL
1996
IEEE
120views Visual Languages» more  VL 1996»
15 years 9 months ago
Visual Language Features Supporting Human-Human and Human-Computer Communication
Fundamental to the design of visual languages are the goals of facilitating communication between people and computers, and between people and other people. The Object Block Progr...
Jason E. Robbins, David J. Morley, David F. Redmil...
VL
2007
IEEE
157views Visual Languages» more  VL 2007»
15 years 11 months ago
Spider Diagrams of Order
Spider diagrams are a visual logic capable of makeing statements about relationships between sets and their cardinalities. Various meta-level results for spider diagrams have been...
Aidan Delaney, Gem Stapleton
118
Voted
TACAS
2001
Springer
92views Algorithms» more  TACAS 2001»
15 years 9 months ago
Language Containment Checking with Nondeterministic BDDs
Abstract. Checking for language containment between nondeterministic ω-automata is a central task in automata-based hierarchical verification. We present a symbolic procedure for...
Bernd Finkbeiner