Sciweavers

133 search results - page 1 / 27
» diagrams 2000
Sort
View
DIAGRAMS
2000
Springer
13 years 10 months ago
Playing with Diagrams
Robert K. Lindsay
DIAGRAMS
2000
Springer
13 years 10 months ago
Treatment of Diagrams in Document Image Analysis
Dorothea Blostein, Edward Lank, Richard Zanibbi
DIAGRAMS
2000
Springer
13 years 10 months ago
MetaBuilder: The Diagrammer's Diagrammer
Ian Ferguson, Andrew Hunter, Colin J. Hardy
DIAGRAMS
2000
Springer
13 years 10 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 5 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...