1054 search results - page 117 / 211 » A Formalization of the Turing Test |
179
click to vote
ICGI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Kanazawa has shown that several non-trivial classes of categorial grammars are learnable in Gold’s model. We propose in this article to adapt this kind of symbolic lear...
180
click to vote
KI
2004
Springer
15 years 11 months ago
2004
Springer
This paper proposes a new corpus-based approach for deriving syntactic structures and generating parse trees of natural language sentences. The parts of speech (word categories) of...
162
click to vote
DEXAW
2003
IEEE
15 years 11 months ago
2003
IEEE
Public-key infrastructures are a prerequisite for security in distributed systems and for reliable electronic commerce. It is their goal to provide the authenticity of public keys...
134
click to vote
APLAS
2003
ACM
15 years 11 months ago
2003
ACM
We present a method for automatic program inversion in a first-order functional programming language. We formalize the transformation and illustrate it with several examples inclu...
146
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
Logic programming rules are provided to capture the rules governing formal poetry in Spanish. The resulting logic program scans verses in Spanish to provide their metric analysis. ...