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.
Language and Automata Theory and Applications [electronic resource] : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide
Language and Automata Theory and Applications [electronic resource] : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide
Creatore [Horia Dediu, Adrian]
Estensione 1 online resource.
Accesso persona Martín Vide, Carlos
Accesso ente SpringerLink (Online service)
ISBN 9783642283321
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. YALE-10488678
[Horia Dediu, Adrian]  
Risorse elettroniche
Lo trovi qui: Yale University
Statistical Language and Speech Processing [electronic resource] : First International Conference, SLSP 2013, Tarragona, Spain, July 29-31, 2013. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Ruslan Mitkov, Bianca Truthe
Statistical Language and Speech Processing [electronic resource] : First International Conference, SLSP 2013, Tarragona, Spain, July 29-31, 2013. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Ruslan Mitkov, Bianca Truthe
Creatore [Horia Dediu, Adrian]
Estensione XII, 309 p. 44 illus. online resource.
Disciplina 006.3
Accesso persona Martín Vide, Carlos
Mitkov, Ruslan
Truthe, Bianca
Accesso ente SpringerLink (Online service)
ISBN 9783642395932
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Deep Learning of Representations: Looking Forward -- Challenges and Opportunities of Multilingual Information -- Unsupervised Rhyme Scheme Identification in Hip Hop Lyrics Using Hidden Markov Models -- Complementarity of Lexical Cohesion and Speaker Role Information for Story Segmentation of French TV Broadcast News -- An Investigation of Single-Pass ASR System Combination for Spoken Language Understanding -- Predicting Part-of-Speech Tags and Morpho-Syntactic Relations Using Similarity-Based Technique -- Statistical Error Correction Methods for Domain-Specific ASR Systems -- Reward Shaping for Statistical Optimisation of Dialogue Management -- Discriminative Framework for Spoken Tunisian Dialect Understanding -- Histogram Equalization Using Centroids of Fuzzy C-Means of Background Speakers’ Utterances for Speaker Identification -- Cross-Lingual Random Indexing for Information Retrieval -- Rational Kernels for Arabic Text Classification -- MDL-Based Models for Transliteration Generation -- Using Regression for Spectral Estimation of HMMs -- Iterative Rule Segmentation under Minimum Description Length for Unsupervised Transduction Grammar Induction -- Comparing Resources for Spanish Lexical Simplification -- Context-Aware Correction of Spelling Errors in Hungarian Medical Documents -- Pronunciation Extraction from Phoneme Sequences through Cross-Lingual Word-to-Phoneme Alignment -- Can Statistical Tests Be Used for Feature Selection in Diachronic Text Classification? -- Factored Semantic Sequence Kernel for Sentiment Polarity Classification -- An Investigation of Code-Switching Attitude Dependent Language Modeling.
Record Nr. YALE-11668407
[Horia Dediu, Adrian]  
Risorse elettroniche
Lo trovi qui: Yale University
Language and Automata Theory and Applications [electronic resource] : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings / edited by Adrian-Horia Dediu, Henning Fernau, Carlos Martín-Vide
Language and Automata Theory and Applications [electronic resource] : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings / edited by Adrian-Horia Dediu, Henning Fernau, Carlos Martín-Vide
Creatore [Horia Dediu, Adrian]
Estensione 1 online resource.
Accesso persona Fernau, Henning
Martín Vide, Carlos
Accesso ente SpringerLink (Online service)
ISBN 9783642130892
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. YALE-9441838
[Horia Dediu, Adrian]  
Risorse elettroniche
Lo trovi qui: Yale University
Language and automata theory and applications [electronic resource] : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings / Adrian-Horia Dediu, Carlos Martín-Vide (eds.).
Language and automata theory and applications [electronic resource] : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings / Adrian-Horia Dediu, Carlos Martín-Vide (eds.).
Creatore [LATA 2012 (2012 : La Coruña, Spain)]
Estensione 1 online resource (xiv, 552 p.)
Disciplina 004
Accesso persona Horia Dediu, Adrian
Martín Vide, Carlos
ISBN 3642283322 (electronic bk.)
9783642283321 (electronic bk.)
9783642283314
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UALBERTA-5519676
[LATA 2012 (2012 : La Coruña, Spain)]  
Materiale a stampa
Lo trovi qui: University of Alberta / NEOS Library Consortium
Theory and practice of natural computing : first International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe
Theory and practice of natural computing : first International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe
Creatore [TPNC (Conference) (1st : 2012 : Tarragona, Spain)]
Estensione 1 online resource.
Disciplina 004/.3
Accesso persona Horia Dediu, Adrian
Martín Vide, Carlos
Truthe, Bianca
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer software
Artificial intelligence
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Information Systems Applications (incl. Internet)
ISBN 9783642338601
3642338607
3642338593
9783642338595
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Hybrid Metaheuristics in Combinatorial Optimization: A Tutorial / Christian Blum -- Theory and Applications of DNA Codeword Design / Max H. Garzon -- Scalable Neuroevolution for Reinforcement Learning / Faustino Gomez -- Differential Evolution Algorithm: Recent Advances / Ponnuthurai Nagaratnam Suganthan -- The Fragility of Quantum Information? / Barbara M. Terhal -- Computational Intelligence in Astronomy -- A Win-Win Situation / Peter Tiňo and Somak Raychaudhury -- A Multi-objective Approach to Solve the Location Areas Problem / Víctor Berrocal-Plaza, Miguel A. Vega-Rodríguez, Juan M. Sánchez-Pérez and Juan A. Gómez-Pulido -- Nature-Inspired Algorithms Applied to an Efficient and Self-adaptive Resources Selection Model for Grid Applications / María Botón-Fernández, Francisco Prieto Castrillo and Miguel A. Vega-Rodríguez -- Attacks on Fixed Apparatus Quantum Key Distribution Schemes / Michel Boyer, Ran Gelles and Tal Mor -- Cellular Automaton Based Motion Planning Algorithms for Mobile Sensor Networks / Salimur Choudhury, Kai Salomaa and Selim G. Akl.
An Easy Automata Based Algorithm for Testing Coding Properties of Infinite Sets of (DNA) Words / Michelangelo Cianciulli, Rocco Zaccagnino and Rosalba Zizza -- On the Security of Interferometric Quantum Key Distribution / Ran Gelles and Tal Mor -- Generating DNA Code Words Using Forbidding and Enforcing Systems / Daniela Genova and Kalpana Mahalingam -- Wolbachia Infection Improves Genetic Algorithms as Optimization Procedure / Mauricio Guevara-Souza and Edgar E. Vallejo -- Neural Networks Solving Free Final Time Optimal Control Problem / Tibor Kmet and Maria Kmetova -- Comparing Different Operators and Models to Improve a Multiobjective Artificial Bee Colony Algorithm for Inferring Phylogenies / Sergio Santander-Jiménez, Miguel A. Vega-Rodríguez, Juan A. Gómez-Pulido and Juan M. Sánchez-Pérez -- Tissue P Systems with Cell Separation: Upper Bound by PSPACE / Petr Sosík and Luděk Cienciala -- Maze Exploration with Molecular-Scale Walkers / Darko Stefanovic.
Record Nr. NYU-004624984
[TPNC (Conference) (1st : 2012 : Tarragona, Spain)]  
Materiale a stampa
Lo trovi qui: New York University
Statistical Language and Speech Processing [electronic resource] : First International Conference, SLSP 2013, Tarragona, Spain, July 29-31, 2013. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Ruslan Mitkov, Bianca Truthe
Statistical Language and Speech Processing [electronic resource] : First International Conference, SLSP 2013, Tarragona, Spain, July 29-31, 2013. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Ruslan Mitkov, Bianca Truthe
Creatore [Horia Dediu, Adrian]
Estensione 1 online resource (XII, 309 p. 44 illus.) online resource.
Disciplina 006.3
Accesso persona Martín Vide, Carlos
Mitkov, Ruslan
Truthe, Bianca
Accesso ente SpringerLink (Online service)
Genere/Forma Electronic books
ISBN 9783642395932
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Deep Learning of Representations: Looking Forward -- Challenges and Opportunities of Multilingual Information -- Unsupervised Rhyme Scheme Identification in Hip Hop Lyrics Using Hidden Markov Models -- Complementarity of Lexical Cohesion and Speaker Role Information for Story Segmentation of French TV Broadcast News -- An Investigation of Single-Pass ASR System Combination for Spoken Language Understanding -- Predicting Part-of-Speech Tags and Morpho-Syntactic Relations Using Similarity-Based Technique -- Statistical Error Correction Methods for Domain-Specific ASR Systems -- Reward Shaping for Statistical Optimisation of Dialogue Management -- Discriminative Framework for Spoken Tunisian Dialect Understanding -- Histogram Equalization Using Centroids of Fuzzy C-Means of Background Speakers' Utterances for Speaker Identification -- Cross-Lingual Random Indexing for Information Retrieval -- Rational Kernels for Arabic Text Classification -- MDL-Based Models for Transliteration Generation -- Using Regression for Spectral Estimation of HMMs -- Iterative Rule Segmentation under Minimum Description Length for Unsupervised Transduction Grammar Induction -- Comparing Resources for Spanish Lexical Simplification -- Context-Aware Correction of Spelling Errors in Hungarian Medical Documents -- Pronunciation Extraction from Phoneme Sequences through Cross-Lingual Word-to-Phoneme Alignment -- Can Statistical Tests Be Used for Feature Selection in Diachronic Text Classification? -- Factored Semantic Sequence Kernel for Sentiment Polarity Classification -- An Investigation of Code-Switching Attitude Dependent Language Modeling.
Record Nr. DUKE-005940682
[Horia Dediu, Adrian]  
Materiale a stampa
Lo trovi qui: Duke University
Language and automata theory and applications : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings / Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe (eds.).
Language and automata theory and applications : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings / Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe (eds.).
Creatore [LATA (Conference) (7th : 2013 : Bilbao, Spain)]
Estensione 1 online resource (xiv, 580 pages) : illustrations.
Disciplina 004
Accesso persona Horia Dediu, Adrian
Martín Vide, Carlos
Truthe, Bianca
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Logic design
Artificial intelligence
Social sciences -- Data processing
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
ISBN 9783642370649
3642370640
9783642370632
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks. Complexity Dichotomy for Counting Problems / Jin-Yi Cai -- Algorithms for Analyzing and Verifying Infinite-State Recursive Probabilistic Systems / Kousha Etessami -- Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking / Luke Ong -- Discrete Linear Dynamical Systems / Joël Ouaknine -- XML Schema Management: A Challenge for Automata Theory / Thomas Schwentick -- Regular Papers. On the Complexity of Shortest Path Problems on Discounted Cost Graphs / Rajeev Alur [and others] -- Termination of Rule-Based Calculi for Uniform Semi-Unification / Takahito Aoto, Munehiro Iwami -- Deciding WQO for Factorial Languages / Aistis Atminas, Vadim Lozin, Mikhail Moshkov -- On the Construction of a Family of Automata That Are Generically Non-minimal / Parisa Babaali, Christopher Knaplund -- Limited Non-determinism Hierarchy of Counter Automata / Sebastian Bala, Dariusz Jackowski -- Unambiguous Automata Denoting Finitely Sequential Functions / Sebastian Bala, Artur Koniński.
Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks / Giorgio Delzanno, Riccardo Traverso -- The Buffered π-Calculus: A Model for Concurrent Languages / Xiaojie Deng [and others] -- Mix-Automatic Sequences / Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks -- A Multivariate Analysis of Some DFA Problems / Henning Fernau, Pinar Heggernes, Yngve Villanger -- On the Size Complexity of Deterministic Frequency Automata / Rūsiņš Freivalds, Thomas Zeugmann, Grant R. Pogosyan -- On the Number of Unbordered Factors / Daniel Goč, Hamoon Mousavi, Jeffrey Shallit -- Primitive Words and Lyndon Words in Automatic and Linearly Recurrent Sequences / Daniel Goč, Kalle Saari, Jeffrey Shallit -- Efficient Submatch Extraction for Practical Regular Expressions / Stuart Haber [and others] -- Determinacy and Subsumption for Single-Valued Bottom-Up Tree Transducers / Kenji Hashimoto [and others].
Duplication-Loss Genome Alignment: Complexity and Algorithm / Billel Benzaid, Riccardo Dondi, Nadia El-Mabrouk -- Maximizing Entropy over Markov Processes / Fabrizio Biondi [and others] -- MAT Learning of Universal Automata / Johanna Björklund, Henning Fernau, Anna Kasprzik -- A Graph Polynomial Approach to Primitivity / Francine Blanchet-Sadri [and others] -- Suffix Trees for Partial Words and the Longest Common Compatible Prefix Problem / Francine Blanchet-Sadri, Justin Lazarow -- Dynamic Communicating Automata and Branching High-Level MSCs / Benedikt Bollig [and others] -- Visibly Pushdown Automata: Universality and Inclusion via Antichains / Véronique Bruyère, Marc Ducobu, Olivier Gauwin -- Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions / Jean-Marc Champarnaud [and others] -- How to Travel between Languages / Krishnendu Chatterjee, Siddhesh Chaubal, Sasha Rubin -- Execution Information Rate for Some Classes of Automata / Cewei Cui [and others].
Revealing vs. Concealing: More Simulation Games for Büchi Inclusion / Milka Hutagalung, Martin Lange, Etienne Lozes -- On Bounded Languages and Reversal-Bounded Automata / Oscar H. Ibarra, Bala Ravikumar -- Rewrite Closure and CF Hedge Automata / Florent Jacquemard, Michael Rusinowitch -- Linear-Time Version of Holub's Algorithm for Morphic Imprimitivity Testing / Tomasz Kociumaka [and others]́ -- From Regular Tree Expression to Position Tree Automaton / Éric Laugerotte, Nadia Ouali Sebti, Djelloul Ziadi -- Convergence of Newton's Method over Commutative Semirings / Michael Luttenberger, Maximilian Schlund -- Counting Minimal Symmetric Difference NFAs / Brink van der Merwe, Mark Farag, Jaco Geldenhuys -- Interval Logics and ωB-Regular Languages / Angelo Montanari, Pietro Sala -- Eliminating Stack Symbols in Push-Down Automata and Linear Indexed Grammars / Katsuhiko Nakamura, Keita Imada.
Asynchronous PC Systems of Pushdown Automata / Friedrich Otto -- Model Checking Metric Temporal Logic over Automata with One Counter / Karin Quaas -- Coinductive Proof Techniques for Language Equivalence / Jurriaan Rot, Marcello Bonsangue, Jan Rutten -- Ostrowski Numeration and the Local Period of Sturmian Words / Luke Schaeffer -- Boolean Algebras of Regular ω-Languages / Victor Selivanov, Anton Konovalov -- Pumping, Shrinking and Pronouns: From Context Free to Indexed Grammars / Eli Shamir -- Online Matching of Multiple Regular Patterns with Gaps and Character Classes / Seppo Sippu, Eljas Soisalon-Soininen -- Infiniteness and Boundedness in 0L, DT0L, and T0L Systems / Tim Smith -- Uniformisation of Two-Way Transducers / Rodrigo de Souza -- A Conditional Superpolynomial Lower Bound for Extended Resolution / Olga Tveretina -- A Turing Machine Distance Hierarchy / Stanislav Žák, Jiří Šíma.
Record Nr. NYU-004391299
[LATA (Conference) (7th : 2013 : Bilbao, Spain)]  
Materiale a stampa
Lo trovi qui: New York University
Language and automata theory and applications : 4th international conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings / Adrian-Horia Dediu, Henning Fernau, Carlos Martín-Vide (eds.).
Language and automata theory and applications : 4th international conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings / Adrian-Horia Dediu, Henning Fernau, Carlos Martín-Vide (eds.).
Creatore [LATA 2010 (2010 : Trier, Germany)]
Estensione 1 online resource (xiv, 622 p.) : ill.
Disciplina 410.1/15
Accesso persona Horia Dediu, Adrian
Fernau, Henning, 1965-
Martín Vide, Carlos
Genere/Forma Electronic books
ISBN 9783642130885
3642130887
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. DUKE-004711076
[LATA 2010 (2010 : Trier, Germany)]  
Materiale a stampa
Lo trovi qui: Duke University
Language and Automata Theory and Applications [electronic resource] : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / edited by Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe
Language and Automata Theory and Applications [electronic resource] : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / edited by Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe
Creatore [Horia Dediu, Adrian]
Estensione 1 online resource (XV, 754 p. 140 illus.) online resource.
Disciplina 004.0151
Accesso persona Formenti, Enrico
Martín Vide, Carlos
Truthe, Bianca
Accesso ente SpringerLink (Online service)
Genere/Forma Electronic books
ISBN 9783319155791
9783319155784
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Algorithms -- Automata, Logic, and Concurrency -- Codes, Semigroups, and Symbolic Dynamics -- Combinatorics on Words -- Complexity and Recursive Functions -- Compression, Inference, Pattern Matching, and Model Checking -- Graphs, Term Rewriting, and Networks -- Transducers, Tree Automata, and Weighted Automata.
Record Nr. DUKE-006512718
[Horia Dediu, Adrian]  
Materiale a stampa
Lo trovi qui: Duke University
Theory and Practice of Natural Computing [electronic resource] : Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings / edited by Adrian-Horia Dediu, Luis Magdalena, Carlos Martín-Vide
Theory and Practice of Natural Computing [electronic resource] : Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings / edited by Adrian-Horia Dediu, Luis Magdalena, Carlos Martín-Vide
Edizione [1st ed. 2015.]
Estensione 1 online resource (XIV, 175 p. 53 illus. in color.) online resource.
Disciplina 005.1
Accesso persona Horia Dediu, Adrian
Magdalena, Luis, 1964-
Martín Vide, Carlos
Accesso ente SpringerLink (Online service)
Genere/Forma Electronic books
ISBN 9783319268415
9783319268408
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Soft Computing -- Computing Architectures -- Formal Models.
Record Nr. DUKE-007681012
Materiale a stampa
Lo trovi qui: Duke University