Sciweavers

6618 search results - page 1033 / 1324
» Natural Logic for Natural Language
Sort
View
COLING
2002
15 years 6 months ago
Interactive Paraphrasing Based on Linguistic Annotation
We propose a method "Interactive Paraphrasing" which enables users to interactively paraphrase words in a document by their definitions, making use of syntactic annotati...
Ryuichiro Higashinaka, Katashi Nagao
COLING
2002
15 years 6 months ago
(Semi-)Automatic Detection of Errors in PoS-Tagged Corpora
This paper presents a simple yet in practice very efficient technique serving for automatic detection of those positions in a partof-speech tagged corpus where an error is to be s...
Pavel Kveton, Karel Oliva
INFORMATICALT
2002
103views more  INFORMATICALT 2002»
15 years 6 months ago
Numerical Representations as Purely Functional Data Structures: a New Approach
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...
Mirjana Ivanovic, Viktor Kuncak
SIMULATION
2002
103views more  SIMULATION 2002»
15 years 6 months ago
The Trend Cellular Automata Programming Environment
Trend is a two dimensional cellular automata programming environment with an integrated simulator and a compiler. Trend has many unique features such as simulation backtracking, c...
Hui-Hsien Chou, Wei Huang, James A. Reggia
TOPLAS
2002
116views more  TOPLAS 2002»
15 years 6 months ago
Type-preserving compilation of Featherweight Java
We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate language. The encoding, after type erasure, has the same operational behavio...
Christopher League, Zhong Shao, Valery Trifonov
« Prev « First page 1033 / 1324 Last » Next »