Tags
Language
Tags
June 2024
Su Mo Tu We Th Fr Sa
26 27 28 29 30 31 1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30 1 2 3 4 5 6

Analyzing meaning: An introduction to semantics and pragmatics

Posted By: arundhati
Analyzing meaning: An introduction to semantics and pragmatics

Paul Kroeger, "Analyzing meaning: An introduction to semantics and pragmatics"
English | ISBN: 3985540489 | 2022 | 494 pages | PDF | 2 MB

Mathematics of Program Construction

Posted By: AvaxGenius
Mathematics of Program Construction

Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings by Ekaterina Komendantskaya
English | EPUB | 2022 | 269 Pages | ISBN : 3031169115 | 42 MB

This book constitutes the refereed proceedings of the 14th International Conference on Mathematics of Program Construction, MPC 2022, held in Tbilisi, Georgia, in September 2022.

Augmented Cognition (Repost)

Posted By: AvaxGenius
Augmented Cognition (Repost)

Augmented Cognition: 13th International Conference, AC 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings by Dylan D. Schmorrow, Cali M. Fidopiastis
English | PDF | 2019 | 669 Pages | ISBN : 303022418X | 45.7 MB

This book constitutes the refereed proceedings of the 13th International Conference on Augmented Cognition, AC 2019, held as part of the 21st International Conference on Human-Computer Interaction, HCII 2019, in Orlando, FL, USA in July, 2019.

Intelligent Computer Mathematics

Posted By: AvaxGenius
Intelligent Computer Mathematics

Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings by Fairouz Kamareddine
English | EPUB | 2021 | 263 Pages | ISBN : 3030810968 | 12.8 MB

This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*.
The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.

Artificial Intelligence and Machine Learning

Posted By: AvaxGenius
Artificial Intelligence and Machine Learning

Artificial Intelligence and Machine Learning: 32nd Benelux Conference, BNAIC/Benelearn 2020, Leiden, The Netherlands, November 19–20, 2020, Revised Selected Papers by Mitra Baratchi
English | PDF | 2021 | 213 Pages | ISBN : 303076639X | 21.2 MB

This book contains a selection of the best papers of the 32nd Benelux Conference on Artificial Intelligence, BNAIC/Benelearn 2020, held in Leiden, The Netherlands, in November 2020. Due to the COVID-19 pandemic the conference was held online.
The 12 papers presented in this volume were carefully reviewed and selected from 41 regular submissions. They address various aspects of artificial intelligence such as natural language processing, agent technology, game theory, problem solving, machine learning, human-agent interaction, AI and education, and data analysis.

The Logic of Metaphor - Analogous Parts of Possible Worlds

Posted By: AvaxGenius
The Logic of Metaphor - Analogous Parts of Possible Worlds

The Logic of Metaphor - Analogous Parts of Possible Worlds by Eric Charles Steinhart
English | PDF | 2001 | 261 Pages | ISBN : 079237004X | 13.6 MB

1. Metaphors and Logic Metaphors are among the most vigorous offspring of the creative mind; but their vitality springs from the fact that they are logical organisms in the ecology of l- guage. I aim to use logical techniques to analyze the meanings of metaphors.

Flexible Query Answering Systems

Posted By: AvaxGenius
Flexible Query Answering Systems

Flexible Query Answering Systems: 14th International Conference, FQAS 2021, Bratislava, Slovakia, September 19–24, 2021, Proceedings by Troels Andreasen
English | EPUB | 2021 | 245 Pages | ISBN : 3030869660 | 18.8 MB

This book constitutes the refereed proceedings of the 14th International Conference on Flexible Query Answering Systems, FQAS 2021, held virtually and in Bratislava, Slovakia, in September 2021.

Intelligent Systems

Posted By: AvaxGenius
Intelligent Systems

Intelligent Systems: 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 – December 3, 2021, Proceedings, Part I by André Britto
English | PDF | 2022 | 564 Pages | ISBN : 3030917010 | 41.3 MB

