7661 search results - page 65 / 1533 » Languages and the Computing Profession |
134
click to vote
ACL
2010
15 years 2 months ago
2010
We present BEETLE II, a tutorial dialogue system designed to accept unrestricted language input and support experimentation with different tutorial planning and dialogue strategie...
106
click to vote
COLING
1992
15 years 6 months ago
1992
The adverb is the most complicated, and perhaps also the most interesting part of speech. Past research in natural language processing, however, has not dealt seriously with adver...
151
click to vote
GIS
1998
ACM
15 years 4 months ago
1998
ACM
Spatial relations are the basis for many selections users perform when they query geographic information systems (GISs). Although such query languages use natural-language-like te...
140
click to vote
MPC
1995
Springer
15 years 8 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...