Sciweavers

241 search results - page 41 / 49
» Evolving Graph Representation and Visualization
Sort
View
ICCS
2004
Springer
15 years 6 months ago
Types and Tokens for Logic with Diagrams
It is well accepted that diagrams play a crucial role in human reasoning. But in mathematics, diagrams are most often only used for visualizations, but it is doubted that diagrams ...
Frithjof Dau
95
Voted
DAS
2010
Springer
15 years 4 months ago
A post-processing scheme for malayalam using statistical sub-character language models
Most of the Indian scripts do not have any robust commercial OCRs. Many of the laboratory prototypes report reasonable results at recognition/classification stage. However, word ...
Karthika Mohan, C. V. Jawahar
ENTCS
2008
123views more  ENTCS 2008»
15 years 18 days ago
A Chart Semantics for the Pi-Calculus
We present a graphical semantics for the pi-calculus, that is easier to visualize and better suited to expressing causality and temporal properties than conventional relational se...
Johannes Borgström, Andrew D. Gordon, Andrew ...
98
Voted
TOG
2008
107views more  TOG 2008»
15 years 13 days ago
Multiscale texture synthesis
Example-based texture synthesis algorithms have gained widespread popularity for their ability to take a single input image and create a perceptually similar non-periodic texture....
Charles Han, Eric Risser, Ravi Ramamoorthi, Eitan ...
98
Voted
LREC
2008
107views Education» more  LREC 2008»
15 years 2 months ago
Exploring and Navigating: Tools for GermaNet
GermaNet is regarded to be a valuable resource for many German NLP applications, corpus research, and teaching. This demo presents three GUI-based tools meant to facilitate the ex...
Marc Finthammer, Irene M. Cramer