360 search results - page 4 / 72 » The Origins of the Translator's Workstation |
AAAI
1997
14 years 11 months ago
1997
This paper describes an environment for supporting very large ontologies. The system can be used on single PCs, workstations, a cluster of workstations, and high-end parallel supe...
ANLP
1997
14 years 11 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...
FOSSACS
2012
Springer
13 years 5 months ago
2012
Springer
We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calcu...
OTM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The X Protocol, an asynchronous network protocol, was developed at MIT amid the need to provide a network transparent graphical user interface primarily for the UNIX Oper...
133
click to vote
Book
"This book originally accompanied a 2-day course on using the LATEX typesetting system. It has been extensively revised and updated and can now be used for self-study or in th...