1672 search results - page 90 / 335 » Interactive Mathematical Documents |
140
click to vote
IJVR
2008
15 years 3 months ago
2008
Due to its importance as a model for several software and hardware applications, automata theory is a core topic in computer science and engineering education. But because of its m...
118
Voted
MICS
2008
15 years 3 months ago
2008
We describe automated methods for constructing nonisomorphism proofs for pairs of graphs. The proofs can be human-readable or machinereadable. We have developed an experimental imp...
102
Voted
ANLP
1997
15 years 5 months ago
1997
We present an interactive translation method to support non-professional users to write an original document. The method, combining dictionary lookup function and user-guided step...
121
click to vote
ERCIMDL
2009
Springer
15 years 10 months ago
2009
Springer
Paleography experts spend many hours transcribing historic documents, and state-of-the-art handwritten text recognition systems are not suitable for performing this task automatica...
112
click to vote
FQAS
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents the design of a new interface for interactive Topic Detection and Tracking (TDT) called Ievent. It is composed of 3 main views; a Cluster View, a Document View,...