1636 search results - page 185 / 328 » Type-Theoretic Functional Semantics |
124
click to vote
ACL
1998
15 years 5 months ago
1998
This paper describes a spelling correction system that functions as part of an intelligent tutor that carries on a natural language dialogue with its users. The process that searc...
139
click to vote
ACL
1997
15 years 5 months ago
1997
We present an algorithm for simultaneously constructing both the syntax and semantics of a sentence using a Lexicalized Tree Adjoining Grammar (LTAG). This approach captures natur...
138
click to vote
PDSE
1998
15 years 5 months ago
1998
As a means of modeling typical system behavior, we present a description technique for business processes derived from data flow nets and provide it with a formal semantics based ...
162
Voted
HCI
1993
15 years 5 months ago
1993
There currently are 4 different views on human computer interaction in measuring interactive qualities: (1) the interaction-oriented view, (2) the user-oriented view, (3) the prod...
139
click to vote
IJCAI
1989
15 years 5 months ago
1989
Recent results in the foundations of probability theory indicate that a conditional probability can be viewed as a probability attached to a mathematical entity called a measure-f...