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.
Anaphora Processing and Applications [[electronic resource] ] : 7th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2009 Goa, India, November 5-6, 2009 Proceedings / / edited by Lalitha Devi Sobha, António Branco, Ruslan Mitkov
| Anaphora Processing and Applications [[electronic resource] ] : 7th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2009 Goa, India, November 5-6, 2009 Proceedings / / edited by Lalitha Devi Sobha, António Branco, Ruslan Mitkov |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 131 p.) |
| Disciplina | 004n/a |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Natural language processing (Computer science) Data mining Mathematical logic Artificial Intelligence Natural Language Processing (NLP) Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages |
| Soggetto genere / forma |
Goa (Stadt, 2009)
Kongress. |
| ISBN | 3-642-04975-3 |
| Classificazione |
DAT 710f
SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Resolution Methodology -- Why Would a Robot Make Use of Pronouns? An Evolutionary Investigation of the Emergence of Pronominal Anaphora -- Automatic Recognition of the Function of Singular Neuter Pronouns in Texts and Spoken Data -- A Deeper Look into Features for Coreference Resolution -- Computational Applications -- Coreference Resolution on Blogs and Commented News -- Identification of Similar Documents Using Coherent Chunks -- Language Analysis -- Binding without Identity: Towards a Unified Semantics for Bound and Exempt Anaphors -- The Doubly Marked Reflexive in Chinese -- Human Processing -- Definiteness Marking Shows Late Effects during Discourse Processing: Evidence from ERPs -- Pronoun Resolution to Commanders and Recessors: A View from Event-Related Brain Potentials -- Effects of Anaphoric Dependencies and Semantic Representations on Pronoun Interpretation. |
| Record Nr. | UNISA-996465643703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Anaphora processing and applications : 7th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2009, Goa, India, November 5-6, 2009 : proceedings / / Sobha Lalitha Devi, Antnio Branco, Ruslan Mitkov (eds.)
| Anaphora processing and applications : 7th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2009, Goa, India, November 5-6, 2009 : proceedings / / Sobha Lalitha Devi, Antnio Branco, Ruslan Mitkov (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2009 |
| Descrizione fisica | 1 online resource (X, 131 p.) |
| Disciplina | 004n/a |
| Altri autori (Persone) |
MitkovRuslan
Lalitha DeviSobha BrancoAntnio |
| Collana |
LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in computer science,Lecture notes in artificial intelligence |
| Soggetto topico |
Discourse analysis
Anaphora (Linguistics) |
| ISBN | 3-642-04975-3 |
| Classificazione |
DAT 710f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Resolution Methodology -- Why Would a Robot Make Use of Pronouns? An Evolutionary Investigation of the Emergence of Pronominal Anaphora -- Automatic Recognition of the Function of Singular Neuter Pronouns in Texts and Spoken Data -- A Deeper Look into Features for Coreference Resolution -- Computational Applications -- Coreference Resolution on Blogs and Commented News -- Identification of Similar Documents Using Coherent Chunks -- Language Analysis -- Binding without Identity: Towards a Unified Semantics for Bound and Exempt Anaphors -- The Doubly Marked Reflexive in Chinese -- Human Processing -- Definiteness Marking Shows Late Effects during Discourse Processing: Evidence from ERPs -- Pronoun Resolution to Commanders and Recessors: A View from Event-Related Brain Potentials -- Effects of Anaphoric Dependencies and Semantic Representations on Pronoun Interpretation. |
| Altri titoli varianti | DAARC 2009 |
| Record Nr. | UNINA-9910485049103321 |
| Berlin ; ; New York, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Aspects of Natural Language Processing [[electronic resource] ] : Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday / / edited by Malgorzata Marciniak, Agnieszka Mykowiecka
| Aspects of Natural Language Processing [[electronic resource] ] : Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday / / edited by Malgorzata Marciniak, Agnieszka Mykowiecka |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XIV, 449 p.) |
| Disciplina | 004 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Natural language processing (Computer science)
Artificial intelligence Data mining Mathematical logic User interfaces (Computer systems) Natural Language Processing (NLP) Artificial Intelligence Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages User Interfaces and Human Computer Interaction |
| Soggetto genere / forma | Aufsatzsammlung |
| ISBN | 3-642-04735-1 |
| Classificazione |
DAT 003f
DAT 710f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Logic -- Wisdom Technology: A Rough-Granular Approach -- Paraconsistent Reasoning with Words -- Language -- On the Root-Based Lexicon for Polish -- Representation of Uzbek Morphology in Prolog -- Inflection of Polish Multi-Word Proper Names with Morfeusz and Multiflex -- A New Formal Definition of Polish Nominal Phrases -- Morphosyntactic Constraints in the Acquisition of Linguistic Knowledge for Polish -- Towards the Automatic Acquisition of a Valence Dictionary for Polish -- Semantic Annotation of Verb Arguments in Shallow Parsed Polish Sentences by Means of the EM Selection Algorithm -- Adjectives: Constructions vs. Valence -- Applications -- User-Centered Design for a Voice Portal -- Speech Understanding System SUSY—A New Version of the Speech Synthesis Program -- Exploring Curvature-Based Topic Development Analysis for Detecting Event Reporting Boundaries -- Domain Model for Medical Information Extraction—The LightMedOnt Ontology -- A Survey of Text Processing Tools for the Automatic Analysis of Molecular Sequences -- Intelligent Decision Support: A Fuzzy Stock Ranking System -- COLLANE: An Experiment in Computer-Mediated Tacit Collaboration. |
| Record Nr. | UNISA-996465383003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Aspects of natural language processing : essays dedicated to Leonard Bolc on the occasion of his 75th Birthday / / Magorzata Marciniak, Agnieszka Mykowiecka (eds.)
| Aspects of natural language processing : essays dedicated to Leonard Bolc on the occasion of his 75th Birthday / / Magorzata Marciniak, Agnieszka Mykowiecka (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer-Verlag, c2009 |
| Descrizione fisica | 1 online resource (XIV, 449 p.) |
| Disciplina | 004 |
| Altri autori (Persone) |
MarciniakMagorzata
MykowieckaAgnieszka |
| Collana | Lecture notes in computer science |
| Soggetto topico | Natural language processing (Computer science) |
| ISBN | 3-642-04735-1 |
| Classificazione |
DAT 003f
DAT 710f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Logic -- Wisdom Technology: A Rough-Granular Approach -- Paraconsistent Reasoning with Words -- Language -- On the Root-Based Lexicon for Polish -- Representation of Uzbek Morphology in Prolog -- Inflection of Polish Multi-Word Proper Names with Morfeusz and Multiflex -- A New Formal Definition of Polish Nominal Phrases -- Morphosyntactic Constraints in the Acquisition of Linguistic Knowledge for Polish -- Towards the Automatic Acquisition of a Valence Dictionary for Polish -- Semantic Annotation of Verb Arguments in Shallow Parsed Polish Sentences by Means of the EM Selection Algorithm -- Adjectives: Constructions vs. Valence -- Applications -- User-Centered Design for a Voice Portal -- Speech Understanding System SUSY—A New Version of the Speech Synthesis Program -- Exploring Curvature-Based Topic Development Analysis for Detecting Event Reporting Boundaries -- Domain Model for Medical Information Extraction—The LightMedOnt Ontology -- A Survey of Text Processing Tools for the Automatic Analysis of Molecular Sequences -- Intelligent Decision Support: A Fuzzy Stock Ranking System -- COLLANE: An Experiment in Computer-Mediated Tacit Collaboration. |
| Record Nr. | UNINA-9910484450903321 |
| Berlin ; ; New York, : Springer-Verlag, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Evaluating Systems for Multilingual and Multimodal Information Access [[electronic resource] ] : 9th Workshop of the Cross-Language Evaluation Forum, CLEF 2008, Aarhus, Denmark, September 17-19, 2008, Revised Selected Papers / / edited by Thomas Deselaers, Nicola Ferro, Julio Gonzalo, Mikko Kurimo, Thomas Mandl, Vivien Petras
| Evaluating Systems for Multilingual and Multimodal Information Access [[electronic resource] ] : 9th Workshop of the Cross-Language Evaluation Forum, CLEF 2008, Aarhus, Denmark, September 17-19, 2008, Revised Selected Papers / / edited by Thomas Deselaers, Nicola Ferro, Julio Gonzalo, Mikko Kurimo, Thomas Mandl, Vivien Petras |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XXIV, 1002 p.) |
| Disciplina | 025.0422gerDNB |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Natural language processing (Computer science)
Computational linguistics User interfaces (Computer systems) Human-computer interaction Information storage and retrieval systems Data mining Application software Natural Language Processing (NLP) Computational Linguistics User Interfaces and Human Computer Interaction Information Storage and Retrieval Data Mining and Knowledge Discovery Computer and Information Systems Applications |
| ISBN | 3-642-04447-6 |
| Classificazione |
AN 95000
DAT 710f DAT 825f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | What Happened in CLEF 2008 -- I: Multilingual Textual Document Retrieval (Ad Hoc) -- TEL@CLEF -- Persian@CLEF -- Robust-WSD -- Ad Hoc Mixed: TEL and Persian -- II: Mono- and Cross-Language Scientific Data Retrieval (Domain-Specific) -- III: Interactive Cross-Language Retrieval (iCLEF) -- IV: Multiple Language Question Answering (QA@CLEF) -- Mono and Bilingual QA -- Answer Validation Exercise (AVE) -- Question Answering on Script Transcription (QAST) -- V: Cross-Language Retrieval in Image Collections (ImageCLEF) -- ImageCLEFphoto -- ImageCLEFmed -- ImageCLEFWiki -- VI: Multilingual Web Track (WebCLEF) -- VII: Cross-Language Geographical Retrieval (GeoCLEF) -- VIII: Cross-Language Video Retrieval (VideoCLEF) -- IX: Multilingual Information Filtering (INFILE@CLEF) -- X: Morpho Challenge at CLEF 2008. |
| Record Nr. | UNISA-996465633303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Evaluating Systems for Multilingual and Multimodal Information Access : 9th Workshop of the Cross-Language Evaluation Forum, CLEF 2008, Aarhus, Denmark, September 17-19, 2008, Revised Selected Papers / / edited by Thomas Deselaers, Nicola Ferro, Julio Gonzalo, Mikko Kurimo, Thomas Mandl, Vivien Petras
| Evaluating Systems for Multilingual and Multimodal Information Access : 9th Workshop of the Cross-Language Evaluation Forum, CLEF 2008, Aarhus, Denmark, September 17-19, 2008, Revised Selected Papers / / edited by Thomas Deselaers, Nicola Ferro, Julio Gonzalo, Mikko Kurimo, Thomas Mandl, Vivien Petras |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XXIV, 1002 p.) |
| Disciplina | 025.0422gerDNB |
| Altri autori (Persone) | PetersC (Carol) |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Natural language processing (Computer science)
Computational linguistics User interfaces (Computer systems) Human-computer interaction Information storage and retrieval systems Data mining Application software Natural Language Processing (NLP) Computational Linguistics User Interfaces and Human Computer Interaction Information Storage and Retrieval Data Mining and Knowledge Discovery Computer and Information Systems Applications |
| ISBN | 3-642-04447-6 |
| Classificazione |
AN 95000
DAT 710f DAT 825f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | What Happened in CLEF 2008 -- I: Multilingual Textual Document Retrieval (Ad Hoc) -- TEL@CLEF -- Persian@CLEF -- Robust-WSD -- Ad Hoc Mixed: TEL and Persian -- II: Mono- and Cross-Language Scientific Data Retrieval (Domain-Specific) -- III: Interactive Cross-Language Retrieval (iCLEF) -- IV: Multiple Language Question Answering (QA@CLEF) -- Mono and Bilingual QA -- Answer Validation Exercise (AVE) -- Question Answering on Script Transcription (QAST) -- V: Cross-Language Retrieval in Image Collections (ImageCLEF) -- ImageCLEFphoto -- ImageCLEFmed -- ImageCLEFWiki -- VI: Multilingual Web Track (WebCLEF) -- VII: Cross-Language Geographical Retrieval (GeoCLEF) -- VIII: Cross-Language Video Retrieval (VideoCLEF) -- IX: Multilingual Information Filtering (INFILE@CLEF) -- X: Morpho Challenge at CLEF 2008. |
| Record Nr. | UNINA-9910484659203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Human language technology : challenges of the information society ; third Language and Technology Conference, LTC 2007, Poznan, Poland, October 5-7, 2007 : revised selected papers / / Zygmunt Vetulani, Hans Uszkoreit (eds.)
| Human language technology : challenges of the information society ; third Language and Technology Conference, LTC 2007, Poznan, Poland, October 5-7, 2007 : revised selected papers / / Zygmunt Vetulani, Hans Uszkoreit (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer-Verlag, c2009 |
| Descrizione fisica | 1 online resource (XVI, 472 p.) |
| Disciplina | 006.35 |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 7, Artificial intelligence |
| Soggetto topico |
Computational linguistics
Semantic networks (Information theory) |
| ISBN | 3-642-04235-X |
| Classificazione |
DAT 710f
ES 900 SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Speech Processing -- Exploring the Structure of Broadcast News for Topic Segmentation -- Application of Slope Filtering to Robust Spectral Envelope Extraction for Speech/Speaker Recognition -- Spoken Language Interface for Mobile Devices -- A Study on Bilingual Speech Recognition Involving a Minority Language -- Annotated Corpus of Polish Spoken Dialogues -- Triphone Statistics for Polish Language -- Computational Morphology -- ROG – A Paradigmatic Morphological Generator for Romanian -- Building a Morphosyntactic Lexicon and a Pre-syntactic Processing Chain for Polish -- A Relational Model of Polish Inflection in Grammatical Dictionary of Polish -- Parsing and Generation -- Syntactic Spreadsheets: In Search for a Human-Readable Representation of Parse Tree Forests -- A Hybrid System for Named Entity Metonymy Resolution -- Spejd: A Shallow Processing and Morphological Disambiguation Tool -- Flexible Natural Language Generation in Multiple Contexts -- A Measure of the Number of True Analogies between Chunks in Japanese -- Shallow Parsing of Transcribed Speech of Estonian and Disfluency Detection -- Mining Parsing Results for Lexical Correction: Toward a Complete Correction Process of Wide-Coverage Lexicons -- Efficient Parsing Using Recursive Transition Networks with Output -- The Deep Parser for Polish -- Computational Semantics -- Automatically Determining Attitude Type and Force for Sentiment Analysis -- A Readability Checker Based on Deep Semantic Indicators -- The DANTE Temporal Expression Tagger -- Hybrid Unsupervised Learning to Uncover Discourse Structure -- Pronoun Resolution in Turkish Using Decision Tree and Rule-Based Learning Algorithms -- Digital Language Resources -- LMF-QL: A Graphical Tool to Query LMF Databases for NLP and Editorial Use -- Novelty Extraction from Special and Parallel Corpora -- Construction of Text Corpus of Polish Using the Internet -- A Predicate Database for Assisting the Design of a Lexicon-Grammar of Predicative Nouns -- A Standard Lexical-Terminological Resource for the Bio Domain -- Extracting Collocations in Contexts -- WordNet -- Putting Semantics into WordNet’s "Morphosemantic" Links -- Leveraging Parallel Corpora and Existing Wordnets for Automatic Construction of the Slovene Wordnet -- An Algorithm for Building Lexical Semantic Network and Its Application to PolNet - Polish WordNet Project -- Information Retrieval/Extraction -- ECODE: A Definition Extraction System -- Using Graph-Based Indexing to Identify Subject-Shift in Topic Tracking -- Result Aggregation for Knowledge-Intensive Multicultural Name Matching -- Comparison of String Distance Metrics for Lemmatisation of Named Entities in Polish -- An Iterative Model for Discovering Person Coreferences Using Name Frequency Estimates -- Machine Translation -- Hapax Legomena: Their Contribution in Number and Efficiency to Word Alignment -- Statistical Machine Translation from Slovenian to English Using Reduced Morphology -- Semi-automatic Creation of a Dictionary of Nominal Compounds. |
| Altri titoli varianti | LTC 2007 |
| Record Nr. | UNINA-9910484472003321 |
| Berlin ; ; Heidelberg, : Springer-Verlag, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Human Language Technology. Challenges of the Information Society [[electronic resource] ] : Third Language and Technology Conference, LTC 2007, Poznan, Poland, October 5-7, 2007, Revised Selected Papers / / edited by Zygmunt Vetulani, Hans Uszkoreit
| Human Language Technology. Challenges of the Information Society [[electronic resource] ] : Third Language and Technology Conference, LTC 2007, Poznan, Poland, October 5-7, 2007, Revised Selected Papers / / edited by Zygmunt Vetulani, Hans Uszkoreit |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XVI, 472 p.) |
| Disciplina | 006.35 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Natural language processing (Computer science)
Application software Biometrics (Biology) Pattern recognition Natural Language Processing (NLP) Computer Appl. in Arts and Humanities Biometrics Pattern Recognition |
| ISBN | 3-642-04235-X |
| Classificazione |
DAT 710f
ES 900 SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Speech Processing -- Exploring the Structure of Broadcast News for Topic Segmentation -- Application of Slope Filtering to Robust Spectral Envelope Extraction for Speech/Speaker Recognition -- Spoken Language Interface for Mobile Devices -- A Study on Bilingual Speech Recognition Involving a Minority Language -- Annotated Corpus of Polish Spoken Dialogues -- Triphone Statistics for Polish Language -- Computational Morphology -- ROG – A Paradigmatic Morphological Generator for Romanian -- Building a Morphosyntactic Lexicon and a Pre-syntactic Processing Chain for Polish -- A Relational Model of Polish Inflection in Grammatical Dictionary of Polish -- Parsing and Generation -- Syntactic Spreadsheets: In Search for a Human-Readable Representation of Parse Tree Forests -- A Hybrid System for Named Entity Metonymy Resolution -- Spejd: A Shallow Processing and Morphological Disambiguation Tool -- Flexible Natural Language Generation in Multiple Contexts -- A Measure of the Number of True Analogies between Chunks in Japanese -- Shallow Parsing of Transcribed Speech of Estonian and Disfluency Detection -- Mining Parsing Results for Lexical Correction: Toward a Complete Correction Process of Wide-Coverage Lexicons -- Efficient Parsing Using Recursive Transition Networks with Output -- The Deep Parser for Polish -- Computational Semantics -- Automatically Determining Attitude Type and Force for Sentiment Analysis -- A Readability Checker Based on Deep Semantic Indicators -- The DANTE Temporal Expression Tagger -- Hybrid Unsupervised Learning to Uncover Discourse Structure -- Pronoun Resolution in Turkish Using Decision Tree and Rule-Based Learning Algorithms -- Digital Language Resources -- LMF-QL: A Graphical Tool to Query LMF Databases for NLP and Editorial Use -- Novelty Extraction from Special and Parallel Corpora -- Construction of Text Corpus of Polish Using the Internet -- A Predicate Database for Assisting the Design of a Lexicon-Grammar of Predicative Nouns -- A Standard Lexical-Terminological Resource for the Bio Domain -- Extracting Collocations in Contexts -- WordNet -- Putting Semantics into WordNet’s "Morphosemantic" Links -- Leveraging Parallel Corpora and Existing Wordnets for Automatic Construction of the Slovene Wordnet -- An Algorithm for Building Lexical Semantic Network and Its Application to PolNet - Polish WordNet Project -- Information Retrieval/Extraction -- ECODE: A Definition Extraction System -- Using Graph-Based Indexing to Identify Subject-Shift in Topic Tracking -- Result Aggregation for Knowledge-Intensive Multicultural Name Matching -- Comparison of String Distance Metrics for Lemmatisation of Named Entities in Polish -- An Iterative Model for Discovering Person Coreferences Using Name Frequency Estimates -- Machine Translation -- Hapax Legomena: Their Contribution in Number and Efficiency to Word Alignment -- Statistical Machine Translation from Slovenian to English Using Reduced Morphology -- Semi-automatic Creation of a Dictionary of Nominal Compounds. |
| Record Nr. | UNISA-996465645103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic, Language, Information, and Computation [[electronic resource] ] : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings / / edited by Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz
| Logic, Language, Information, and Computation [[electronic resource] ] : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings / / edited by Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 283 p. 15 illus.) |
| Disciplina | 005.101/5113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Artificial intelligence Computer science—Mathematics Computer science Formal Languages and Automata Theory Artificial Intelligence Symbolic and Algebraic Manipulation Computer Science |
| ISBN | 3-642-39992-4 |
| Classificazione |
004
DAT 540f DAT 710f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Logic and Agent Programming Languages -- Natural Models of Homotopy Type Theory (Abstract) -- Modelling Infinite Structures with Atoms -- Counting in SPARQL Property Paths: Perspectives from Theory and Practice -- Quantitative Approaches to Information Protection -- Perspectives of Dynamic Complexity -- Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach -- First Order Extensions of Residue Classes and Uniform Circuit Complexity -- Quantum Probabilistic Dyadic Second-Order Logic -- Structural Extensions of Display Calculi: A General Recipe -- The Same, Similar, or Just Completely Different? Equivalence for Argumentation in Light of Logic -- Boolean Dependence Logic and Partially-Ordered Connectives -- Extended Modal Dependence Logic EMDL -- Dependence Logic with Generalized Quantifiers: Axiomatizations -- Continuous Truth II: Reflections -- A Simple Separation Logic -- Independence in Database Relations -- Substructural Logic of Proofs -- Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics -- A Finite Model Property for G¨odel Modal Logics -- Model Checking for Modal Dependence Logic: An Approach through Post’s Lattice -- Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL -- Information, Awareness and Substructural Logics. |
| Record Nr. | UNISA-996465952903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings / / edited by Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz
| Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings / / edited by Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 283 p. 15 illus.) |
| Disciplina | 005.101/5113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Artificial intelligence Computer science—Mathematics Computer science Formal Languages and Automata Theory Artificial Intelligence Symbolic and Algebraic Manipulation Computer Science |
| ISBN | 3-642-39992-4 |
| Classificazione |
004
DAT 540f DAT 710f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Logic and Agent Programming Languages -- Natural Models of Homotopy Type Theory (Abstract) -- Modelling Infinite Structures with Atoms -- Counting in SPARQL Property Paths: Perspectives from Theory and Practice -- Quantitative Approaches to Information Protection -- Perspectives of Dynamic Complexity -- Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach -- First Order Extensions of Residue Classes and Uniform Circuit Complexity -- Quantum Probabilistic Dyadic Second-Order Logic -- Structural Extensions of Display Calculi: A General Recipe -- The Same, Similar, or Just Completely Different? Equivalence for Argumentation in Light of Logic -- Boolean Dependence Logic and Partially-Ordered Connectives -- Extended Modal Dependence Logic EMDL -- Dependence Logic with Generalized Quantifiers: Axiomatizations -- Continuous Truth II: Reflections -- A Simple Separation Logic -- Independence in Database Relations -- Substructural Logic of Proofs -- Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics -- A Finite Model Property for G¨odel Modal Logics -- Model Checking for Modal Dependence Logic: An Approach through Post’s Lattice -- Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL -- Information, Awareness and Substructural Logics. |
| Record Nr. | UNINA-9910483554103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
