947 search results - page 104 / 190 » Using Natural Language Generation for Navigational Assistanc... |
163
click to vote
ICFP
2012
ACM
13 years 6 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
143
click to vote
LACL
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We investigate natural deduction proofs of the Lambek calculus from the point of view of tree automata. The main result is that the set of proofs of the Lambek calculus c...
150
click to vote
OTM
2009
Springer
15 years 10 months ago
2009
Springer
Collaboration in modeling is essential to success, but ORM diagrams intimidate many business people, and most would never install an ORM modeling tool on their computers. The Const...
136
click to vote
EMNLP
2009
15 years 1 months ago
2009
Many approaches to unsupervised morphology acquisition incorporate the frequency of character sequences with respect to each other to identify word stems and affixes. This typical...
134
click to vote
ICDT
2010
ACM
16 years 1 months ago
2010
ACM
It is known that the composition of schema mappings, each specified by source-to-target tgds (st-tgds), can be specified by a secondorder tgd (SO tgd). We consider the question of...