3827 search results - page 253 / 766 » The Epsilon Generation Language |
203
click to vote
COMPUTER
2007
15 years 6 months ago
2007
and therefore should be implemented outside the sensory-motor system. This way, meaning for a concept amounts to the content of a symbolic expression, a definition of the concept ...
223
click to vote
ACL2
2006
ACM
16 years 16 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
201
click to vote
NIPS
2001
15 years 8 months ago
2001
This paper presents a novel approach to the unsupervised learning of syntactic analyses of natural language text. Most previous work has focused on maximizing likelihood according...
202
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Manual curation of biological databases, an expensive and labor-intensive process, is essential for high quality integrated data. In this paper we report the implement...
203
click to vote
IIE
2007
15 years 6 months ago
2007
How do we teach children to express and communicate ideas in a formal and informal mode? What type of language do they need in a concrete context? How should they determine a prope...