Search results for "transducers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
113	Sebastian Maneth	The Complexity of Compositions of Deterministic Tree Transducers.	FSTTCS	2002	DBLP DOI BibTeX RDF	Deterministic Macro Tree Transducers, Complexity
106	Joost Engelfriet, Sebastian Maneth	A comparison of pebble tree transducers with macro tree transducers.	Acta Informatica	2003	DBLP DOI BibTeX RDF
103	Cyril Allauzen, Mehryar Mohri	p-Subsequentiable Transducers.	CIAA	2002	DBLP DOI BibTeX RDF
83	Wenfei Fan, Floris Geerts, Frank Neven	Expressiveness and complexity of xml publishing transducers.	PODS	2007	DBLP DOI BibTeX RDF	complexity, expressiveness, XML publishing
73	Joost Engelfriet, Eric Lilin, Andreas Maletti	Extended Multi Bottom-Up Tree Transducers.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF
73	Moez Krichen, Stavros Tripakis	State-Identification Problems for Finite-State Transducers.	FATES/RV	2006	DBLP DOI BibTeX RDF
63	Keisuke Nakano 0001	Composing Stack-Attributed Tree Transducers.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	XML stream transformation, Event-driven model, Descriptional composition, Attribute grammar, Deforestation
63	Cyril Allauzen, Mehryar Mohri	3-Way Composition of Weighted Finite-State Transducers.	CIAA	2008	DBLP DOI BibTeX RDF
63	Nicolae Santean, Sheng Yu 0001	On Weakly Ambiguous Finite Transducers.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
63	François Barthélemy	Partitioning Multitape Transducers.	FSMNLP	2005	DBLP DOI BibTeX RDF
63	Ravi Wijesiriwardana, K. Mitcham, Tilak Dias	Fibre-Meshed Transducers Based Real Time Wearable Physiological Information Monitoring System.	ISWC	2004	DBLP DOI BibTeX RDF
63	Joost Engelfriet, Sebastian Maneth	Two-Way Finite State Transducers with Nested Pebbles.	MFCS	2002	DBLP DOI BibTeX RDF
63	Naoki Kobayashi 0001, Naoshi Tabuchi, Hiroshi Unno 0001	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
63	José Oncina, Pedro García 0001, Enrique Vidal 0001	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
60	Tamás Gaál	Is this Finite-State Transducer Sequentiable?	CIAA	2001	DBLP DOI BibTeX RDF
60	Hiyan Alshawi, Srinivas Bangalore, Shona Douglas	Head-Transducer Models for Speech Translation and Their Automatic Acquisition from Bilingual Data.	Mach. Transl.	2000	DBLP DOI BibTeX RDF	head transducers, unsupervised learning of translation models, speech translation, statistical translation
53	Sunheum Lee, KwanSun Choi, Dongsik Kim, Changwan Jeon, Young Doo Ahn	A Novel Method for Performance Evaluation of Focused Ultrasonic Transducers.	FGCN (2)	2007	DBLP DOI BibTeX RDF
53	Glauber T. Silva, Alejandro César Frery, Eliana S. de Almeida, Shigao Chen, Mostafa Fatemi, James F. Greenleaf	Image Formation in Vibro-Acoustography with Sector Array Transducers.	SIBGRAPI	2004	DBLP DOI BibTeX RDF
53	Javier Baliosian, Joan Serrat 0001	Finite State Transducers for Policy Evaluation and Conflict Resolution.	POLICY	2004	DBLP DOI BibTeX RDF
53	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
53	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
50	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
50	Francisco Casacuberta, Enrique Vidal 0001	Learning finite-state models for machine translation.	Mach. Learn.	2007	DBLP DOI BibTeX RDF	Stochastic finite-state transducers, Machine translation, Grammatical inference
43	Joost Engelfriet	The time complexity of typechecking tree-walking tree transducers.	Acta Informatica	2009	DBLP DOI BibTeX RDF
43	Rodrigo de Souza	On the Decidability of the Equivalence for a Certain Class of Transducers.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
43	Jean-François Raskin, Frédéric Servais	Visibly Pushdown Transducers.	ICALP (2)	2008	DBLP DOI BibTeX RDF
43	Jacques Sakarovitch, Rodrigo de Souza	On the Decidability of Bounded Valuedness for Transducers.	MFCS	2008	DBLP DOI BibTeX RDF
43	Vicente Alabau, Francisco Casacuberta, Enrique Vidal 0001, Alfons Juan	Inference of Stochastic Finite-State Transducers Using N -Gram Mixtures.	IbPRIA (2)	2007	DBLP DOI BibTeX RDF
43	Andreas Maletti	The Power of Tree Series Transducers of Type I and II.	Developments in Language Theory	2005	DBLP DOI BibTeX RDF
43	Marie-Pierre Béal, Olivier Carton	Determinization of Transducers over Infinite Words: The General Case.	Theory Comput. Syst.	2004	DBLP DOI BibTeX RDF
43	Ravi Wijesiriwardana, Tilak Dias, S. Mukhopadhyay	Resistive Fibre-Meshed Transducers.	ISWC	2003	DBLP DOI BibTeX RDF
43	Jurek Czyzowicz, Wojciech Fraczak, Andrzej Pelc	Transducers with Set Output.	COCOON	2002	DBLP DOI BibTeX RDF
43	Anthony J. Bonner, Giansalvatore Mecca	Querying Sequence Databases with Transducers.	Acta Informatica	2000	DBLP DOI BibTeX RDF
43	Marie-Pierre Béal, Olivier Carton	Determinization of Transducers over Infinite Words.	ICALP	2000	DBLP DOI BibTeX RDF
43	Lauri Karttunen	Applications of Finite-State Transducers in Natural Language Processing.	CIAA	2000	DBLP DOI BibTeX RDF
43	Tamás Gaál	Extended Sequentialization of Transducers.	CIAA	2000	DBLP DOI BibTeX RDF
43	Marc Spielmann	Verification of Relational Transducers for Electronic Commerce.	PODS	2000	DBLP DOI BibTeX RDF
43	B. Romanowicz, M. Laudon, P. Lerch, Philippe Renaud, Hans Peter Amann, A. Boegli, Vincent Moser, Fausto Pellandini	Modeling and simulation of electromechanical transducers in microsystems using an analog hardware description language.	ED&TC	1997	DBLP DOI BibTeX RDF
43	Yves Andre, Francis Bossut	Word-into-Tree Transducers with Bounded Difference.	TAPSOFT	1997	DBLP DOI BibTeX RDF
43	Karel Culík II, Juhani Karhumäki	The Equivalence of Finite Valued Transducers (on HDTOL Languages) is Decidable.	MFCS	1986	DBLP DOI BibTeX RDF
43	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
43	Amashini Naidoo, Nelishia Pillay	The Induction of Finite Transducers Using Genetic Programming.	EuroGP	2007	DBLP DOI BibTeX RDF	genetic programming, finite state transducers
40	Enrique Vidal 0001, Francisco Casacuberta	Learning Finite-State Models for Machine Translation.	ICGI	2004	DBLP DOI BibTeX RDF
40	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
40	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
39	Ömür Bozma, Roman Kuc	Building a Sonar Map in a Specular Environment Using a Single Mobile Sensor.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	acoustic transducers, sonar map, specular environment, single mobile sensor, acoustic sensors, acoustic propagation, acoustic applications, acoustic transducers, mobile robots, mobile robots, reflection, edges, autonomous vehicle, corners, planes, sonar, acoustic signal processing
33	Jorge González, Germán Sanchis-Trilles, Francisco Casacuberta	Learning Finite State Transducers Using Bilingual Phrases.	CICLing	2008	DBLP DOI BibTeX RDF
33	Kazuhiro Inaba, Haruo Hosoya, Sebastian Maneth	Multi-Return Macro Tree Transducers.	CIAA	2008	DBLP DOI BibTeX RDF
33	Rodrigo de Souza	On the Decidability of the Equivalence for k-Valued Transducers.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF
33	Dan Zhou, Jing Chen, Haosu Luo	Piezoelectric Single Crystals of Pb(Mg1/3Nb2/3)O3-PbTiO3 and their Applications in Medical Ultrasonic Transducers.	BMEI (2)	2008	DBLP DOI BibTeX RDF	PMN-PT single crystals, medical ultrasonic transducer, electromechanical coupling factor, 1-3 composite
33	Ruben Agadzanyan, Rusins Freivalds	Size of Quantum Finite State Transducers.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
33	Gérard P. Huet, Benoît Razet	The Reactive Engine for Modular Transducers.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
33	Kevin Knight, Jonathan Graehl	An Overview of Probabilistic Tree Transducers for Natural Language Processing.	CICLing	2005	DBLP DOI BibTeX RDF
33	Vincent Claveau, Pierre Zweigenbaum	Translating Biomedical Terms by Inferring Transducers.	AIME	2005	DBLP DOI BibTeX RDF
33	Stefan Pitzek, Wilfried Elmenreich	Plug-and-play: bridging the semantic gap between application and transducers.	ETFA	2005	DBLP DOI BibTeX RDF
33	Natasa Jonoska, Shiping Liao, Nadrian C. Seeman	Transducers with Programmable Input by DNA Self-assembly.	Aspects of Molecular Computing	2004	DBLP DOI BibTeX RDF
33	Björn Borchardt	Code Selection by Tree Series Transducers.	CIAA	2004	DBLP DOI BibTeX RDF
33	Takao Tsuchiya, Yukio Kagawa	On the Passive Vibration Damping by Piezoelectric Transducers with Inductive Loading.	AsiaSim	2004	DBLP DOI BibTeX RDF
33	Thomas Colcombet, Christof Löding	On the Expressiveness of Deterministic Transducers over Infinite Trees.	STACS	2004	DBLP DOI BibTeX RDF
33	Masami Ito, Carlos Martín-Vide, Victor Mitrana	Group weighted finite transducers.	Acta Informatica	2001	DBLP DOI BibTeX RDF
33	Dennis Dams, Yassine Lakhnech, Martin Steffen	Iterating Transducers.	CAV	2001	DBLP DOI BibTeX RDF
33	Joost Engelfriet, Sebastian Maneth	Hierarchies of String Languages Generated by Deterministic Tree Transducers.	Developments in Language Theory	2001	DBLP DOI BibTeX RDF
33	Rusins Freivalds, Andreas J. Winter 0002	Quantum Finite State Transducers.	SOFSEM	2001	DBLP DOI BibTeX RDF
33	Elena I. Gaura, Richard J. Rider, Nigel Steele	Developing Smart Micromachined Transducers Using Feed-Forward Neural Networks: A System Identification and Control Perspective.	IJCNN (4)	2000	DBLP DOI BibTeX RDF
33	Gheorghe Paun, Gabriel Thierrin	Multiset Processing by Means of Systems of Finite State Transducers.	WIA	1999	DBLP DOI BibTeX RDF
33	Frank Drewes	Exponential Output Size of Top-Down Tree Transducers.	FCT	1999	DBLP DOI BibTeX RDF
33	Sylvain Porrot, Max Dauchet, Bruno Durand 0001, Nikolai K. Vereshchagin	Deterministic Rational Transducers and Random Sequences.	FoSSaCS	1998	DBLP DOI BibTeX RDF
33	Yves Andre, Francis Bossut	The Equivalence Problem for Letter-to-Letter Bottom-up Tree Transducers is Solvable.	TAPSOFT	1995	DBLP DOI BibTeX RDF
33	Owen Rambow, Giorgio Satta	A Rank Hierarchy for Determinsitic Tree-Walking Transducers.	CAAP	1994	DBLP DOI BibTeX RDF
33	Karel Culík II, Juhani Karhumäki	On the Equivalence Problem for Deterministic Multitape Automata and Transducers.	STACS	1989	DBLP DOI BibTeX RDF
33	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
30	Aurélien Lemay, Sebastian Maneth, Joachim Niehren	A learning algorithm for top-down XML transformations.	PODS	2010	DBLP DOI BibTeX RDF	myhill-nerode equivalence, tree transformation, minimization, learning algorithm, top-down, transducer
30	Sumit Nain, Moshe Y. Vardi	Trace Semantics is Fully Abstract.	LICS	2009	DBLP DOI BibTeX RDF
30	Khadidja Saidi, Youcef Remram, Mokhtar Attari	Conception of an ultrasonic system for assistance to the diagnosis of the osteoporosis.	EIT	2008	DBLP DOI BibTeX RDF
30	Olin Shivers, Matthew Might	Continuations and transducer composition.	PLDI	2006	DBLP DOI BibTeX RDF	lambda, program analysis, continuations, fusion, language design, functional languages, stream processing, calculus, flow analysis, continuation-passing style (CPS), coroutines
30	Gérard P. Huet	Shallow syntax analysis in Sanskrit guided by semantic nets constraints.	IWRIDL	2006	DBLP DOI BibTeX RDF	Sanskrit parser, natuaral language processing, computational linguistic, semantic net, syntax analysis
30	Sergey Andronenko, Ion Stiharu, Muthukuruman Packirisamy	The Use of Microelectromechanical Systems for Surge Detection in Gas Turbine Engines.	ICMENS	2005	DBLP DOI BibTeX RDF
30	Zoltán Fülöp 0001, Heiko Vogler	Tree Series Transformations that Respect Copying.	Theory Comput. Syst.	2003	DBLP DOI BibTeX RDF
30	Isabel Trancoso, Céu Viana, Manuela Barros, Diamantino Caseiro, Sérgio Paulo	From Portuguese to Mirandese: Fast Porting of a Letter-to-Sound Module Using FSTs.	PROPOR	2003	DBLP DOI BibTeX RDF
30	Selvan Pather, Brian L. Davies, Roger D. Hibberd	The development of a robotic system for HIFU surgery applied to liver tumours.	ICARCV	2002	DBLP DOI BibTeX RDF
30	Mehryar Mohri	Edit-Distance of Weighted Automata.	CIAA	2002	DBLP DOI BibTeX RDF
30	Armin Kühnemann, Robert Glück, Kazuhiko Kakehi 0001	Relating Accumulative and Non-accumulative Functional Programs.	RTA	2001	DBLP DOI BibTeX RDF
30	Mehryar Mohri	Generic epsilon -Removal Algorithm for Weighted Automata.	CIAA	2000	DBLP DOI BibTeX RDF
30	Andrew Roczniak, Abdulmotaleb El-Saddik	Improving robustness of P2P applications in mobile environments.	Peer-to-Peer Netw. Appl.	2009	DBLP DOI BibTeX RDF	Mobile P2P applications, Service accessibility, Robustness, Finite state transducers
30	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
30	Dana Angluin, Leonor Becerra-Bonache	Learning Meaning Before Syntax.	ICGI	2008	DBLP DOI BibTeX RDF	semantics, corrections, finite-state transducers
30	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
30	Cyril Allauzen, Michael Riley 0001, 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
30	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
30	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 0001	The EuTrans Spoken Language Translation System.	Mach. Transl.	2000	DBLP DOI BibTeX RDF	subsequential transducers, transducer learning, grammatical inference, speech translation, finite-state models
30	Igor Lackovic, Vedran Bilas, Ante Santic	A computer based vertical force monitoring and analysis system for gait evaluation.	CBMS	1997	DBLP DOI BibTeX RDF	computer based vertical force monitoring, vertical force analysis system, gait evaluation, vertical force measurement, injured persons, patient recovery rate, rehabilitation process, continuous monitoring, multisegmented capacitive transducers, vertical force signal processing, software performance, frequency domain, CAS, real-time monitoring, computerised monitoring, time domain
30	Eric Steegmans, Johan Lewi, Ivo Van Horebeek	Generation of Interactive Parsers With Error Handling.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	ELL 1, interactive parsers, interactive transducers, underlying parser, generation scheme, error-recovery generation capabilities, semantic error recovery, MIRA transducer writing system, adopted error-recovery strategy, interactive software package, MINI-ABACUS, error-recovery principles, Ada, interactive systems, program compilers, grammars, system recovery, industrial case studies, Ada programs
30	Billur Barshan, Roman Kuc	Differentiating Sonar Reflections from Corners and Planes by Employing an Intelligent Sensor.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	multitransducer pulse echo ranging system, sonar reflections, sound propagation, Polaroid transducers, pattern recognition, artificial intelligence, signal processing, corners, planes, sonar, intelligent sensor
30	Kim Guldstrand Larsen	Compositional Theories Based on an Operational Semantics of Contexts.	REX Workshop	1989	DBLP DOI BibTeX RDF	Classification of Compositionality, Contexts as Transducers, Relative Bisimulation, Recursive Modal Logic, Weakest Property Transformer, Process Algebra, Bisimulation, Reactive Systems, Environments, Compositionality
26	Gaëtan Douéneau-Tabot, Emmanuel Filiot, Paul Gastin	Register transducers are marble transducers.	CoRR	2020	DBLP BibTeX RDF
26	Gaëtan Douéneau-Tabot, Emmanuel Filiot, Paul Gastin	Register Transducers Are Marble Transducers.	MFCS	2020	DBLP DOI BibTeX RDF
26	Baoxin Qi, Qingzhao Kong, Hui Qian 0005, Devendra Patil, Ing Lim, Mo Li 0011, Dong Liu, Gangbing Song	Study of Impact Damage in PVA-ECC Beam under Low-Velocity Impact Loading Using Piezoceramic Transducers and PVDF Thin-Film Transducers.	Sensors	2018	DBLP DOI BibTeX RDF
26	Mithat Ozdingis, Baki Karaboce, Yunus Emre Erdemli	Production of Probes to Characterize Acoustic Field Effects Due to The Geometry of Piezoelectric Transducers : Rectangular and Rhomboid Transducers.	MeMeA	2018	DBLP DOI BibTeX RDF
26	Niels Bjørn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen, Kristoffer Aalund Søholm, Sebastian Paaske Tørholm	Kleenex: compiling nondeterministic transducers to deterministic streaming transducers.	POPL	2016	DBLP DOI BibTeX RDF
26	Mathieu Caralp, Emmanuel Filiot, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot	Expressiveness of Visibly Pushdown Transducers.	TTATT	2013	DBLP DOI BibTeX RDF