Valeria de Paiva – författare
Visar alla böcker från författaren Valeria de Paiva. Handla med fri frakt och snabb leverans.
11 produkter
Inheritance, Defaults and the Lexicon
Av Ted Briscoe, Ann Copestake m. fl.
Häftad, 2006
754 kr
Lägg i varukorg
The lexicon is now a major focus of research in computational linguistics and natural language processing (NLP), as more linguistic theories concentrate on the lexicon and as the acquisition of an adequate vocabulary has become the chief bottleneck in developing practical NLP systems. This …
Inheritance, Defaults and the Lexicon
Av Ted Briscoe, Ann Copestake m. fl.
Inbunden, 1994
1777 kr
Lägg i varukorg
The lexicon is now a major focus of research in computational linguistics and natural language processing (NLP), as more linguistic theories concentrate on the lexicon and as the acquisition of an adequate vocabulary has become the chief bottleneck in developing practical NLP systems. This …
From Quirky Case to Representing Space
Papers in Honor of Annie Zaenen
Av Tracy Holloway King, Valeria de Paiva
Häftad, 2013
306 kr
Lägg i varukorg
Annie Zaenen's research has broadly influenced the field of linguistics, from the underlying architecture of formal theories to the minute details of lexical representation. This volume assembles a wide range of essays from linguists who have been profoundly influenced by Zaenen's work. Taking …
Linguistic Issues in Language Technology Vol 9
Perspectives on Semantic Representations for Textual Inference
Av Annie Zaenen, Cleo Condoravdi m. fl.
Häftad, 2015
246 kr
Lägg i varukorg
Linguistic Issues in Language Technology focuses on the relationships between linguistic insights and language technology. In conjunction with machine learning and statistical techniques, more sophisticated models of language and speech are needed to make significant progress in both existing and …
Intelligent Computer Mathematics
18th International Conference, CICM 2025, Brasilia, Brazil, October 6–10, 2025, Proceedings
Av Valeria de Paiva, Peter Koepke
Häftad, 2025
1383 kr
Kommande
This book constitutes the refereed proceedings of the 18th International Conference on Intelligent Computer Mathematics, CICM 2025, held in Brasilia, Brazil, during October 6–11, 2025.The 24 full papers were presented in this volume were carefully reviewed and selected from 34 submissions. They …
Intelligent Computer Mathematics
18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, Proceedings
Av Peter Koepke, Valeria de Paiva
E-bok, 2025
1734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 18th International Conference on Intelligent Computer Mathematics, CICM 2025, held in Brasilia, Brazil, during October 6–11, 2025.The 24 full papers were presented in this volume were carefully reviewed and selected from 34 submissions. They …
Logic, Language, Information, and Computation
22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Av Valeria de Paiva, Ruy de Queiroz m. fl.
Häftad, 2015
456 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015.The 14 …
Logic, Language, Information, and Computation
22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Av Anjolina G. de Oliveira, Daniel Leivant m. fl.
E-bok, 2015
588 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015. The …
Advances in Natural Deduction
A Celebration of Dag Prawitz's Work
Av Luiz Carlos Pereira, Edward Haeusler m. fl.
Inbunden, 2014
1423 kr
Lägg i varukorg
This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz’s work forms the basis of intuitionistic type …
Advances in Natural Deduction
A Celebration of Dag Prawitz''s Work
Av Valeria de Paiva, Edward Haeusler m. fl.
E-bok, 2014
1785 kr
Lägg i varukorg
This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz’s work forms the basis of intuitionistic type …
Advances in Natural Deduction
A Celebration of Dag Prawitz's Work
Av Luiz Carlos Pereira, Edward Haeusler m. fl.
Häftad, 2016
1423 kr
Lägg i varukorg
This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz’s work forms the basis of intuitionistic type …
