672 search results - page 13 / 135 » On the Expressive Power of the Loop Language |
109
Voted
SAC
2010
ACM
15 years 8 months ago
2010
ACM
Most mainstream system programming languages provide support for builtin types, and extension mechanisms through userdefined types. They also come with a notion of constant expre...
135
Voted
FOIKS
2006
Springer
15 years 5 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
127
click to vote
AIR
2006
15 years 1 months ago
2006
Abstract Storing and retrieving time-related information are important, or even critical, tasks on many areas of Computer Science (CS) and in particular for Artificial Intelligence...
221
click to vote
CICLING
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Natural Language Processing holds great promise for making computer interfaces that are easier to use for people, since people will (hopefully) be able to talk to the com...
113
click to vote
ACL
1989
15 years 3 months ago
1989
This paper describes the referring expression generation mechanisms used in EPICURE, a computer program which produces natural language descriptions of cookery recipes. Major feat...