360 search results - page 4 / 72 » The Origins of the Translator's Workstation |
AAAI
1997
13 years 8 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
13 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...
FOSSACS
2012
Springer
12 years 2 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
14 years 13 days 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...
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...