1672 search results - page 90 / 335 » Interactive Mathematical Documents |
195
click to vote
IJVR
2008
15 years 6 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...
155
click to vote
MICS
2008
15 years 6 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...
144
click to vote
ANLP
1997
15 years 8 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...
161
click to vote
ERCIMDL
2009
Springer
16 years 1 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...
150
click to vote
FQAS
2009
Springer
16 years 1 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,...