Sciweavers

1734 search results - page 30 / 347
» its 2000
Sort
View
98
Voted
JFP
2000
95views more  JFP 2000»
14 years 9 months ago
A modular module system
A simple implementation of an SML-like module system is presented as a module parameterized by a base language and its type-checker. This implementation is useful both as a detail...
Xavier Leroy
73
Voted
LDVF
2000
112views more  LDVF 2000»
14 years 9 months ago
The instructible agent Lokutor
In this paper we describe Lokutor, a virtual human. Lokutor is a partially autonomous agent, inhabiting a 3D virtual environment. The agent can be controlled via natural language ...
Jan-Torsten Milde
ORDER
2000
82views more  ORDER 2000»
14 years 9 months ago
Embeddings into Orthomodular Lattices with Given Centers, State Spaces and Automorphism Groups
We prove that, given a nontrivial Boolean algebra B, a compact convex set S and a group G, there is an orthomodular lattice L with the center isomorphic to B, the automorphism grou...
John Harding, Mirko Navara
ANLP
1992
117views more  ANLP 1992»
14 years 10 months ago
Detecting and Correcting Morpho-syntactic Errors in Real Texts
This paper presents a system which detects and corrects morpho-syntactic errors in Dutch texts. It includes a spelling corrector and a shift-reduce parser for Augmented Context-fr...
Theo Vosse
61
Voted
ANLP
2000
61views more  ANLP 2000»
14 years 11 months ago
Word-for-Word Glossing with Contextually Similar Words
Many corpus-based machine translation systems require parallel corpora. In this paper, we present a word-for-word glossing algorithm that requires only a source language corpus. T...
Patrick Pantel, Dekang Lin