|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 9th International Colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008, Proceedings, pp. 139-153, 2008, Springer, 978-3-540-88008-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Patrick Adenis, Kushal Mukherjee, Asok Ray |
State splitting and state merging in probabilistic finite state automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2011, San Francisco, CA, USA, June 29 - July 1, 2011, pp. 5145-5150, 2011, IEEE, 978-1-4577-0081-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Omri Guttman, S. V. N. Vishwanathan, Robert C. Williamson |
Learnability of Probabilistic Automata via Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 16th International Conference, ALT 2005, Singapore, October 8-11, 2005, Proceedings, pp. 171-182, 2005, Springer, 3-540-29242-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Neil Walkinshaw, Kirill Bogdanov 0002, Ken Johnson |
Evaluation and Comparison of Inferred Regular Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 9th International Colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008, Proceedings, pp. 252-265, 2008, Springer, 978-3-540-88008-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Evol. Comput. ![In: IEEE Trans. Evol. Comput. 11(3), pp. 308-325, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Dillip Kumar Lenka, Pawan Kumar |
States merging in LR parser. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 41(4), pp. 24-29, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Transp. Syst. ![In: J. Intell. Transp. Syst. 28(3), pp. 372-385, May 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | David Trabish, Noam Rinetzky, Sharon Shoham, Vaibhav Sharma |
State Merging with Quantifiers in Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.12068, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Adil Soubki, Jeffrey Heinz |
Benchmarking State-Merging Algorithms for Learning Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: International Conference on Grammatical Inference, ICGI 2023, 10-13 July 2023, Rabat, Morocco., pp. 181-198, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
14 | David Trabish, Noam Rinetzky, Sharon Shoham, Vaibhav Sharma |
State Merging with Quantifiers in Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023, pp. 1140-1152, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings, pp. 74-87, 2023, Springer, 978-3-031-43586-7. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
DC@AI*IA ![In: Proceedings of the AIxIA Doctoral Consortium 2023 co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 6-7, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
14 | William Merrill, Nikolaos Tsilivis 0002 |
Extracting Finite Automata from RNNs Using State Merging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.12451, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPSR ![In: 21st IEEE International Conference on High Performance Switching and Routing, HPSR 2020, Newark, NJ, USA, May 11-14, 2020, pp. 1-7, 2020, IEEE, 978-1-7281-4846-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Hayata Yamasaki, Mio Murao |
Quantum State Merging for Arbitrarily Small-Dimensional Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 65(6), pp. 3950-3972, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI ![In: 2019 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2019, Leicester, United Kingdom, August 19-23, 2019, pp. 1363-1370, 2019, IEEE, 978-1-7281-4034-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Alexis Linard |
Learning Several Languages from Labeled Strings: State Merging and Evolutionary Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.01630, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
14 | Chao Zhang, Weiliang Yin, Zhiqiang Lin |
Boost Symbolic Execution Using Dynamic State Merging and Forking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QuASoQ@APSEC ![In: Proceedings of the 6th International Workshop on Quantitative Approaches to Software Quality co-located with 25th Asia-Pacific Software Engineering Conference (APSEC 2018), Nara, Japan, December 4, 2018., pp. 14-21, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1707.09430, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
14 | Wei Deng, Zhaopeng Li |
形状分析符号执行引擎中的状态合并 (State Merging for Symbolic Execution Engine with Shape Analysis). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 44(2), pp. 209-215, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NFM ![In: NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings, pp. 178-193, 2017, 978-3-319-57287-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Christian A. Hammerschmidt |
Learning Finite Automata via Flexible State-Merging and Applications in Networking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
14 | Christian A. Hammerschmidt, Benjamin Loos, Radu State, Thomas Engel 0001 |
Flexible State-Merging for Learning (P)DFAs in Python. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Proceedings of the 13th International Conference on Grammatical Inference, ICGI 2016, Delft, The Netherlands, October 5-7, 2016, pp. 154-159, 2016, JMLR.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Abdullah Alsaeedi |
Improving software model inference by combining state merging and Markov models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
14 | Toni Dietze, Mark-Jan Nederhof |
Count-based State Merging for Probabilistic Regular Tree Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSMNLP ![In: Proceedings of the 12th International Conference on Finite-State Methods and Natural Language Processing, FSMNLP 2015, Düsseldorf, Germany, June 22-24, 2015, 2015, The Association for Computer Linguistics. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1401.6063, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
14 | Naresh Sharma |
A strong converse for the quantum state merging protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1404.5940, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
14 | Holger Boche, Gisbert Janßen |
Resource Cost Results for Entanglement Distillation and State Merging under Source Uncertainties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1404.6891, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
14 | Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea |
Efficient State Merging in Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar - 28. Februar 2014, Kiel, Germany, pp. 45-46, 2014, GI, 978-388579-621-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
14 | Holger Boche, Gisbert Janssen |
Resource cost results for entanglement distillation and state merging under source uncertainties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIT ![In: 2014 IEEE International Symposium on Information Theory, Honolulu, HI, USA, June 29 - July 4, 2014, pp. 721-725, 2014, IEEE, 978-1-4799-5186-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Étienne André, Laurent Fribourg, Romain Soulat |
Merge and Conquer: State Merging in Parametric Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, pp. 381-396, 2013, Springer, 978-3-319-02443-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea |
Efficient state merging in symbolic execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012, pp. 193-204, 2012, ACM, 978-1-4503-1205-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Étienne André, Laurent Fribourg, Romain Soulat |
Enhancing the Inverse Method with State Merging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings, pp. 100-105, 2012, Springer, 978-3-642-28890-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Igor Bjelakovic, Holger Boche, Gisbert Janssen |
Universal quantum state merging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIT ![In: 2011 IEEE International Symposium on Information Theory Proceedings, ISIT 2011, St. Petersburg, Russia, July 31 - August 5, 2011, pp. 99-103, 2011, IEEE, 978-1-4577-0596-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Vaibhav Madhok, Animesh Datta |
Interpreting quantum discord through quantum state merging ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1008.4135, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
14 | Nicolas Dutil, Patrick M. Hayden |
One-shot Multiparty State Merging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1011.1974, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
14 | Jean-Christian Boileau, Joseph M. Renes |
Optimal State Merging without Decoupling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCQ ![In: Theory of Quantum Computation, Communication, and Cryptography, 4th Workshop, TQC 2009, Waterloo, Canada, May 11-13, 2009, Revised Selected Papers, pp. 76-84, 2009, Springer, 978-3-642-10697-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Michela Becchi, Srihari Cadambi |
Memory-Efficient Regular Expression Search Using State Merging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: INFOCOM 2007. 26th IEEE International Conference on Computer Communications, Joint Conference of the IEEE Computer and Communications Societies, 6-12 May 2007, Anchorage, Alaska, USA, pp. 1064-1072, 2007, IEEE, 1-4244-1046-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Miguel M. F. Bugalho, Arlindo L. Oliveira |
Inference of regular languages using state merging algorithms with search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. ![In: Pattern Recognit. 38(9), pp. 1457-1467, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Simon M. Lucas, T. Jeff Reynolds |
Learning DFA: evolution versus evidence driven state merging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2003, Canberra, Australia, December 8-12, 2003, pp. 351-358, 2003, IEEE, 0-7803-7804-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | François Coste, Daniel Fredouille |
Unambiguous Automata Inference by Means of State-Merging Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML 2003, 14th European Conference on Machine Learning, Cavtat-Dubrovnik, Croatia, September 22-26, 2003, Proceedings, pp. 60-71, 2003, Springer, 3-540-20121-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML 2003, 14th European Conference on Machine Learning, Cavtat-Dubrovnik, Croatia, September 22-26, 2003, Proceedings, pp. 169-180, 2003, Springer, 3-540-20121-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Machine Learning, Proceedings of the Twentieth International Conference (ICML 2003), August 21-24, 2003, Washington, DC, USA, pp. 688-695, 2003, AAAI Press, 1-57735-189-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
14 | Matthew Young-Lai |
Adding State Merging to the DMC Data Compression Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 70(5), pp. 223-228, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference, 4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998, Proceedings, pp. 1-12, 1998, Springer, 3-540-64776-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Rafael C. Carrasco, José Oncina |
Learning Stochastic Regular Grammars by Means of a State Merging Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference and Applications, Second International Colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994, Proceedings, pp. 139-152, 1994, Springer, 3-540-58473-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004, Proceedings, pp. 28-39, 2004, Springer, 3-540-23410-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Tapio Elomaa |
Partition-Refining Algorithms for Learning Finite State Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 13th International Symposium, ISMIS 2002, Lyon, France, June 27-29, 2002, Proceedings, pp. 232-243, 2002, Springer, 3-540-43785-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Christopher Kermorvant, Pierre Dupont |
Stochastic Grammatical Inference with Multinomial Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002, Proceedings, pp. 149-160, 2002, Springer, 3-540-44239-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Jeffrey Heinz |
Learning Left-to-Right and Right-to-Left Iterative Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 9th International Colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008, Proceedings, pp. 84-97, 2008, Springer, 978-3-540-88008-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Alexander Clark |
Large Scale Inference of Deterministic Transductions: Tenjinno Problem 1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings, pp. 227-239, 2006, Springer, 3-540-45264-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | François Coste, Jacques Nicolas |
How Considering Incompatible State Mergings May Reduce the DFA Induction Search Tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference, 4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998, Proceedings, pp. 199-210, 1998, Springer, 3-540-64776-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT 2006, 10th International Conference on Extending Database Technology, Munich, Germany, March 26-31, 2006, Proceedings, pp. 627-644, 2006, Springer, 3-540-32960-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Simon M. Lucas, T. Jeff Reynolds |
Learning Deterministic Finite Automata with a Smart State Labeling Evolutionary Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 27(7), pp. 1063-1074, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
8 | Javad Sadr, Roland P. Malhamé |
Unreliable Transfer Lines: Decomposition/Aggregation and Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 125(1-4), pp. 167-190, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002, Proceedings, pp. 37-48, 2002, Springer, 3-540-44239-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004, Proceedings, pp. 115-126, 2004, Springer, 3-540-23410-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 8th Pacific-Asia Conference, PAKDD 2004, Sydney, Australia, May 26-28, 2004, Proceedings, pp. 590-594, 2004, Springer, 3-540-22064-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
7 | Yaron Weinsberg, Israel Ben-Shaul |
A programming model and system for disconnected-aware applications on resource-constrained devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 24th International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA, pp. 374-384, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
7 | Martin H. C. Law, James T. Kwok |
Rival Penalized Competitive Learning for Model-Based Sequence Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 15th International Conference on Pattern Recognition, ICPR'00, Barcelona, Spain, September 3-8, 2000., pp. 2195-2198, 2000, IEEE Computer Society, 0-7695-0750-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML 2000, 11th European Conference on Machine Learning, Barcelona, Catalonia, Spain, May 31 - June 2, 2000, Proceedings, pp. 75-87, 2000, Springer, 3-540-67602-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
7 | Hugues Juillé, Jordan B. Pollack |
A Stochastic Search Approach to Grammar Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference, 4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998, Proceedings, pp. 126-137, 1998, Springer, 3-540-64776-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #62 of 62 (100 per page; Change: )
|
|