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.
Language and Automata Theory and Applications [[electronic resource] ] : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings / / edited by Adrian-Horia Dediu, Carlos Martín-Vide, José-Luis Sierra-Rodríguez, Bianca Truthe
| Language and Automata Theory and Applications [[electronic resource] ] : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings / / edited by Adrian-Horia Dediu, Carlos Martín-Vide, José-Luis Sierra-Rodríguez, Bianca Truthe |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIV, 614 p. 108 illus.) |
| Disciplina | 001.64201 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer science—Mathematics Discrete mathematics Machine theory Algorithms Artificial intelligence Theory of Computation Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science Formal Languages and Automata Theory Artificial Intelligence |
| ISBN | 3-319-04921-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996205177203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Language and Automata Theory and Applications : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings / / edited by Adrian-Horia Dediu, Carlos Martín-Vide, José-Luis Sierra-Rodríguez, Bianca Truthe
| Language and Automata Theory and Applications : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings / / edited by Adrian-Horia Dediu, Carlos Martín-Vide, José-Luis Sierra-Rodríguez, Bianca Truthe |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIV, 614 p. 108 illus.) |
| Disciplina | 001.64201 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer science—Mathematics Discrete mathematics Machine theory Algorithms Artificial intelligence Theory of Computation Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science Formal Languages and Automata Theory Artificial Intelligence |
| ISBN | 3-319-04921-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484481103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Languages, Applications and Technologies : 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers / / edited by José-Luis Sierra-Rodríguez, José-Paulo Leal, Alberto Simões
| Languages, Applications and Technologies : 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers / / edited by José-Luis Sierra-Rodríguez, José-Paulo Leal, Alberto Simões |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIII, 271 p. 86 illus. in color.) |
| Disciplina | 005.13 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Programming languages (Electronic computers)
Natural language processing (Computer science) Information storage and retrieval Artificial intelligence Software engineering Data mining Programming Languages, Compilers, Interpreters Natural Language Processing (NLP) Information Storage and Retrieval Artificial Intelligence Software Engineering Data Mining and Knowledge Discovery |
| ISBN | 3-319-27653-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Human-Human Languages -- Speech Features for Discriminating Stress Using Branch and Bound Wrapper Search -- 1 Introduction -- 2 Related Work -- 3 Speech Corpus and Data Annotation -- 4 Methodology -- 4.1 Acoustic-Prosodic Features -- 4.2 Teager Energy Operator Features -- 5 Searching for the Best Feature Sets -- 5.1 Filter: Mutual Information -- 5.2 Wrapper -- 6 Results -- 7 Discussion -- 8 Conclusions -- References -- Oriya Morphological Analyzer Using Lttoolbox -- 1 Introduction -- 1.1 Related Work -- 2 Current Work -- 2.1 Approach -- 2.2 Resources Used -- 2.3 Data Development for Oriya Morph Analyzer -- 3 Evaluation and Result -- 3.1 Evaluation I -- 3.2 Results and Error Analysis -- 3.3 Evaluation II -- 3.4 Evaluation III -- 4 Challenges and Limitations -- 4.1 Foreign Words -- 4.2 Analyzing Oriya Compound Verbs -- 5 Conclusion and Future Work -- References -- Exploiting Twitter for the Semantic Enrichment of Telecommunication Alarms -- 1 Introduction -- 2 Background and Related Work -- 3 Datasets Explored -- 3.1 Description -- 3.2 Pairing Alarms and Tweets -- 4 Experimentation -- 4.1 Manual Labelling of Tweets -- 4.2 Keyword Search -- 4.3 Case Study: Complaining About the Network Service -- 4.4 Event Classification in Tweets -- 5 Concluding Remarks -- References -- Meaning Inference of Abbreviations Appearing in Clinical Studies -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Study Methodology and Tools -- 4 Results Analysis and Main Findings -- 5 Further Discussion and Future Steps -- 6 Conclusion -- Acknowledgements -- References -- Experiments on Enlarging a Lexical Ontology -- 1 Introduction -- 2 Experiments Description -- 2.1 Experiment I: Triangulating Iberian Wordnets -- 2.2 Experiment II: Synset Extraction from Definitions Dictionary -- 3 Experiments Evaluation -- 3.1 Experiment I.
3.2 Experiment II -- 4 Conclusions -- References -- Using Unstructured Profile Information for Gender Classification of Portuguese and English Twitter Users -- 1 Introduction -- 2 Data and Features -- 2.1 Names Dictionaries -- 2.2 Feature Extraction -- 2.3 Labelled Data -- 3 Experiments and Results -- 4 Conclusions and Future Work -- References -- Yet Another Suite of Multilingual NLP Tools -- 1 Introduction -- 2 Related Work -- 3 Architecture -- 3.1 Sentence Chunker -- 3.2 Tokenizer -- 3.3 PoS-Tagger -- 3.4 Named Entity Identifier -- 3.5 Named Entity Classifier -- 4 Resources -- 4.1 Portuguese -- 4.2 English -- 5 Evaluation -- 5.1 PoS-Tagger -- 5.2 Named Entity Classifier -- 6 Conclusions and Further Work -- References -- Human-Computer Languages -- Towards a DSL for Educational Data Mining -- 1 Introduction -- 2 Educational Data Mining -- 3 Related Work -- 4 Grammar Specification -- 4.1 Abstract Syntax -- 4.2 Concrete Syntax -- 5 Query Execution -- 6 Conclusions -- References -- WSDLUD: A Metric to Measure the Understanding Degree of WSDL Descriptions -- 1 Introduction -- 2 Related Work -- 3 WSDLUD -- 3.1 WSDL Description Criteria Tree -- 3.2 Aggregation Structure -- 3.3 Information Extraction Techniques and Elementary Criteria Functions -- 4 Case Study -- 5 Conclusion and Future Work -- References -- Combining Processing with Racket -- 1 Introduction -- 2 Processing -- 3 Related Work -- 3.1 Processing.js -- 3.2 Processing.py and Ruby-Processing -- 3.3 ProfessorJ -- 4 Compilation Process -- 4.1 Parsing Phase -- 4.2 Code Analysis -- 4.3 Code Generation -- 5 Runtime -- 6 Interoperability -- 7 Example -- 8 Conclusion -- References -- Batched Evaluation of Full-Sharing Multithreaded Tabling -- 1 Introduction -- 2 Background -- 2.1 Yap's Multithreaded Tabling Support -- 2.2 Scheduling Strategies -- 3 Extending Full-Sharing with Batched Scheduling. 3.1 Our Approach -- 3.2 Implementations Details -- 4 Experimental Results -- 4.1 Benchmark Programs -- 4.2 Performance Analysis -- 5 Conclusions and Further Work -- References -- Browsing the Parse Space -- Abstract -- 1 Introduction -- 2 Motivation: EvDebugger -- 3 Constructing Parse Trees from Earley's Parse Lists -- 3.1 Earley's Recognizer -- 3.2 The Tree Construction Calculus -- 4 The Browsing Engine -- 4.1 Browser Architecture and Browsing Strategy -- 4.2 Getting the Next Tree Construction Plan -- 4.3 Synthetizing the Parse Tree -- 5 Related Work -- 6 Conclusions and Future Work -- Acknowledgements -- References -- Assessing Attribute Grammars' Quality: Metrics and a Tool -- 1 Introduction -- 2 Grammar Quality -- 3 Grammar Metrics -- 3.1 CFG Metrics -- 3.2 AG Metrics -- 4 A Tool for Metric Evaluation -- 4.1 GQE Results -- 5 Conclusion -- References -- A Syntax-Directed Model Transformation Framework Based on Attribute Grammars -- Abstract -- 1 Introduction -- 2 Attribute Grammars -- 3 The AGT Framework -- 4 AGTL: The AGT Specification Language -- 4.1 AGLT Concrete Syntax -- 4.2 AGTL Abstract Syntax -- 4.3 AGTL Operational Semantics -- 4.4 An Example -- 5 Conclusions and Future Work -- Acknowledgements -- References -- An AST-based Tool, Spector, for Plagiarism Detection: The Approach, Functionality, and Implementation -- 1 Introduction -- 2 Approach -- 2.1 Target Characteristics -- 2.2 Architecture -- 3 Functionality -- 4 Implementation -- 4.1 Features -- 5 Example -- 6 Conclusion -- References -- Towards the Generation of Graphical Modelling Environments Aided by Patterns -- 1 Introduction -- 2 Overview -- 3 Defining Graphical DSMLs Through Patterns -- 3.1 Using the Visual Syntax Attached to Domain Patterns -- 3.2 Using the Dedicated Custom Wizard -- 3.3 The Generated Graphical Environment -- 4 Related Work -- 5 Conclusions and Future Work. References -- Computer-Computer Languages -- Tree String Path Subsequences Automaton and Its Use for Indexing XML Documents -- 1 Introduction -- 2 Tree String Path Subsequences Automaton -- 3 Evaluation of an Input Query -- 4 Time and Space Complexities -- 5 Conclusion and Future Work -- References -- A Structural Approach to Assess Graph-Based Exercises -- 1 Introduction -- 2 Related Work -- 3 Graph Assessment Algorithm -- 3.1 Data Structures -- 3.2 Node Mappings -- 4 Validation -- 4.1 Graph Generator -- 4.2 Experiments -- 5 Conclusions and Future Work -- References -- Odin: A Service for Gamification of Learning Activities -- 1 Introduction -- 2 Game Services -- 2.1 Game Concepts -- 2.2 Game Backend Services -- 3 Odin -- 3.1 Architecture -- 3.2 Frameworks and Tools -- 3.3 Data Model -- 3.4 Service API -- 4 Evaluation -- 5 Conclusions -- References -- SplineAPI: A REST API for NLP Services -- 1 Introduction -- 2 Related Work -- 3 Design Goals and Architecture Details -- 3.1 Spline Architecture -- 3.2 Perl Module Generation -- 3.3 Lengthy Requests -- 4 Conclusions -- References -- Engaging Researchers in Data Management with LabTablet, an Electronic Laboratory Notebook -- 1 Introduction -- 2 Research Data Management -- 2.1 Data Description -- 2.2 Researchers' Engagement in Data Management -- 3 Electronic Laboratory Notebooks -- 3.1 LabTablet -- 4 Social Sciences: A Case Study -- 4.1 The Social Sciences Domain -- 4.2 Preparing for Data Description -- 5 Conclusions -- References -- OFR: An Efficient Representation of RDF Datasets -- 1 Introduction -- 2 Related Work -- 3 The Proposed Algorithm -- 3.1 The General Approach -- 3.2 Phases of the Algorithm -- 3.3 Implementation Details -- 4 Experimental Results -- 5 Conclusion -- References -- Reducing Large Semantic Graphs to Improve Semantic Relatedness -- 1 Introduction -- 2 Related Work. 3 Previous Work -- 3.1 Semantic Measure -- 3.2 Quality Measure -- 3.3 Fine Tuning Process -- 4 Graph Reduction Procedure -- 5 Validation -- 6 Conclusion -- References -- A Mixed Approach for the Representation of Nutritional Information Through XML-to-OWL Mappings -- Abstract -- 1 Introduction -- 2 Related Work -- 3 NutElCare -- 3.1 Nutritional Recommendations -- 3.2 Knowledge Base -- 4 Diets Model Design and Information Retrieval -- 4.1 Ontology Enrichment -- 4.2 On-Demand Population and Reasoning -- 5 Conclusions and Future Work -- Acknowledgements -- References -- Automatic Generation of CVs from Online Social Networks -- 1 Introduction -- 2 Curriculum Vitae Standard Formats -- 3 Existing Solutions for CV Generation from Online Social Networks -- 4 CVGenie System: Requirements and Architecture -- 5 Conclusion and Future Work -- References -- Knowledge Identification from Requirements Specification -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Guidelines for the Semantic Modeling of an RS -- 4 Evaluation -- 5 Conclusions and Future Works -- References -- Author Index. |
| Record Nr. | UNINA-9910298962403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||