Search results for "transducers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Naoki Kobayashi, Naoshi Tabuchi, Hiroshi Unno	Higher-order multi-parameter tree transducers and recursion schemes for program verification.	POPL	2010	DBLP DOI BibTeX RDF	higher-order tree transducers, tree-processing programs, program verification, higher-order recursion scheme
3	Slawomir Staworko, Grégoire Laurence, Aurélien Lemay, Joachim Niehren	Equivalence of Deterministic Nested Word to Word Transducers.	FCT	2009	DBLP DOI BibTeX RDF	XML, Trees, automata, context-free grammars, transducers
3	Egor Dolzhenko, Natasa Jonoska	On Complexity of Two Dimensional Languages Generated by Transducers.	CIAA	2008	DBLP DOI BibTeX RDF	Finite State Automata with Output, Local Languages, Entropy, Transducers, Picture Languages
3	Amashini Naidoo, Nelishia Pillay	The Induction of Finite Transducers Using Genetic Programming.	EuroGP	2007	DBLP DOI BibTeX RDF	genetic programming, finite state transducers
3	Sebastian Maneth	The Complexity of Compositions of Deterministic Tree Transducers.	FSTTCS	2002	DBLP DOI BibTeX RDF	Deterministic Macro Tree Transducers, Complexity
3	José Oncina, Pedro Garcia, Enrique Vidal	Learning Subsequential Transducers for Pattern Recognition Interpretation Tasks.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	subsequential transducers, pattern recognition, pattern recognition, learning, learning (artificial intelligence), inference, inference mechanisms, formalization, inductive learning
2	Benny Kimelfeld, Christopher Ré	Transducing Markov sequences.	PODS	2010	DBLP DOI BibTeX RDF	Markov sequences, ranked query evaluation, hidden Markov models, probabilistic databases, enumeration, transducers
2	Joost Engelfriet	The time complexity of typechecking tree-walking tree transducers.	Acta Inf.	2009	DBLP DOI BibTeX RDF
2	Keisuke Nakano	Composing Stack-Attributed Tree Transducers.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	XML stream transformation, Event-driven model, Descriptional composition, Attribute grammar, Deforestation
2	Toshiyuki Kimura, Munenori Naoe, Yoko Yamakata, Michiaki Katsumoto	Subjective effect of synthesis conditions in 3D sound field reproduction system using a few transducers and wave field synthesis.	IUCS	2009	DBLP DOI BibTeX RDF	microphone directivity, sound field reproduction, wave field synthesis
2	Rodrigo de Souza	On the Decidability of the Equivalence for a Certain Class of Transducers.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
2	Douglas Frey, Victor A. Coelho, Rangaraj M. Rangayyan	Filtering and removal of the effects of the transducers on the acoustical impulse response of concert halls.	CCECE	2009	DBLP DOI BibTeX RDF
2	Andrew Roczniak, Abdulmotaleb El-Saddik	Improving robustness of P2P applications in mobile environments.	Peer-to-Peer Networking and Applications	2009	DBLP DOI BibTeX RDF	Mobile P2P applications, Service accessibility, Robustness, Finite state transducers
2	Wenfei Fan, Floris Geerts, Frank Neven	Expressiveness and complexity of XML publishing transducers.	ACM Trans. Database Syst.	2008	DBLP DOI BibTeX RDF	complexity, expressiveness, data exchange, transducer, XML publishing
2	Dan Zhou, Jing Chen, Haosu Luo	Piezoelectric Single Crystals of Pb(Mg1/3Nb2/3)O3-PbTiO3 and their Applications in Medical Ultrasonic Transducers.	BMEI	2008	DBLP DOI BibTeX RDF	PMN-PT single crystals, medical ultrasonic transducer, electromechanical coupling factor, 1-3 composite
2	Jean-François Raskin, Frédéric Servais	Visibly Pushdown Transducers.	ICALP	2008	DBLP DOI BibTeX RDF
2	Jacques Sakarovitch, Rodrigo de Souza	On the Decidability of Bounded Valuedness for Transducers.	MFCS	2008	DBLP DOI BibTeX RDF
2	Rodrigo de Souza	On the Decidability of the Equivalence for k-Valued Transducers.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF
2	Joost Engelfriet, Eric Lilin, Andreas Maletti	Extended Multi Bottom-Up Tree Transducers.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF
2	Cyril Allauzen, Mehryar Mohri	3-Way Composition of Weighted Finite-State Transducers.	CIAA	2008	DBLP DOI BibTeX RDF
2	Kazuhiro Inaba, Haruo Hosoya, Sebastian Maneth	Multi-Return Macro Tree Transducers.	CIAA	2008	DBLP DOI BibTeX RDF
2	Jorge González, Germán Sanchis-Trilles, Francisco Casacuberta	Learning Finite State Transducers Using Bilingual Phrases.	CICLing	2008	DBLP DOI BibTeX RDF
2	Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt	Boomerang: resourceful lenses for string data.	POPL	2008	DBLP DOI BibTeX RDF	bidirectional languages, regular string transducers, lenses, view update problem, regular types
2	Dana Angluin, Leonor Becerra-Bonache	Learning Meaning Before Syntax.	ICGI	2008	DBLP DOI BibTeX RDF	semantics, corrections, finite-state transducers
2	Simon M. Lucas, T. Jeff Reynolds	Learning Finite-State Transducers: Evolution Versus Heuristic State Merging.	IEEE Trans. Evolutionary Computation	2007	DBLP DOI BibTeX RDF
2	Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine	Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems).	TACAS	2007	DBLP DOI BibTeX RDF
2	Sunheum Lee, KwanSun Choi, Dongsik Kim, Changwan Jeon, Young Doo Ahn	A Novel Method for Performance Evaluation of Focused Ultrasonic Transducers.	FGCN	2007	DBLP DOI BibTeX RDF
2	Stephen Chen, Sarah Razzaqi, Vincent Lupien	Towards the Automated Design of Phased Array Ultrasonic Transducers - Using Particle Swarms to Find "Smart" Start Points.	IEA/AIE	2007	DBLP DOI BibTeX RDF
2	Pawel Fabijanski, Ryszard Lagoda	Digital Model of Series Resonant Converter with Piezoelectric Ceramic Transducers and Fuzzy Logic Control.	ICANNGA	2007	DBLP DOI BibTeX RDF
2	Vicente Alabau, Francisco Casacuberta, Enrique Vidal, Alfons Juan	Inference of Stochastic Finite-State Transducers Using N -Gram Mixtures.	IbPRIA	2007	DBLP DOI BibTeX RDF
2	Alain Frisch, Haruo Hosoya	Towards Practical Typechecking for Macro Tree Transducers.	DBPL	2007	DBLP DOI BibTeX RDF
2	Odile Piton, Klara Lagji, Remzi Përnaska	Electronic Dictionaries and Transducers for Automatic Processing of the Albanian Language.	NLDB	2007	DBLP DOI BibTeX RDF	Albanian Language, Automatic Processing of Open Lists of Words, Morphological Analysis, Finite State Transducer, Electronic Dictionary
2	Ruben Agadzanyan, Rusins Freivalds	Size of Quantum Finite State Transducers.	SOFSEM	2007	DBLP DOI BibTeX RDF
2	Joost Engelfriet, Hendrik Jan Hoogeboom, Bart Samwel	XML transformation by tree-walking transducers with invisible pebbles.	PODS	2007	DBLP DOI BibTeX RDF	tree transducer, XML, pebble
2	Wenfei Fan, Floris Geerts, Frank Neven	Expressiveness and complexity of xml publishing transducers.	PODS	2007	DBLP DOI BibTeX RDF	complexity, expressiveness, XML publishing
2	Clemens Marschner	Efficiently Matching with Local Grammars Using Prefix Overlay Transducers.	CIAA	2007	DBLP DOI BibTeX RDF
2	Jean-Marc Champarnaud, Franck Guingne, Jacques Farré	Reducing Acyclic Cover Transducers.	CIAA	2007	DBLP DOI BibTeX RDF	subsequential transducer, cover transducer for a finite subsequential function, finite state transducer, state reduction
2	Dan Olteanu	SPEX: Streamed and Progressive Evaluation of XPath.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	XML, streams, XPath, Query evaluation, transducers
2	Cyril Allauzen, Michael Riley, Johan Schalkwyk, Wojciech Skut, Mehryar Mohri	OpenFst: A General and Efficient Weighted Finite-State Transducer Library.	CIAA	2007	DBLP DOI BibTeX RDF	rational power series, finite-state transducers, weighted automata
2	Francisco Casacuberta, Enrique Vidal	Learning finite-state models for machine translation.	Machine Learning	2007	DBLP DOI BibTeX RDF	Stochastic finite-state transducers, Machine translation, Grammatical inference
2	Nicolae Santean, Sheng Yu	On Weakly Ambiguous Finite Transducers.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
2	Gérard P. Huet, Benoît Razet	The Reactive Engine for Modular Transducers.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
2	Moez Krichen, Stavros Tripakis	State-Identification Problems for Finite-State Transducers.	FATES/RV	2006	DBLP DOI BibTeX RDF
2	Aurélien Lemay, Joachim Niehren, Rémi Gilleron	Learning n-Ary Node Selecting Tree Transducers from Completely Annotated Examples.	ICGI	2006	DBLP DOI BibTeX RDF
2	Marc Bernard, Jean-Christophe Janodet, Marc Sebban	A Discriminative Model of Stochastic Edit Distance in the Form of a Conditional Transducer.	ICGI	2006	DBLP DOI BibTeX RDF	Stochastic Transducers, Edit Distance, Grammatical Inference, Discriminative Models
2	Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine	Simulation-Based Iteration of Tree Transducers.	TACAS	2005	DBLP DOI BibTeX RDF
2	Alicia Pérez, Francisco Casacuberta, M. Inés Torres, Víctor G. Guijarrubia	Finite State Transducers Based on k-TSS Grammars for Speech Translation.	FSMNLP	2005	DBLP DOI BibTeX RDF
2	Helmut Schmid	A Programming Language for Finite State Transducers.	FSMNLP	2005	DBLP DOI BibTeX RDF
2	François Barthélemy	Partitioning Multitape Transducers.	FSMNLP	2005	DBLP DOI BibTeX RDF
2	Andreas Maletti	The Power of Tree Series Transducers of Type I and II.	Developments in Language Theory	2005	DBLP DOI BibTeX RDF
2	Vincent Claveau, Pierre Zweigenbaum	Translating Biomedical Terms by Inferring Transducers.	AIME	2005	DBLP DOI BibTeX RDF
2	Stefan Pitzek, Wilfried Elmenreich	Plug-and-play: bridging the semantic gap between application and transducers.	ETFA	2005	DBLP DOI BibTeX RDF
2	Sebastian Maneth, Alexandru Berlea, Thomas Perst, Helmut Seidl	XML type checking with macro tree transducers.	PODS	2005	DBLP DOI BibTeX RDF
2	Johanna Högberg	Wind in the Willows - Generating Music by Means of Tree Transducers.	CIAA	2005	DBLP DOI BibTeX RDF
2	Joost Engelfriet, Sebastian Maneth	The Equivalence Problem for Deterministic MSO Tree Transducers Is Decidable.	FSTTCS	2005	DBLP DOI BibTeX RDF
2	Kevin Knight, Jonathan Graehl	An Overview of Probabilistic Tree Transducers for Natural Language Processing.	CICLing	2005	DBLP DOI BibTeX RDF
2	Ralf Küsters	On the decidability of cryptographic protocols with open-ended data structures.	Int. J. Inf. Sec.	2005	DBLP DOI BibTeX RDF	Complexity, Cryptographic protocols, Decidability, Transducers
2	Marie-Pierre Béal, Olivier Carton	Determinization of Transducers over Infinite Words: The General Case.	Theory Comput. Syst.	2004	DBLP DOI BibTeX RDF
2	Javier Baliosian, Joan Serrat	Finite State Transducers for Policy Evaluation and Conflict Resolution.	POLICY	2004	DBLP DOI BibTeX RDF
2	Thomas Colcombet, Christof Löding	On the Expressiveness of Deterministic Transducers over Infinite Trees.	STACS	2004	DBLP DOI BibTeX RDF
2	Andreas Maletti	Relating Tree Series Transducers and Weighted Tree Automata.	Developments in Language Theory	2004	DBLP DOI BibTeX RDF
2	Ravi Wijesiriwardana, K. Mitcham, Tilak Dias	Fibre-Meshed Transducers Based Real Time Wearable Physiological Information Monitoring System.	ISWC	2004	DBLP DOI BibTeX RDF
2	Salvador Mir, Libor Rufer, Bernard Courtois	On-chip testing of embedded transducers.	VLSI Design	2004	DBLP DOI BibTeX RDF	failure mechanisms, A-HDL, fault modeling, fault simulation, defects, MEMS, self-test
2	Glauber T. Silva, Alejandro César Frery, Eliana Almeida, Shigao Chen, Mostafa Fatemi, James F. Greenleaf	Image Formation in Vibro-Acoustography with Sector Array Transducers.	SIBGRAPI	2004	DBLP DOI BibTeX RDF
2	Natasa Jonoska, Shiping Liao, Nadrian C. Seeman	Transducers with Programmable Input by DNA Self-assembly.	Aspects of Molecular Computing	2004	DBLP DOI BibTeX RDF
2	Takao Tsuchiya, Yukio Kagawa	On the Passive Vibration Damping by Piezoelectric Transducers with Inductive Loading.	AsiaSim	2004	DBLP DOI BibTeX RDF
2	Andreas Maletti	Myhill-Nerode Theorem for Sequential Transducers over Unique GCD-Monoids.	CIAA	2004	DBLP DOI BibTeX RDF
2	Björn Borchardt	Code Selection by Tree Series Transducers.	CIAA	2004	DBLP DOI BibTeX RDF
2	Sebastian Maneth, Giorgio Busatto	Tree Transducers and Tree Compressions.	FoSSaCS	2004	DBLP DOI BibTeX RDF
2	Joost Engelfriet, Sebastian Maneth	A comparison of pebble tree transducers with macro tree transducers.	Acta Inf.	2003	DBLP DOI BibTeX RDF
2	Simon M. Lucas	Evolving Finite State Transducers: Some Initial Explorations.	EuroGP	2003	DBLP DOI BibTeX RDF
2	Sheila Garfield, Stefan Wermter	Comparing Support Vector Machines, Recurrent Networks, and Finite State Transducers for Classifying Spoken Utterances.	ICANN	2003	DBLP DOI BibTeX RDF
2	George Rahonis	Alphabetic Pushdown Tree Transducers.	Developments in Language Theory	2003	DBLP DOI BibTeX RDF
2	Ravi Wijesiriwardana, Tilak Dias, S. Mukhopadhyay	Resistive Fibre-Meshed Transducers.	ISWC	2003	DBLP DOI BibTeX RDF
2	Bernard Boigelot, Axel Legay, Pierre Wolper	Iterating Transducers in the Large (Extended Abstract).	CAV	2003	DBLP DOI BibTeX RDF
2	Zeljko Vujovic	Work Out of the Algorithm Based on A-Mod for Detection Borderlines in Images Provided by the Intravascular Ultrasound System (IVUS) with 64 Transducers.	DSD	2002	DBLP DOI BibTeX RDF	intravascular ultrasound system, borderlines, A-mod, automated diagnostic, algorithm
2	Joost Engelfriet, Sebastian Maneth	Two-Way Finite State Transducers with Nested Pebbles.	MFCS	2002	DBLP DOI BibTeX RDF
2	Jurek Czyzowicz, Wojciech Fraczak, Andrzej Pelc	Transducers with Set Output.	COCOON	2002	DBLP DOI BibTeX RDF
2	Diamantino Caseiro, Isabel Trancoso	Large Vocabulary Continuous Speech Recognition Using Weighted Finite-State Transducers.	PorTAL	2002	DBLP DOI BibTeX RDF
2	Cyril Allauzen, Mehryar Mohri	p-Subsequentiable Transducers.	CIAA	2002	DBLP DOI BibTeX RDF
2	Jorge Graña, Gloria Andrade, Jesús Vilares	Compilation of Constraint-Based Contextual Rules for Part-of-Speech Tagging into Finite State Transducers.	CIAA	2002	DBLP DOI BibTeX RDF
2	Masami Ito, Carlos Martín-Vide, Victor Mitrana	Group weighted finite transducers.	Acta Inf.	2001	DBLP DOI BibTeX RDF
2	Joost Engelfriet, Hendrik Jan Hoogeboom	MSO definable string transductions and two-way finite-state transducers.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	Büchi, Elgot, Hennie machine, Trakhtenbrot, string transductions, two-way finite-state transducers, interpretation, monadic second-order logic
2	Joost Engelfriet, Sebastian Maneth	Hierarchies of String Languages Generated by Deterministic Tree Transducers.	Developments in Language Theory	2001	DBLP DOI BibTeX RDF
2	Dennis Dams, Yassine Lakhnech, Martin Steffen	Iterating Transducers.	CAV	2001	DBLP DOI BibTeX RDF
2	Rusins Freivalds, Andreas Winter	Quantum Finite State Transducers.	SOFSEM	2001	DBLP DOI BibTeX RDF
2	Anthony J. Bonner, Giansalvatore Mecca	Querying Sequence Databases with Transducers.	Acta Inf.	2000	DBLP DOI BibTeX RDF
2	Marie-Pierre Béal, Olivier Carton	Determinization of Transducers over Infinite Words.	ICALP	2000	DBLP DOI BibTeX RDF
2	David Picó, Francisco Casacuberta	A Statistical-Estimation Method for Stochastic Finite-State Transducers Based on Entropy Measures.	SSPR/SPR	2000	DBLP DOI BibTeX RDF
2	Elena I. Gaura, Richard J. Rider, Nigel Steele	Developing Smart Micromachined Transducers Using Feed-Forward Neural Networks: A System Identification and Control Perspective.	IJCNN	2000	DBLP DOI BibTeX RDF
2	Marc Spielmann	Verification of Relational Transducers for Electronic Commerce.	PODS	2000	DBLP DOI BibTeX RDF
2	Lauri Karttunen	Applications of Finite-State Transducers in Natural Language Processing.	CIAA	2000	DBLP DOI BibTeX RDF
2	Stoyan Mihov, Denis Maurel	Direct Construction of Minimal Acyclic Subsequential Transducers.	CIAA	2000	DBLP DOI BibTeX RDF
2	Tamás Gaál	Extended Sequentialization of Transducers.	CIAA	2000	DBLP DOI BibTeX RDF
2	Hiyan Alshawi, Srinivas Bangalore, Shona Douglas	Head-Transducer Models for Speech Translation and Their Automatic Acquisition from Bilingual Data.	Machine Translation	2000	DBLP DOI BibTeX RDF	head transducers, unsupervised learning of translation models, speech translation, statistical translation
2	Juan-Carlos Amengual, M. Asunción Castaño, Antonio Castellanos, Víctor M. Jiménez, David Llorens, Andrés Marzal, Federico Prat, Juan Miguel Vilar, José-Miguel Benedí, Francisco Casacuberta, Moisés Pastor, Enrique Vidal	The EuTrans Spoken Language Translation System.	Machine Translation	2000	DBLP DOI BibTeX RDF	subsequential transducers, transducer learning, grammatical inference, speech translation, finite-state models
2	Frank Drewes	Exponential Output Size of Top-Down Tree Transducers.	FCT	1999	DBLP DOI BibTeX RDF
2	Gheorghe Paun, Gabriel Thierrin	Multiset Processing by Means of Systems of Finite State Transducers.	WIA	1999	DBLP DOI BibTeX RDF
2	George Anton Kiraz	Compressed Storage of Sparse Finite-State Transducers.	WIA	1999	DBLP DOI BibTeX RDF
2	Géraud Sénizergues	T(A) = T(B)?	ICALP	1999	DBLP DOI BibTeX RDF	deterministic pushdown transducers, finite dimensional vector spaces, matrix semi-groups, complete formal systems, test-sets, rational series