6201 search results - page 209 / 1241 » Implementation of Axiomatic Language |
129
click to vote
AAAI
1990
15 years 6 months ago
1990
The purpose of this paper is to characterize a constituent boundary parsing algorithm, using an information-theoretic measure called generalized mutual information, which serves a...
126
Voted
AAAI
1990
15 years 6 months ago
1990
We describe a program, BEATRIX, that can understand textbook physics problems specified by a combination of English text and a diagram. The result of the understanding process is ...
130
click to vote
IJCAI
1989
15 years 6 months ago
1989
This paper describes SYNAPSIS, a parser for performing real-time understanding of spoken utterances in a parallel computational environment. Understanding continuous speech allowi...
139
click to vote
COLING
1992
15 years 6 months ago
1992
A proposal to deal with tenses in the framework of Discourse Representation Theory is presented, ms it has been implemented for a fragment at the IMS for the project LILOG. It is ...
126
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
It is well-known that freeness and linearity information positively interact with aliasing information, allowing both the precision and the efficiency of the sharing analysis of l...