The two-volume set LNAI 13073 and 13074 constitutes the proceedings of the 10th Brazilian Conference on Intelligent Systems, BRACIS 2021, held in São Paolo, Brazil, in November-December 2021.

Intelligent Computer Mathematics

Posted By: AvaxGenius
Intelligent Computer Mathematics

Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings by Fairouz Kamareddine
English | PDF | 2021 | 263 Pages | ISBN : 3030810968 | 10.7 MB

This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*.

Progress in Artificial Intelligence

Posted By: AvaxGenius
Progress in Artificial Intelligence

Progress in Artificial Intelligence: 20th EPIA Conference on Artificial Intelligence, EPIA 2021, Virtual Event, September 7–9, 2021, Proceedings by Goreti Marreiros
English | EPUB | 2021 | 815 Pages | ISBN : 3030862291 | 88.1 MB

This book constitutes the refereed proceedings of the 20th EPIA Conference on Artificial Intelligence, EPIA 2021, held virtually in September 2021.

The Semantic Web – ISWC 2021

Posted By: AvaxGenius
The Semantic Web – ISWC 2021

The Semantic Web – ISWC 2021: 20th International Semantic Web Conference, ISWC 2021, Virtual Event, October 24–28, 2021, Proceedings by Andreas Hotho
English | PDF | 2021 | 756 Pages | ISBN : 3030883604 | 48.2 MB

This book constitutes the proceedings of the 20th International Semantic Web Conference, ISWC 2021, which took place in October 2021. Due to COVID-19 pandemic the conference was held virtually.

Computer Vision – ECCV 2020 Workshops (Repost)

Posted By: AvaxGenius
Computer Vision – ECCV 2020 Workshops (Repost)

Computer Vision – ECCV 2020 Workshops: Glasgow, UK, August 23–28, 2020, Proceedings, Part I by Adrien Bartoli
English | EPUB | 2020 | 818 Pages | ISBN : 3030664147 | 118.5 MB

The 5-volume set, comprising the LNCS books 12535 until 12540, constitutes the refereed proceedings of 28 out of the 45 workshops held at the 16th European Conference on Computer Vision, ECCV 2020. The conference was planned to take place in Glasgow, UK, during August 23-28, 2020, but changed to a virtual format due to the COVID-19 pandemic.

Progress in Artificial Intelligence

Posted By: AvaxGenius
Progress in Artificial Intelligence

Progress in Artificial Intelligence: 20th EPIA Conference on Artificial Intelligence, EPIA 2021, Virtual Event, September 7–9, 2021, Proceedings by Goreti Marreiros
English | PDF | 2021 | 815 Pages | ISBN : 3030862291 | 65.9 MB

This book constitutes the refereed proceedings of the 20th EPIA Conference on Artificial Intelligence, EPIA 2021, held virtually in September 2021.

System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications, Third Edition (Repost)

Posted By: AvaxGenius
System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications, Third Edition (Repost)

System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications, Third Edition by Ashok B. Mehta
English | PDF | 2019 | 524 Pages | ISBN : 3030247368 | 46.3 MB

This book provides a hands-on, application-oriented guide to the language and methodology of both SystemVerilog Assertions and Functional Coverage. Readers will benefit from the step-by-step approach to learning language and methodology nuances of both SystemVerilog Assertions and Functional Coverage, which will enable them to uncover hidden and hard to find bugs, point directly to the source of the bug, provide for a clean and easy way to model complex timing checks and objectively answer the question ‘have we functionally verified everything’.

Revisiting Searle on Deriving "Ought" from "Is"

Posted By: AvaxGenius
Revisiting Searle on Deriving "Ought" from "Is"

Revisiting Searle on Deriving "Ought" from "Is" by Paolo Di Lucia
English | EPUB | 2021 | 357 Pages | ISBN : 3030541150 | 0.6 MB

"How, you might wonder, can a puzzle first formulated by a young Scotsman-on-the-make some 300 years ago be of interest today? This collection provides a valuable and comprehensive set of answers to this question. It shows why not only Hume, but also Searle, are still of so much importance."