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.
Intelligent Computer Mathematics [[electronic resource] ] : CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings / / edited by Stephen M. Watt, Alan Sexton, James H. Davenport, Petr Sojka, Josef Urban
| Intelligent Computer Mathematics [[electronic resource] ] : CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings / / edited by Stephen M. Watt, Alan Sexton, James H. Davenport, Petr Sojka, Josef Urban |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XX, 458 p. 111 illus.) |
| Disciplina | 512 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computer science—Mathematics
Artificial intelligence Mathematical logic Natural language processing (Computer science) Information storage and retrieval Symbolic and Algebraic Manipulation Artificial Intelligence Math Applications in Computer Science Mathematical Logic and Formal Languages Natural Language Processing (NLP) Information Storage and Retrieval |
| ISBN | 3-319-08434-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks.-What International Studies Say about the Importance and Limitations of Using Computers to Teach Mathematics in Secondary Schools -- Towards Robust Hyperlinks for Web-Based Scholarly Communication -- Computable Data, Mathematics, and Digital Libraries in Mathematica and Wolfram Alpha -- Calculemus -- Towards the Formal Reliability Analysis of Oil and Gas Pipelines -- Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition -- A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata -- Detecting Unknots via Equational Reasoning, I: Exploration -- Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition -- Hipster: Integrating Theory Exploration in a Proof Assistant -- Formalization of Complex Vectors in Higher-Order Logic -- A Mathematical Structure for Modeling Inventions -- Digital Mathematics Library -- Search Interfaces for Mathematicians -- A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics -- PDF/A-3u as an Archival Format for Accessible Mathematics -- Which One Is Better: Presentation-Based or Content-Based Math Search? -- POS Tagging and Its Applications for Mathematics -- Mathoid: Robust, Scalable, Fast and Accessible Math Rendering for Wikipedia -- Mathematical Knowledge Management -- Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? -- Realms: A Structure for Consolidating Knowledge about Mathematical Theories -- Matching Concepts across HOL Libraries -- Mining State-Based Models from Proof Corpora -- Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices -- Flexary Operators for Formalized Mathematics -- Interactive Simplifier Tracing and Debugging in Isabelle -- Towards an Interaction-based Integration of MKM Services into End-User Applications -- Towards Knowledge Management for HOL Light -- Automated Improving of Proof Legibility in the Mizar System -- A Vernacular for Coherent Logic -- An Approach to Math-Similarity Search -- Systems and Projects -- Digital Repository of Mathematical Formulae -- NNexus Reloaded -- E-books and Graphics with LATExml -- System Description: MathHub.info -- Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description -- System Description: A Semantics-Aware LATEX-to-Office Converter -- Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematicians’ Information Needs -- SAT-Enhanced Mizar Proof Checking -- A Framework for Formal Reasoning about Geometrical Optics. |
| Record Nr. | UNISA-996199993903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Intelligent Computer Mathematics : CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings / / edited by Stephen M. Watt, Alan Sexton, James H. Davenport, Petr Sojka, Josef Urban
| Intelligent Computer Mathematics : CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings / / edited by Stephen M. Watt, Alan Sexton, James H. Davenport, Petr Sojka, Josef Urban |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XX, 458 p. 111 illus.) |
| Disciplina | 512 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computer science—Mathematics
Artificial intelligence Mathematical logic Natural language processing (Computer science) Information storage and retrieval Symbolic and Algebraic Manipulation Artificial Intelligence Math Applications in Computer Science Mathematical Logic and Formal Languages Natural Language Processing (NLP) Information Storage and Retrieval |
| ISBN | 3-319-08434-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks.-What International Studies Say about the Importance and Limitations of Using Computers to Teach Mathematics in Secondary Schools -- Towards Robust Hyperlinks for Web-Based Scholarly Communication -- Computable Data, Mathematics, and Digital Libraries in Mathematica and Wolfram Alpha -- Calculemus -- Towards the Formal Reliability Analysis of Oil and Gas Pipelines -- Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition -- A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata -- Detecting Unknots via Equational Reasoning, I: Exploration -- Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition -- Hipster: Integrating Theory Exploration in a Proof Assistant -- Formalization of Complex Vectors in Higher-Order Logic -- A Mathematical Structure for Modeling Inventions -- Digital Mathematics Library -- Search Interfaces for Mathematicians -- A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics -- PDF/A-3u as an Archival Format for Accessible Mathematics -- Which One Is Better: Presentation-Based or Content-Based Math Search? -- POS Tagging and Its Applications for Mathematics -- Mathoid: Robust, Scalable, Fast and Accessible Math Rendering for Wikipedia -- Mathematical Knowledge Management -- Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? -- Realms: A Structure for Consolidating Knowledge about Mathematical Theories -- Matching Concepts across HOL Libraries -- Mining State-Based Models from Proof Corpora -- Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices -- Flexary Operators for Formalized Mathematics -- Interactive Simplifier Tracing and Debugging in Isabelle -- Towards an Interaction-based Integration of MKM Services into End-User Applications -- Towards Knowledge Management for HOL Light -- Automated Improving of Proof Legibility in the Mizar System -- A Vernacular for Coherent Logic -- An Approach to Math-Similarity Search -- Systems and Projects -- Digital Repository of Mathematical Formulae -- NNexus Reloaded -- E-books and Graphics with LATExml -- System Description: MathHub.info -- Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description -- System Description: A Semantics-Aware LATEX-to-Office Converter -- Math Indexer and Searcher Web Interface: Towards Fulfillment of Mathematicians’ Information Needs -- SAT-Enhanced Mizar Proof Checking -- A Framework for Formal Reasoning about Geometrical Optics. |
| Record Nr. | UNINA-9910484944603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intelligent Computer Mathematics [[electronic resource] ] : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings / / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger
| Intelligent Computer Mathematics [[electronic resource] ] : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings / / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVI, 384 p. 100 illus.) |
| Disciplina | 005.131 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computer science—Mathematics
Artificial intelligence Mathematical logic Natural language processing (Computer science) Information storage and retrieval Symbolic and Algebraic Manipulation Artificial Intelligence Math Applications in Computer Science Mathematical Logic and Formal Languages Natural Language Processing (NLP) Information Storage and Retrieval |
| ISBN | 3-642-39320-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Calculemus -- The Rooster and the Butterflies -- Optimising Problem Formulation for Cylindrical Algebraic Decomposition -- The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation -- Certification of Bounds of Non-linear Functions: The Templates Method -- Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy -- A Universal Machine for Biform Theory Graphs -- MKM -- Mathematical Practice, Crowdsourcing, and Social Machines -- Automated Reasoning Service for HOL Light -- Understanding Branch Cuts of Expressions -- Formal Mathematics on Display: A Wiki for Flyspeck -- Determining Points on Handwritten Mathematical Symbols -- Capturing Hiproofs in HOL Light -- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory -- Students’ Comparison of Their Trigonometric Answers with the Answers of a Computer Algebra System -- DML -- Mathematics and the World Wide Web -- Structural Similarity Search for Mathematics Retrieval -- Towards Machine-Actionable Modules of a Digital Mathematics Library: The Example of DML-CZ -- A Hybrid Approach for Semantic Enrichment of MathML Mathematical Expressions -- Three Years of DLMF: Web, Math and Search -- Escaping the Trap of Too Precise Topic Queries -- Using MathML to Represent Units of Measurement for Improved Ontology Alignment -- Systems and Projects -- A Web Interface for Isabelle: The Next Generation -- The ForMaRE Project – Formal Mathematical Reasoning in Economics -- LATExml 2012 – A Year of LATExml -- The MMT API: A Generic MKM System -- Math-Net.Ru as a Digital Archive of the Russian Mathematical Knowledge from the XIX Century to Today -- A Dynamic Symbolic Geometry Environment Based on the GröbnerCover Algorithm for the Computation of Geometric Loci and Envelopes -- ML4PG in Computer Algebra Verification -- Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems -- The Web Geometry Laboratory Project -- swMATH – A New Information Service for Mathematical Software -- Software for Evaluating Relevance of Steps in Algebraic Transformations -- The DeLiVerMATH Project: Text Analysis in Mathematics. |
| Record Nr. | UNISA-996466249403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Intelligent Computer Mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings / / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger
| Intelligent Computer Mathematics : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings / / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVI, 384 p. 100 illus.) |
| Disciplina | 005.131 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computer science—Mathematics
Artificial intelligence Mathematical logic Natural language processing (Computer science) Information storage and retrieval Symbolic and Algebraic Manipulation Artificial Intelligence Math Applications in Computer Science Mathematical Logic and Formal Languages Natural Language Processing (NLP) Information Storage and Retrieval |
| ISBN | 3-642-39320-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Calculemus -- The Rooster and the Butterflies -- Optimising Problem Formulation for Cylindrical Algebraic Decomposition -- The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation -- Certification of Bounds of Non-linear Functions: The Templates Method -- Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy -- A Universal Machine for Biform Theory Graphs -- MKM -- Mathematical Practice, Crowdsourcing, and Social Machines -- Automated Reasoning Service for HOL Light -- Understanding Branch Cuts of Expressions -- Formal Mathematics on Display: A Wiki for Flyspeck -- Determining Points on Handwritten Mathematical Symbols -- Capturing Hiproofs in HOL Light -- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory -- Students’ Comparison of Their Trigonometric Answers with the Answers of a Computer Algebra System -- DML -- Mathematics and the World Wide Web -- Structural Similarity Search for Mathematics Retrieval -- Towards Machine-Actionable Modules of a Digital Mathematics Library: The Example of DML-CZ -- A Hybrid Approach for Semantic Enrichment of MathML Mathematical Expressions -- Three Years of DLMF: Web, Math and Search -- Escaping the Trap of Too Precise Topic Queries -- Using MathML to Represent Units of Measurement for Improved Ontology Alignment -- Systems and Projects -- A Web Interface for Isabelle: The Next Generation -- The ForMaRE Project – Formal Mathematical Reasoning in Economics -- LATExml 2012 – A Year of LATExml -- The MMT API: A Generic MKM System -- Math-Net.Ru as a Digital Archive of the Russian Mathematical Knowledge from the XIX Century to Today -- A Dynamic Symbolic Geometry Environment Based on the GröbnerCover Algorithm for the Computation of Geometric Loci and Envelopes -- ML4PG in Computer Algebra Verification -- Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems -- The Web Geometry Laboratory Project -- swMATH – A New Information Service for Mathematical Software -- Software for Evaluating Relevance of Steps in Algebraic Transformations -- The DeLiVerMATH Project: Text Analysis in Mathematics. |
| Record Nr. | UNINA-9910485017703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intelligent Computer Mathematics [[electronic resource] ] : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Proceedings / / edited by Johan Jeuring, John Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge
| Intelligent Computer Mathematics [[electronic resource] ] : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Proceedings / / edited by Johan Jeuring, John Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XVIII, 473 p. 117 illus.) |
| Disciplina | 005.131 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computer science—Mathematics
Artificial intelligence Mathematical logic Computer logic Information storage and retrieval Symbolic and Algebraic Manipulation Artificial Intelligence Math Applications in Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs Information Storage and Retrieval |
| ISBN | 3-642-31374-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465534503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Text, Speech and Dialogue [[electronic resource] ] : 17th International Conference, TSD 2014, Brno, Czech Republic, September 8-12, 2014, Proceedings / / edited by Petr Sojka, Aleš Horák, Ivan Kopeček, Karel Pala
| Text, Speech and Dialogue [[electronic resource] ] : 17th International Conference, TSD 2014, Brno, Czech Republic, September 8-12, 2014, Proceedings / / edited by Petr Sojka, Aleš Horák, Ivan Kopeček, Karel Pala |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVI, 613 p. 114 illus.) |
| Disciplina | 006.35 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Information storage and retrieval Database management Pattern recognition Data mining Artificial Intelligence Information Systems Applications (incl. Internet) Information Storage and Retrieval Database Management Pattern Recognition Data Mining and Knowledge Discovery |
| ISBN | 3-319-10816-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Empiric Introduction to Light Stochastic Binarization -- Comparative Study Concerning the Role of Surface Morphological Features in the Induction of Part-of-Speech Categories -- Automatic Adaptation of Author’s Stylometric Features to Document Types -- Detecting Commas in Slovak Legal Texts -- Detection and Classification of events in Hungarian natural language texts -- Generating Underspecified Descriptions of Landmark Objects -- A Topic Model Scoring Approach for Personalized QA Systems -- Feature Exploration for Authorship Attribution of Lithuanian Parliamentary Speeches -- Processing of Quantitative Expressions with Measurement Units in the Nominative, Genitive, and Accusative Cases for Belarusian and Russian -- Document Classification with Deep Rectifier Neural Networks and Probabilistic Sampling -- Sentence Similarity by Combining Explicit Semantic Analysis and Overlapping N-grams. |
| Record Nr. | UNISA-996202526103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Text, Speech and Dialogue : 17th International Conference, TSD 2014, Brno, Czech Republic, September 8-12, 2014, Proceedings / / edited by Petr Sojka, Aleš Horák, Ivan Kopeček, Karel Pala
| Text, Speech and Dialogue : 17th International Conference, TSD 2014, Brno, Czech Republic, September 8-12, 2014, Proceedings / / edited by Petr Sojka, Aleš Horák, Ivan Kopeček, Karel Pala |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVI, 613 p. 114 illus.) |
| Disciplina | 006.35 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Information storage and retrieval Database management Pattern recognition Data mining Artificial Intelligence Information Systems Applications (incl. Internet) Information Storage and Retrieval Database Management Pattern Recognition Data Mining and Knowledge Discovery |
| ISBN | 3-319-10816-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Empiric Introduction to Light Stochastic Binarization -- Comparative Study Concerning the Role of Surface Morphological Features in the Induction of Part-of-Speech Categories -- Automatic Adaptation of Author’s Stylometric Features to Document Types -- Detecting Commas in Slovak Legal Texts -- Detection and Classification of events in Hungarian natural language texts -- Generating Underspecified Descriptions of Landmark Objects -- A Topic Model Scoring Approach for Personalized QA Systems -- Feature Exploration for Authorship Attribution of Lithuanian Parliamentary Speeches -- Processing of Quantitative Expressions with Measurement Units in the Nominative, Genitive, and Accusative Cases for Belarusian and Russian -- Document Classification with Deep Rectifier Neural Networks and Probabilistic Sampling -- Sentence Similarity by Combining Explicit Semantic Analysis and Overlapping N-grams. |
| Record Nr. | UNINA-9910484389403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Text, Speech and Dialogue [[electronic resource] ] : 15th International Conference, TSD 2012, Brno, Czech Republic, September 3-7, 2012, Proceedings / / edited by Petr Sojka, Aleš Horak, Ivan Kopecek, Karel Pala
| Text, Speech and Dialogue [[electronic resource] ] : 15th International Conference, TSD 2012, Brno, Czech Republic, September 3-7, 2012, Proceedings / / edited by Petr Sojka, Aleš Horak, Ivan Kopecek, Karel Pala |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (X, 700 p. 109 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Information storage and retrieval Database management User interfaces (Computer systems) Data mining Artificial Intelligence Information Systems Applications (incl. Internet) Information Storage and Retrieval Database Management User Interfaces and Human Computer Interaction Data Mining and Knowledge Discovery |
| ISBN | 3-642-32790-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465516103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Text, Speech and Dialogue [[electronic resource] ] : 13th International Conference, TSD 2010, Brno, Czech Republic, September 6-10, 2010.Proceedings / / edited by Petr Sojka, Aleš Horak, Ivan Kopecek, Karel Pala
| Text, Speech and Dialogue [[electronic resource] ] : 13th International Conference, TSD 2010, Brno, Czech Republic, September 6-10, 2010.Proceedings / / edited by Petr Sojka, Aleš Horak, Ivan Kopecek, Karel Pala |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 593 p. 120 illus.) |
| Disciplina | 006.3/5 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Natural language processing (Computer science)
Data mining Database management Artificial intelligence Application software Information storage and retrieval Natural Language Processing (NLP) Data Mining and Knowledge Discovery Database Management Artificial Intelligence Information Systems Applications (incl. Internet) Information Storage and Retrieval |
| ISBN |
1-280-38902-8
9786613566942 3-642-15760-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Parsing and Real-World Applications -- Knowledge for Everyman -- Evolution of the ASR Decoder Design -- Text -- Encoding Event and Argument Structures in Wordnets -- Lexical-Conceptual Relations as Qualia Role Encoders -- Towards Disambiguation of Word Sketches -- Towards an N-Version Dependency Parser -- Advanced Searching in the Valency Lexicons Using PML-TQ Search Engine -- These Nouns That Hide Events: An Initial Detection -- Can Corpus Pattern Analysis Be Used in NLP? -- Extracting Human Spanish Nouns -- Semantic Duplicate Identification with Parsing and Machine Learning -- Comparison of Different Lemmatization Approaches through the Means of Information Retrieval Performance -- Evaluation of a Sentence Ranker for Text Summarization Based on Roget’s Thesaurus -- Real Anaphora Resolution Is Hard -- Event-Time Relation Identification Using Machine Learning and Rules -- Question Answering for Not Yet Semantic Web -- Automatic Acquisition of Wordnet Relations by Distributionally Supported Morphological Patterns Extracted from Polish Corpora -- Study on Named Entity Recognition for Polish Based on Hidden Markov Models -- Semantic Role Patterns and Verb Classes in Verb Valency Lexicon -- Opinion Mining by Transformation-Based Domain Adaptation -- Improving Automatic Image Captioning Using Text Summarization Techniques -- Perplexity of n-Gram and Dependency Language Models -- Analysis of Czech Web 1T 5-Gram Corpus and Its Comparison with Czech National Corpus Data -- Borda-Based Voting Schemes for Semantic Role Labeling -- Towards a Bank of Constituent Parse Trees for Polish -- Coverage-Based Methods for Distributional Stopword Selection in Text Segmentation -- Using TectoMT as a Preprocessing Tool for Phrase-Based Statistical Machine Translation -- Automatic Sentiment Analysis Using the Textual Pattern Content Similarity in Natural Language -- Speech -- Correlation Features and a Linear Transform Specific Reproducing Kernel -- Automatic Detection and Evaluation of Edentulous Speakers with Insufficient Dentures -- Diagnostics for Debugging Speech Recognition Systems -- Automatic Lip Reading in the Dutch Language Using Active Appearance Models on High Speed Recordings -- Towards the Optimal Minimization of a Pronunciation Dictionary Model -- Multimodal Emotion Recognition Based on the Decoupling of Emotion and Speaker Information -- Listening-Test-Based Annotation of Communicative Functions for Expressive Speech Synthesis -- Czech HMM-Based Speech Synthesis -- Using Syllables as Acoustic Units for Spontaneous Speech Recognition -- Embedded Speech Recognition in UPnP (DLNA) Environment -- Estonian: Some Findings for Modelling Speech Rhythmicity and Perception of Speech Rate -- Using Gradient Descent Optimization for Acoustics Training from Heterogeneous Data -- Recovery of Rare Words in Lecture Speech -- Enhancing Emotion Recognition from Speech through Feature Selection -- Collection and Analysis of Data for Evaluation of Concatenation Cost Functions -- Emotion Recognition from Speech by Combining Databases and Fusion of Classifiers -- Emologus—A Compositional Model of Emotion Detection Based on the Propositional Content of Spoken Utterances -- Automatic Segmentation of Parasitic Sounds in Speech Corpora for TTS Synthesis -- Adapting Lexical and Language Models for Transcription of Highly Spontaneous Spoken Czech -- Fast Phonetic/Lexical Searching in the Archives of the Czech Holocaust Testimonies: Advancing Towards the MALACH Project Visions -- CORPRES -- Hybrid HMM/BLSTM-RNN for Robust Speech Recognition -- Some Aspects of ASR Transcription Based Unsupervised Speaker Adaptation for HMM Speech Synthesis -- Online TV Captioning of Czech Parliamentary Sessions -- Adaptation of a Feedforward Artificial Neural Network Using a Linear Transform -- Gender-Dependent Acoustic Models Fusion Developed for Automatic Subtitling of Parliament Meetings Broadcasted by the Czech TV -- Parallel Training of Neural Networks for Speech Recognition -- Design and Implementation of a Bayesian Network Speech Recognizer -- Special Speech Synthesis for Social Network Websites -- Robust Statistic Estimates for Adaptation in the Task of Speech Recognition -- A Priori and A Posteriori Machine Learning and Nonlinear Artificial Neural Networks -- Posterior Estimates and Transforms for Speech Recognition -- Dialogue -- A Multimodal Dialogue System for an Ambient Intelligent Application in Home Environments -- Integrating Aggregation Strategies in an In-Home Domain Dialogue System -- A Methodology for Learning Optimal Dialog Strategies -- The Structure of a Discontinuous Dialogue Formed by Internet Comments -- Using Knowledge about Misunderstandings to Increase the Robustness of Spoken Dialogue Systems -- Linguistic Adaptation in Semi-natural Dialogues: Age Comparison -- Automatic Speech Recognition Based on Multiple Level Units in Spoken Dialogue System for In-Vehicle Appliances -- Dialogue System Based on EDECÁN Architecture -- Integration of Speech and Text Processing Modules into a Real-Time Dialogue System -- Client and Speech Detection System for Intelligent Infokiosk -- Prototype of Czech Spoken Dialog System with Mixed Initiative for Railway Information Service -- An NLP-Oriented Analysis of the Instant Messaging Discourse -- Expressive Gibberish Speech Synthesis for Affective Human-Computer Interaction. |
| Record Nr. | UNISA-996465950303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Text, speech and dialogue : 13th international conference, TSD 2010, Brno, Czech Republic, September 6-10, 2010 ; proceedings / / Petr Sojka ... [et al.] (eds.)
| Text, speech and dialogue : 13th international conference, TSD 2010, Brno, Czech Republic, September 6-10, 2010 ; proceedings / / Petr Sojka ... [et al.] (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XIV, 593 p. 120 illus.) |
| Disciplina | 006.3/5 |
| Altri autori (Persone) | SojkaPetr |
| Collana |
LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in artificial intelligence |
| Soggetto topico |
Computational linguistics
Natural language processing (Computer science) |
| ISBN |
1-280-38902-8
9786613566942 3-642-15760-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Parsing and Real-World Applications -- Knowledge for Everyman -- Evolution of the ASR Decoder Design -- Text -- Encoding Event and Argument Structures in Wordnets -- Lexical-Conceptual Relations as Qualia Role Encoders -- Towards Disambiguation of Word Sketches -- Towards an N-Version Dependency Parser -- Advanced Searching in the Valency Lexicons Using PML-TQ Search Engine -- These Nouns That Hide Events: An Initial Detection -- Can Corpus Pattern Analysis Be Used in NLP? -- Extracting Human Spanish Nouns -- Semantic Duplicate Identification with Parsing and Machine Learning -- Comparison of Different Lemmatization Approaches through the Means of Information Retrieval Performance -- Evaluation of a Sentence Ranker for Text Summarization Based on Roget’s Thesaurus -- Real Anaphora Resolution Is Hard -- Event-Time Relation Identification Using Machine Learning and Rules -- Question Answering for Not Yet Semantic Web -- Automatic Acquisition of Wordnet Relations by Distributionally Supported Morphological Patterns Extracted from Polish Corpora -- Study on Named Entity Recognition for Polish Based on Hidden Markov Models -- Semantic Role Patterns and Verb Classes in Verb Valency Lexicon -- Opinion Mining by Transformation-Based Domain Adaptation -- Improving Automatic Image Captioning Using Text Summarization Techniques -- Perplexity of n-Gram and Dependency Language Models -- Analysis of Czech Web 1T 5-Gram Corpus and Its Comparison with Czech National Corpus Data -- Borda-Based Voting Schemes for Semantic Role Labeling -- Towards a Bank of Constituent Parse Trees for Polish -- Coverage-Based Methods for Distributional Stopword Selection in Text Segmentation -- Using TectoMT as a Preprocessing Tool for Phrase-Based Statistical Machine Translation -- Automatic Sentiment Analysis Using the Textual Pattern Content Similarity in Natural Language -- Speech -- Correlation Features and a Linear Transform Specific Reproducing Kernel -- Automatic Detection and Evaluation of Edentulous Speakers with Insufficient Dentures -- Diagnostics for Debugging Speech Recognition Systems -- Automatic Lip Reading in the Dutch Language Using Active Appearance Models on High Speed Recordings -- Towards the Optimal Minimization of a Pronunciation Dictionary Model -- Multimodal Emotion Recognition Based on the Decoupling of Emotion and Speaker Information -- Listening-Test-Based Annotation of Communicative Functions for Expressive Speech Synthesis -- Czech HMM-Based Speech Synthesis -- Using Syllables as Acoustic Units for Spontaneous Speech Recognition -- Embedded Speech Recognition in UPnP (DLNA) Environment -- Estonian: Some Findings for Modelling Speech Rhythmicity and Perception of Speech Rate -- Using Gradient Descent Optimization for Acoustics Training from Heterogeneous Data -- Recovery of Rare Words in Lecture Speech -- Enhancing Emotion Recognition from Speech through Feature Selection -- Collection and Analysis of Data for Evaluation of Concatenation Cost Functions -- Emotion Recognition from Speech by Combining Databases and Fusion of Classifiers -- Emologus—A Compositional Model of Emotion Detection Based on the Propositional Content of Spoken Utterances -- Automatic Segmentation of Parasitic Sounds in Speech Corpora for TTS Synthesis -- Adapting Lexical and Language Models for Transcription of Highly Spontaneous Spoken Czech -- Fast Phonetic/Lexical Searching in the Archives of the Czech Holocaust Testimonies: Advancing Towards the MALACH Project Visions -- CORPRES -- Hybrid HMM/BLSTM-RNN for Robust Speech Recognition -- Some Aspects of ASR Transcription Based Unsupervised Speaker Adaptation for HMM Speech Synthesis -- Online TV Captioning of Czech Parliamentary Sessions -- Adaptation of a Feedforward Artificial Neural Network Using a Linear Transform -- Gender-Dependent Acoustic Models Fusion Developed for Automatic Subtitling of Parliament Meetings Broadcasted by the Czech TV -- Parallel Training of Neural Networks for Speech Recognition -- Design and Implementation of a Bayesian Network Speech Recognizer -- Special Speech Synthesis for Social Network Websites -- Robust Statistic Estimates for Adaptation in the Task of Speech Recognition -- A Priori and A Posteriori Machine Learning and Nonlinear Artificial Neural Networks -- Posterior Estimates and Transforms for Speech Recognition -- Dialogue -- A Multimodal Dialogue System for an Ambient Intelligent Application in Home Environments -- Integrating Aggregation Strategies in an In-Home Domain Dialogue System -- A Methodology for Learning Optimal Dialog Strategies -- The Structure of a Discontinuous Dialogue Formed by Internet Comments -- Using Knowledge about Misunderstandings to Increase the Robustness of Spoken Dialogue Systems -- Linguistic Adaptation in Semi-natural Dialogues: Age Comparison -- Automatic Speech Recognition Based on Multiple Level Units in Spoken Dialogue System for In-Vehicle Appliances -- Dialogue System Based on EDECÁN Architecture -- Integration of Speech and Text Processing Modules into a Real-Time Dialogue System -- Client and Speech Detection System for Intelligent Infokiosk -- Prototype of Czech Spoken Dialog System with Mixed Initiative for Railway Information Service -- An NLP-Oriented Analysis of the Instant Messaging Discourse -- Expressive Gibberish Speech Synthesis for Affective Human-Computer Interaction. |
| Altri titoli varianti | TSD 2010 |
| Record Nr. | UNINA-9910484162003321 |
| Berlin ; ; New York, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
