|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 12 keywords
|
|
|
Results
Found 62 publication records. Showing 62 according to the selection in the facets
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 |
|
Displaying result #1 - #62 of 62 (100 per page; Change: )
|
|