Search results for "State-Merging"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
46	Bernard Lambeau, Christophe Damas, Pierre Dupont	State-Merging DFA Induction Algorithms with Mandatory Merge Constraints.	ICGI	2008	DBLP DOI BibTeX RDF
23	Patrick Adenis, Kushal Mukherjee, Asok Ray	State splitting and state merging in probabilistic finite state automata.	ACC	2011	DBLP DOI BibTeX RDF
21	Omri Guttman, S. V. N. Vishwanathan, Robert C. Williamson	Learnability of Probabilistic Automata via Oracles.	ALT	2005	DBLP DOI BibTeX RDF
20	Neil Walkinshaw, Kirill Bogdanov 0002, Ken Johnson	Evaluation and Comparison of Inferred Regular Grammars.	ICGI	2008	DBLP DOI BibTeX RDF	State-Merging, FSM Testing, Evaluation, Model-Based Testing, Precision and Recall
18	Simon M. Lucas, T. Jeff Reynolds	Learning Finite-State Transducers: Evolution Versus Heuristic State Merging.	IEEE Trans. Evol. Comput.	2007	DBLP DOI BibTeX RDF
18	Dillip Kumar Lenka, Pawan Kumar	States merging in LR parser.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF
14	Qing Tang, Xianbiao Hu	A multi-state merging based analytical model for an operation design domain of autonomous vehicles in work zones on two-lane highways.	J. Intell. Transp. Syst.	2024	DBLP DOI BibTeX RDF
14	David Trabish, Noam Rinetzky, Sharon Shoham, Vaibhav Sharma	State Merging with Quantifiers in Symbolic Execution.	CoRR	2023	DBLP DOI BibTeX RDF
14	Adil Soubki, Jeffrey Heinz	Benchmarking State-Merging Algorithms for Learning Regular Languages.	ICGI	2023	DBLP BibTeX RDF
14	David Trabish, Noam Rinetzky, Sharon Shoham, Vaibhav Sharma	State Merging with Quantifiers in Symbolic Execution.	ESEC/SIGSOFT FSE	2023	DBLP DOI BibTeX RDF
14	Johanna Björklund	The Impact of State Merging on Predictive Accuracy in Probabilistic Tree Automata: Dietze's Conjecture Revisited.	FCT	2023	DBLP DOI BibTeX RDF
14	Gabriel Paludo Licks	Monte Carlo Tree Search with State Merging for Reinforcement Learning in Regular Decision Processes (Short paper).	DC@AI*IA	2023	DBLP BibTeX RDF
14	William Merrill, Nikolaos Tsilivis 0002	Extracting Finite Automata from RNNs Using State Merging.	CoRR	2022	DBLP BibTeX RDF
14	Xiao Lin, Jia Zhang, Shengnan Yue, Yuanlong Tan, Xiaoyu Wang 0013, Weiqiang Sun, Malathi Veeraraghavan, Weisheng Hu	A State-Merging Scheduling Method for Bulk Transfers with Store-and-Forward over Inter-DC Optical Networks.	HPSR	2020	DBLP DOI BibTeX RDF
14	Hayata Yamasaki, Mio Murao	Quantum State Merging for Arbitrarily Small-Dimensional Systems.	IEEE Trans. Inf. Theory	2019	DBLP DOI BibTeX RDF
14	Kazuya Aizawa, Kenji Tei, Shinichi Honiden	Analysis Space Reduction with State Merging for Ensuring Safety Properties of Self-Adaptive Systems.	SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI	2019	DBLP DOI BibTeX RDF
14	Alexis Linard	Learning Several Languages from Labeled Strings: State Merging and Evolutionary Approaches.	CoRR	2018	DBLP BibTeX RDF
14	Chao Zhang, Weiliang Yin, Zhiqiang Lin	Boost Symbolic Execution Using Dynamic State Merging and Forking.	QuASoQ@APSEC	2018	DBLP BibTeX RDF
14	Christian A. Hammerschmidt, Radu State, Sicco Verwer	Human in the Loop: Interactive Passive Automata Learning via Evidence-Driven State-Merging Algorithms.	CoRR	2017	DBLP BibTeX RDF
14	Wei Deng, Zhaopeng Li	形状分析符号执行引擎中的状态合并 (State Merging for Symbolic Execution Engine with Shape Analysis).	计算机科学	2017	DBLP DOI BibTeX RDF
14	Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Saddek Bensalem	Improved Learning for Stochastic Timed Models by State-Merging Algorithms.	NFM	2017	DBLP DOI BibTeX RDF
14	Christian A. Hammerschmidt	Learning Finite Automata via Flexible State-Merging and Applications in Networking.		2017	RDF
14	Christian A. Hammerschmidt, Benjamin Loos, Radu State, Thomas Engel 0001	Flexible State-Merging for Learning (P)DFAs in Python.	ICGI	2016	DBLP BibTeX RDF
14	Abdullah Alsaeedi	Improving software model inference by combining state merging and Markov models.		2016	RDF
14	Toni Dietze, Mark-Jan Nederhof	Count-based State Merging for Probabilistic Regular Tree Grammars.	FSMNLP	2015	DBLP BibTeX RDF
14	Holger Boche, Gisbert Janßen	Resource Cost Results for One-Way Entanglement Distillation and State Merging of Compound and Arbitrarily Varying Quantum Sources.	CoRR	2014	DBLP BibTeX RDF
14	Naresh Sharma	A strong converse for the quantum state merging protocol.	CoRR	2014	DBLP BibTeX RDF
14	Holger Boche, Gisbert Janßen	Resource Cost Results for Entanglement Distillation and State Merging under Source Uncertainties.	CoRR	2014	DBLP BibTeX RDF
14	Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea	Efficient State Merging in Symbolic Execution.	Software Engineering	2014	DBLP BibTeX RDF
14	Holger Boche, Gisbert Janssen	Resource cost results for entanglement distillation and state merging under source uncertainties.	ISIT	2014	DBLP DOI BibTeX RDF
14	Étienne André, Laurent Fribourg, Romain Soulat	Merge and Conquer: State Merging in Parametric Timed Automata.	ATVA	2013	DBLP DOI BibTeX RDF
14	Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea	Efficient state merging in symbolic execution.	PLDI	2012	DBLP DOI BibTeX RDF
14	Étienne André, Laurent Fribourg, Romain Soulat	Enhancing the Inverse Method with State Merging.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
14	Igor Bjelakovic, Holger Boche, Gisbert Janssen	Universal quantum state merging.	ISIT	2011	DBLP DOI BibTeX RDF
14	Vaibhav Madhok, Animesh Datta	Interpreting quantum discord through quantum state merging	CoRR	2010	DBLP BibTeX RDF
14	Nicolas Dutil, Patrick M. Hayden	One-shot Multiparty State Merging.	CoRR	2010	DBLP BibTeX RDF
14	Jean-Christian Boileau, Joseph M. Renes	Optimal State Merging without Decoupling.	TCQ	2009	DBLP DOI BibTeX RDF
14	Michela Becchi, Srihari Cadambi	Memory-Efficient Regular Expression Search Using State Merging.	INFOCOM	2007	DBLP DOI BibTeX RDF
14	Miguel M. F. Bugalho, Arlindo L. Oliveira	Inference of regular languages using state merging algorithms with search.	Pattern Recognit.	2005	DBLP DOI BibTeX RDF
14	Simon M. Lucas, T. Jeff Reynolds	Learning DFA: evolution versus evidence driven state merging.	IEEE Congress on Evolutionary Computation	2003	DBLP DOI BibTeX RDF
14	François Coste, Daniel Fredouille	Unambiguous Automata Inference by Means of State-Merging Methods.	ECML	2003	DBLP DOI BibTeX RDF
14	Amaury Habrard, Marc Bernard, Marc Sebban	Improvement of the State Merging Rule on Noisy Data in Probabilistic Grammatical Inference.	ECML	2003	DBLP DOI BibTeX RDF	probabilistic grammatical inference, statistical approaches, noisy data
14	Marc Sebban, Jean-Christophe Janodet	On State Merging in Grammatical Inference: A Statistical Approach for Dealing with Noisy Data.	ICML	2003	DBLP BibTeX RDF
14	Matthew Young-Lai	Adding State Merging to the DMC Data Compression Algorithm.	Inf. Process. Lett.	1999	DBLP DOI BibTeX RDF
14	Kevin J. Lang, Barak A. Pearlmutter, Rodney A. Price	Results of the Abbadingo One DFA Learning Competition and a New Evidence-Driven State Merging Algorithm.	ICGI	1998	DBLP DOI BibTeX RDF
14	Rafael C. Carrasco, José Oncina	Learning Stochastic Regular Grammars by Means of a State Merging Method.	ICGI	1994	DBLP DOI BibTeX RDF
14	John Abela, François Coste, Sandro Spina	Mutually Compatible and Incompatible Merges for the Search of the Smallest Consistent DFA.	ICGI	2004	DBLP DOI BibTeX RDF
14	Tapio Elomaa	Partition-Refining Algorithms for Learning Finite State Automata.	ISMIS	2002	DBLP DOI BibTeX RDF
14	Christopher Kermorvant, Pierre Dupont	Stochastic Grammatical Inference with Multinomial Tests.	ICGI	2002	DBLP DOI BibTeX RDF
13	Jeffrey Heinz	Learning Left-to-Right and Right-to-Left Iterative Languages.	ICGI	2008	DBLP DOI BibTeX RDF
11	Alexander Clark	Large Scale Inference of Deterministic Transductions: Tenjinno Problem 1.	ICGI	2006	DBLP DOI BibTeX RDF
10	François Coste, Jacques Nicolas	How Considering Incompatible State Mergings May Reduce the DFA Induction Search Tree.	ICGI	1998	DBLP DOI BibTeX RDF	grammatical inference, search tree, DFA, constraint system
8	Alan J. Demers, Johannes Gehrke, Mingsheng Hong, Mirek Riedewald, Walker M. White	Towards Expressive Publish/Subscribe Systems.	EDBT	2006	DBLP DOI BibTeX RDF
8	Simon M. Lucas, T. Jeff Reynolds	Learning Deterministic Finite Automata with a Smart State Labeling Evolutionary Algorithm.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF
8	Javad Sadr, Roland P. Malhamé	Unreliable Transfer Lines: Decomposition/Aggregation and Optimization.	Ann. Oper. Res.	2004	DBLP DOI BibTeX RDF	transfer lines, manufacturing flow control, KANBAN optimization, hedging policies, dynamic programming, decomposition techniques
8	Orlando Cicchello, Stefan C. Kremer	Beyond EDSM.	ICGI	2002	DBLP DOI BibTeX RDF
7	François Coste, Daniel Fredouille, Christopher Kermorvant, Colin de la Higuera	Introducing Domain and Typing Bias in Automata Inference.	ICGI	2004	DBLP DOI BibTeX RDF	Automata Inference, Background Knowledge
7	Kwok-Chung Au, Kwok-Wai Cheung 0001	Learning Hidden Markov Model Topology Based on KL Divergence for Information Extraction.	PAKDD	2004	DBLP DOI BibTeX RDF
7	Yaron Weinsberg, Israel Ben-Shaul	A programming model and system for disconnected-aware applications on resource-constrained devices.	ICSE	2002	DBLP DOI BibTeX RDF
7	Martin H. C. Law, James T. Kwok	Rival Penalized Competitive Learning for Model-Based Sequence Clustering.	ICPR	2000	DBLP DOI BibTeX RDF
7	Laurent Bréhélin, Olivier Gascuel, Gilles Caraux	Hidden Markov Models with Patterns and Their Application to Integrated Circuit Testing.	ECML	2000	DBLP DOI BibTeX RDF
7	Hugues Juillé, Jordan B. Pollack	A Stochastic Search Approach to Grammar Induction.	ICGI	1998	DBLP DOI BibTeX RDF