top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
La macchina e il linguaggio / Domenico Parisi, Cristiano Castelfranchi
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Language and computers : a pratical introduction to the computer analysis of language / Geoff, Barnbrook
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
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Language and the internet / David Crystal
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
Materiale a stampa
Lo trovi qui: Univ. di Cassino
Opac: Controlla la disponibilità qui
Language engineering for lesser-studied languages [[electronic resource] /] / edited by Sergei Nirenburg
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Language engineering for lesser-studied languages [[electronic resource] /] / edited by Sergei Nirenburg
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Language engineering for lesser-studied languages [[electronic resource] /] / edited by Sergei Nirenburg
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Language Identification Using Excitation Source Features / / by K. Sreenivasa Rao, Dipanjan Nandi
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
The Language of Mathematics [[electronic resource] ] : A Linguistic and Philosophical Investigation / / by Mohan Ganesalingam
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
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
The Language of Mathematics [[electronic resource] ] : A Linguistic and Philosophical Investigation / / by Mohan Ganesalingam
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Language Production, Cognition, and the Lexicon [[electronic resource] /] / edited by Núria Gala, Reinhard Rapp, Gemma Bel-Enguix
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
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui

Data di pubblicazione

Altro...