La macchina e il linguaggio / Domenico Parisi, Cristiano Castelfranchi |
Autore | Parisi, Domenico <1934- > |
Pubbl/distr/stampa | Torino, : Bollati Boringhieri, 1987 |
Descrizione fisica | 402 p. ; 24 cm |
Disciplina | 410.285 |
Altri autori (Persone) | Castelfranchi, Cristiano |
Collana | Testi e manuali della scienza contemporanea, Serie di informatica |
Soggetto non controllato | Elaboratori elettronici - Impiego in linguistica |
ISBN | 88-339-5402-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990004091850403321 |
Parisi, Domenico <1934- >
![]() |
||
Torino, : Bollati Boringhieri, 1987 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Language and computers : a pratical introduction to the computer analysis of language / Geoff, Barnbrook |
Autore | Barnbrook, Geoff |
Pubbl/distr/stampa | Edinburg : Edinburg university press, 1996 |
Descrizione fisica | ix,209 p. ; 24 cm. |
Disciplina | 410.285 |
Collana | Edinburg textbooks in empirical linguistics |
Soggetto topico | Linguistica computazionale |
ISBN | 0748608486 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991004013989707536 |
Barnbrook, Geoff
![]() |
||
Edinburg : Edinburg university press, 1996 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Language and the internet / David Crystal |
Autore | Crystal, David |
Edizione | [2. ed] |
Pubbl/distr/stampa | Cambridge, : Cambridge University Press, 2006 |
Descrizione fisica | XI, 304 p. ; 23 cm. |
Disciplina | 410.285 |
Soggetto topico | Internet - Aspetti linguistici |
ISBN | 0521868599 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAS-MOD1352661 |
Crystal, David
![]() |
||
Cambridge, : Cambridge University Press, 2006 | ||
![]() | ||
Lo trovi qui: Univ. di Cassino | ||
|
Language engineering for lesser-studied languages [[electronic resource] /] / edited by Sergei Nirenburg |
Pubbl/distr/stampa | Amsterdam, Netherlands ; ; Washington, D.C., : IOS Press, c2009 |
Descrizione fisica | 1 online resource (344 p.) |
Disciplina | 410.285 |
Altri autori (Persone) | NirenburgSergei |
Collana | NATO science for peace and security series. D, Information and communication security |
Soggetto topico |
Computational linguistics
Natural language processing (Computer science) |
Soggetto genere / forma | Electronic books. |
ISBN |
6612070641
1-282-07064-9 9786612070648 1-4416-0556-8 600-00-1265-9 1-60750-394-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Title page; Preface; Contents; A. Tools and Resources; B. Levels of Language Processing and Applications; C. Specific Language Groups and Languages; Subject Index; Author Index |
Record Nr. | UNINA-9910454048803321 |
Amsterdam, Netherlands ; ; Washington, D.C., : IOS Press, c2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Language engineering for lesser-studied languages [[electronic resource] /] / edited by Sergei Nirenburg |
Pubbl/distr/stampa | Amsterdam, Netherlands ; ; Washington, D.C., : IOS Press, c2009 |
Descrizione fisica | 1 online resource (344 p.) |
Disciplina | 410.285 |
Altri autori (Persone) | NirenburgSergei |
Collana | NATO science for peace and security series. D, Information and communication security |
Soggetto topico |
Computational linguistics
Natural language processing (Computer science) |
ISBN |
6612070641
1-282-07064-9 9786612070648 1-4416-0556-8 600-00-1265-9 1-60750-394-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Title page; Preface; Contents; A. Tools and Resources; B. Levels of Language Processing and Applications; C. Specific Language Groups and Languages; Subject Index; Author Index |
Record Nr. | UNINA-9910782855703321 |
Amsterdam, Netherlands ; ; Washington, D.C., : IOS Press, c2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Language engineering for lesser-studied languages [[electronic resource] /] / edited by Sergei Nirenburg |
Pubbl/distr/stampa | Amsterdam, Netherlands ; ; Washington, D.C., : IOS Press, c2009 |
Descrizione fisica | 1 online resource (344 p.) |
Disciplina | 410.285 |
Altri autori (Persone) | NirenburgSergei |
Collana | NATO science for peace and security series. D, Information and communication security |
Soggetto topico |
Computational linguistics
Natural language processing (Computer science) |
ISBN |
6612070641
1-282-07064-9 9786612070648 1-4416-0556-8 600-00-1265-9 1-60750-394-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Title page; Preface; Contents; A. Tools and Resources; B. Levels of Language Processing and Applications; C. Specific Language Groups and Languages; Subject Index; Author Index |
Record Nr. | UNINA-9910815245403321 |
Amsterdam, Netherlands ; ; Washington, D.C., : IOS Press, c2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Language Identification Using Excitation Source Features / / by K. Sreenivasa Rao, Dipanjan Nandi |
Autore | Rao K. Sreenivasa (Krothapalli Sreenivasa) |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (128 p.) |
Disciplina |
006.35
410.285 620 621.382 |
Collana | SpringerBriefs in Speech Technology, Studies in Speech Signal Processing, Natural Language Understanding, and Machine Learning |
Soggetto topico |
Signal processing
Image processing Speech processing systems Natural language processing (Computer science) Computational linguistics Signal, Image and Speech Processing Natural Language Processing (NLP) Computational Linguistics |
ISBN | 3-319-17725-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Language Identification--A Brief Review -- Implicit Excitation Source Features for Language Identification -- Parametric Excitation Source Features for Language Identification -- Complementary and Robust Nature of Excitation Source Features for Language Identification -- Conclusion. |
Record Nr. | UNINA-9910299821303321 |
Rao K. Sreenivasa (Krothapalli Sreenivasa)
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
The Language of Mathematics [[electronic resource] ] : A Linguistic and Philosophical Investigation / / by Mohan Ganesalingam |
Autore | Ganesalingam Mohan |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XX, 260 p. 15 illus.) |
Disciplina | 410.285 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Image processing—Digital techniques
Computer vision Machine theory Natural language processing (Computer science) Artificial intelligence Computer Imaging, Vision, Pattern Recognition and Graphics Formal Languages and Automata Theory Natural Language Processing (NLP) Artificial Intelligence |
ISBN | 3-642-37012-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction.-1.1 Challenges -- 1.2 Concepts.-1.2.1 Linguistics and Mathematic.-1.2.2 Time -- 1.2.3 Full Adaptivity -- .3 Scope -- 1.4 Structure -- 1.5 Previous Analyses -- 1.5.1 Ranta -- 1.5.2 de Bruijn -- 1.5.3 Computer Languages -- 1.5.4 Other Work -- 2 The Language of Mathematics -- 2.1 Text and Symbol -- 2.2 Adaptivity -- 2.3 Textual Mathematics -- 2.4 Symbolic Mathematics. -2.4.1 Ranta’s Account and Its Limitations -- 2.4.2 Surface Phenomena -- 2.4.3 Grammatical Status -- 2.4.4 Variables -- 2.4.5 Presuppositions -- 2.4.6 Symbolic Constructions -- 2.5 Rhetorical Structure -- 2.5.1 Blocks -- 2.5.2 Variables and Assumptions -- 2.6 Reanalysis -- 3 Theoretical Framework -- 3.1 Syntax -- 3.2 Types -- 3.3 Semantics -- 3.3.1 The Inadequacy of First-Order Logic -- 3.3.2 Discourse Representation Theory -- 3.3.3 Semantic Functions -- 3.3.4 Representing Variables -- 3.3.5 Localisable Presuppositions -- 3.3.6 Plurals -- 3.3.7 Compositionality -- 3.3.8 Ambiguity and Type -- 3.4 Adaptivity -- 3.4.1 Definitions in Mathematics -- 3.4.2 Real Definitions and Functional Categories -- 3.5 Rhetorical Structure -- 3.5.1 Explanation -- 3.5.2 Blocks -- 3.5.3 Variables and Assumptions -- 3.5.4 Related Work: DRT in NaProChe -- 3.6 Conclusion -- 4 Ambiguity.-4.1 Ambiguity in Symbolic Mathematics.-4.1.1 Ambiguity in Symbolic Material.-4.1.2 Survey: Ambiguity in Formal Languages.-4.1.3 Failure of Standard Mechanisms -- 4.1.4 Discussion.-4.1.5 Disambiguation without Type -- 4.2 Ambiguity in Textual Mathematics.-4.2.1 Survey: Ambiguity in Natural Languages.-4.2.2 Ambiguity in Textual Mathematics -- 4.2.3 Disambiguation without Type -- 4.3 Text and Symbol -- 4.3.1 Dependence of Symbol on Text -- 4.3.2 Dependence of Text on Symbol -- 4.3.3 Text and Symbol: Conclusion -- 4.4 Conclusion -- 5 Type -- 5.1 Distinguishing Notions of Type -- 5.1.1 Types as Formal Tags -- 5.1.2 Types as Properties -- 5.2 Notions of Type in Mathematics -- 5.2.1 Aspect as Formal Tags -- .2.2 Aspect as Properties -- 5.3 Type Distinctions in Mathematics -- 5.3.1 Methodology -- 5.3.2 Examining the Foundations -- 5.3.3 Simple Distinctions -- 5.3.4 Non-extensionality.-5.3.5 Homogeneity and Open Types -- 5.4 Types in Mathematics -- 5.4.1 Presenting Type: Syntax and Semantics -- 5.4.2 Fundamental Type -- 5.4.3 Relational Type -- 5.4.4 Inferential Type -- 5.4.5 Type Inference -- 5.4.6 Type Parametrism -- 5.4.7 Subtyping -- 5.4.8 Type Coercion -- 5.5 Types and Type Theory -- 6 TypedParsing -- 6.1 Type Assignment -- .1.1 Mechanisms -- 6.1.2 Example -- 6.2 Type Requirements -- 6.3 Parsing -- 6.3.1 Type -- 6.3.2 Variables.-6.3.3 Structural Disambiguation -- 6.3.4 Type Cast Minimisation -- 6.3.5 Symmetry Breaking -- 6.4 Example -- 6.5 Further Work -- 7 Foundations -- 7.1 Approach -- 7.2 False Starts -- 7.2.1 All Objects as Sets -- 7.2.2 Hierarchy of Numbers -- 7.2.3 Summary of Standard Picture -- 7.2.4 Invisible Embeddings -- 7.2.5 Introducing Ontogeny -- 7.2.6 Redefinition -- 7.2.7 Manual Replacement -- 7.2.8 Identification and Conservativity -- 7.2.9 Isomorphisms Are Inadequate -- 7.3 Central Problems -- 7.3.1 Ontology and Epistemology -- 7.3.2 Identification -- 7.3.3 Ontogeny -- 7.4 Formalism -- 7.4.1 Abstraction -- 7.4.2 Identification -- 7.5 Application.-7.5.1 Simple Objects.-7.5.2 Natural Numbers -- 7.5.3 Integers -- 7.5.4 Other Numbers -- 7.5.5 Sets and Categories -- 7.5.6 Numbers and Late Identification -- 7.6 Further Work -- 8 Extensions -- 8.1 Textual Extensions -- 8.2 Symbolic Extensions -- 8.3 Covert Arguments -- Conclusion. |
Record Nr. | UNISA-996465600103316 |
Ganesalingam Mohan
![]() |
||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
The Language of Mathematics [[electronic resource] ] : A Linguistic and Philosophical Investigation / / by Mohan Ganesalingam |
Autore | Ganesalingam Mohan |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XX, 260 p. 15 illus.) |
Disciplina | 410.285 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Image processing—Digital techniques
Computer vision Machine theory Natural language processing (Computer science) Artificial intelligence Computer Imaging, Vision, Pattern Recognition and Graphics Formal Languages and Automata Theory Natural Language Processing (NLP) Artificial Intelligence |
ISBN | 3-642-37012-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction.-1.1 Challenges -- 1.2 Concepts.-1.2.1 Linguistics and Mathematic.-1.2.2 Time -- 1.2.3 Full Adaptivity -- .3 Scope -- 1.4 Structure -- 1.5 Previous Analyses -- 1.5.1 Ranta -- 1.5.2 de Bruijn -- 1.5.3 Computer Languages -- 1.5.4 Other Work -- 2 The Language of Mathematics -- 2.1 Text and Symbol -- 2.2 Adaptivity -- 2.3 Textual Mathematics -- 2.4 Symbolic Mathematics. -2.4.1 Ranta’s Account and Its Limitations -- 2.4.2 Surface Phenomena -- 2.4.3 Grammatical Status -- 2.4.4 Variables -- 2.4.5 Presuppositions -- 2.4.6 Symbolic Constructions -- 2.5 Rhetorical Structure -- 2.5.1 Blocks -- 2.5.2 Variables and Assumptions -- 2.6 Reanalysis -- 3 Theoretical Framework -- 3.1 Syntax -- 3.2 Types -- 3.3 Semantics -- 3.3.1 The Inadequacy of First-Order Logic -- 3.3.2 Discourse Representation Theory -- 3.3.3 Semantic Functions -- 3.3.4 Representing Variables -- 3.3.5 Localisable Presuppositions -- 3.3.6 Plurals -- 3.3.7 Compositionality -- 3.3.8 Ambiguity and Type -- 3.4 Adaptivity -- 3.4.1 Definitions in Mathematics -- 3.4.2 Real Definitions and Functional Categories -- 3.5 Rhetorical Structure -- 3.5.1 Explanation -- 3.5.2 Blocks -- 3.5.3 Variables and Assumptions -- 3.5.4 Related Work: DRT in NaProChe -- 3.6 Conclusion -- 4 Ambiguity.-4.1 Ambiguity in Symbolic Mathematics.-4.1.1 Ambiguity in Symbolic Material.-4.1.2 Survey: Ambiguity in Formal Languages.-4.1.3 Failure of Standard Mechanisms -- 4.1.4 Discussion.-4.1.5 Disambiguation without Type -- 4.2 Ambiguity in Textual Mathematics.-4.2.1 Survey: Ambiguity in Natural Languages.-4.2.2 Ambiguity in Textual Mathematics -- 4.2.3 Disambiguation without Type -- 4.3 Text and Symbol -- 4.3.1 Dependence of Symbol on Text -- 4.3.2 Dependence of Text on Symbol -- 4.3.3 Text and Symbol: Conclusion -- 4.4 Conclusion -- 5 Type -- 5.1 Distinguishing Notions of Type -- 5.1.1 Types as Formal Tags -- 5.1.2 Types as Properties -- 5.2 Notions of Type in Mathematics -- 5.2.1 Aspect as Formal Tags -- .2.2 Aspect as Properties -- 5.3 Type Distinctions in Mathematics -- 5.3.1 Methodology -- 5.3.2 Examining the Foundations -- 5.3.3 Simple Distinctions -- 5.3.4 Non-extensionality.-5.3.5 Homogeneity and Open Types -- 5.4 Types in Mathematics -- 5.4.1 Presenting Type: Syntax and Semantics -- 5.4.2 Fundamental Type -- 5.4.3 Relational Type -- 5.4.4 Inferential Type -- 5.4.5 Type Inference -- 5.4.6 Type Parametrism -- 5.4.7 Subtyping -- 5.4.8 Type Coercion -- 5.5 Types and Type Theory -- 6 TypedParsing -- 6.1 Type Assignment -- .1.1 Mechanisms -- 6.1.2 Example -- 6.2 Type Requirements -- 6.3 Parsing -- 6.3.1 Type -- 6.3.2 Variables.-6.3.3 Structural Disambiguation -- 6.3.4 Type Cast Minimisation -- 6.3.5 Symmetry Breaking -- 6.4 Example -- 6.5 Further Work -- 7 Foundations -- 7.1 Approach -- 7.2 False Starts -- 7.2.1 All Objects as Sets -- 7.2.2 Hierarchy of Numbers -- 7.2.3 Summary of Standard Picture -- 7.2.4 Invisible Embeddings -- 7.2.5 Introducing Ontogeny -- 7.2.6 Redefinition -- 7.2.7 Manual Replacement -- 7.2.8 Identification and Conservativity -- 7.2.9 Isomorphisms Are Inadequate -- 7.3 Central Problems -- 7.3.1 Ontology and Epistemology -- 7.3.2 Identification -- 7.3.3 Ontogeny -- 7.4 Formalism -- 7.4.1 Abstraction -- 7.4.2 Identification -- 7.5 Application.-7.5.1 Simple Objects.-7.5.2 Natural Numbers -- 7.5.3 Integers -- 7.5.4 Other Numbers -- 7.5.5 Sets and Categories -- 7.5.6 Numbers and Late Identification -- 7.6 Further Work -- 8 Extensions -- 8.1 Textual Extensions -- 8.2 Symbolic Extensions -- 8.3 Covert Arguments -- Conclusion. |
Record Nr. | UNINA-9910741164003321 |
Ganesalingam Mohan
![]() |
||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Language Production, Cognition, and the Lexicon [[electronic resource] /] / edited by Núria Gala, Reinhard Rapp, Gemma Bel-Enguix |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (578 p.) |
Disciplina | 410.285 |
Collana | Text, Speech and Language Technology |
Soggetto topico |
Application software
Computational linguistics Psycholinguistics Computer Appl. in Arts and Humanities Computational Linguistics |
ISBN | 3-319-08043-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Michael Zock: A Life of Interdisciplinary Research and International Engagement. Mark T. Maybury -- Part I.Michael Zock and Cognitive Natural Language Processing -- Towards a Cognitive Natural Language Processing Perspective. Bernadette Sharp -- Cognitive Systems as Explanatory Artificial Intelligence. Sergei Nirenburg -- Part II.Lexicon and Lexical Analysis -- Lexical Contextualism: the Abélard Syndrome. Alain Polguère -- Predicative Lexical Units in Terminology. Marie Claude L'Homme -- TOTAKI: a Help for Lexical Access on the tip-of-the-tongue Problem. Mathieu Lafourcade and Alain Joubert -- Typing Relations in Distributional Thesauri. Olivier Ferret -- Multilingual Conceptual Access to Lexicon based on Shared Orthography: An ontology-driven study of Chinese and Japanese. Chu-Ren Huang, Ya-Min Chou -- Proportional Analogy in Written Language Data. Yves Lepage -- Multilingual Projections. Pushpak Bhattacharyya -- Part III.Semantics -- Personal Semantics. Gregory Grefenstette -- Accessing Words in a Speaker’s Lexicon: Comparisons of Relatedness Measures through a Word Sense Disambiguation Task. Didier Schwab, Jérôme Goulian, Gilles Sérasset & Andon Tchechmedjiev -- Can Metaphors be Interpreted Cross-linguistically and Cross-culturally? Yorick Wilks -- Recursion and Ambiguity: a Linguistic and Computational Perspective. Rodolfo Delmonte -- Part IV.Language and Speech Analysis and Generation -- Consonants as Skeleton of Language. Statistical Evidences through Text Production. Kumiko Tanaka-Ishii -- How Natural are Artificial Languages? Rebecca Smaha & Christiane Fellbaum -- Handling Defaults and their Exceptions in Controlled Natural Language. Rolf Schwitter -- Ontology in Coq for a Guided Message Composition. Line Jakubiec-Jamet -- Bridging Gaps between Planning and Open-domain Spoken Dialogues. Kristiina Jokinen -- JSREAL: A Text Realizer for Web Programming. Nicolas Daoust and Guy Lapalme -- Part V.Reading and Writing Technologies -- Simple or not, Simple… A Readability Question? Sanja Stajner, Ruslan Mitkov, Gloria Corpas Pastor -- An Approach to Improve a Language Quality of Requirements. Juyeon Kang, Patrick Saint-Dizier -- Learning from Errors. Systematic Analysis of Complex Writing Errors for Improving Writing Technology. Cerstin Mahlow -- Part VI.Language Resources and Language Engineering -- Language Matrices and the Language Resource Impact Factor. Joseph Mariani, Gil Francopoulo -- The Fips Multilingual Parser. Eric Wehrli, Luka Nerima -- The Lexical Ontology for Romanian. Dan Tufis and Verginica Barbu-Mititelu -- Quo Vadis: A Corpus of Entities and Relations. Dan Cristea, Daniela Gîfu, Mihaela Colhon, Paul Diac, Anca Bibiri, Cătălina Mărănduc, Liviu-Andreai Scutelnicu -- AusTalk and the HCS vLab: an Australian Corpus and Human Communication Science Collaboration Down Under. Dominique Estival -- Knowledge Services Innovation: When Language Engineering Marries Knowledge Engineering. Asanee Kawtrakul. |
Record Nr. | UNINA-9910299236103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|