Sciweavers

133 search results - page 1 / 27
» diagrams 2000
Sort
View
DIAGRAMS
2000
Springer
13 years 9 months ago
Playing with Diagrams
Robert K. Lindsay
DIAGRAMS
2000
Springer
13 years 9 months ago
Treatment of Diagrams in Document Image Analysis
Dorothea Blostein, Edward Lank, Richard Zanibbi
DIAGRAMS
2000
Springer
13 years 9 months ago
MetaBuilder: The Diagrammer's Diagrammer
Ian Ferguson, Andrew Hunter, Colin J. Hardy
DIAGRAMS
2000
Springer
13 years 9 months ago
Restricted Focus Viewer: A Tool for Tracking Visual Attention
Alan F. Blackwell, Anthony R. Jansen, Kim Marriott
LOGCOM
2000
103views more  LOGCOM 2000»
13 years 4 months ago
A geometric proof of confluence by decreasing diagrams
The criterion for confluence using decreasing diagrams is a generalization of several well-known confluence criteria act rewriting, such as the strong confluence lemma. We give a ...
Jan Willem Klop, Vincent van Oostrom, Roel C. de V...