 |
|
|
|
|
 Mathematical Models of Spoken LanguageHumans use language to convey meaningful messages to each other. Linguistic competence consists in the ability to express meaning reliably, not simply to obtain faithful lexical transcriptions. This invaluable reference tool is the product of many years' experience and research on language and speech technology. It presents the motivations for,... |  |  Artificial Cognition SystemsThe central questions confronting artificial intelligence and cognitive science revolve around the nature of meaning and of mind. Minds are presumed to be the processors of mental content, where that content has the capacity to influence our speech and other behavior. The hard part is figuring out how that is done. Mental states must exercise... |  |  New Developments In Parsing Technology (Text, Speech and Language Techology)Parsing can be defined as the decomposition of complex structures into their constituent parts, and parsing technology as the methods, the tools and the software to parse automatically. Parsing is a central area of research in the automatic processing of human language. Parsers are being used in many application areas, for example question... |
|
|
 The Calculus of Computation: Decision Procedures with Applications to VerificationComputational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art... |  |  |  |  |
|
|
Result Page: 81 80 79 78 77 76 75 74 73 72 71 70 |