×

Found 324 Documents (Results 1–100)

100
MathJax

Compositions of constant weighted extended tree transducers. (English) Zbl 07498716

Moreira, Nelma (ed.) et al., Developments in language theory. 25th international conference, DLT 2021, Porto, Portugal, August 16–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12811, 66-77 (2021).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Algorithms for probabilistic and stochastic subsequential failure transducers. (English) Zbl 07495110

Maneth, Sebastian (ed.), Implementation and application of automata. 25th international conference, CIAA 2021, virtual event, July 19–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12803, 127-139 (2021).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

An algorithm for single-source shortest paths enumeration in parameterized weighted graphs. (English) Zbl 07405994

Leporati, Alberto (ed.) et al., Language and automata theory and applications. 15th international conference, LATA 2021, Milan, Italy, March 1–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12638, 279-290 (2021).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Approximated determinisation of weighted tree automata. (English) Zbl 07405992

Leporati, Alberto (ed.) et al., Language and automata theory and applications. 15th international conference, LATA 2021, Milan, Italy, March 1–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12638, 255-266 (2021).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Learning weighted automata over principal ideal domains. (English) Zbl 1461.68093

Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 602-621 (2020).
MSC:  68Q32 68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv

Online quantitative timed pattern matching with semiring-valued weighted automata. (English) Zbl 1434.68695

André, Étienne (ed.) et al., Formal modeling and analysis of timed systems. 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27–29, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11750, 3-22 (2019).
MSC:  68W27 68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI arXiv

Non-deterministic weighted automata on random words. (English) Zbl 07378554

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 10, 16 p. (2018).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

Average stack cost of Büchi pushdown automata. (English) Zbl 07278114

Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 42, 13 p. (2018).
MSC:  68N30 68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Pumping lemmas for weighted automata. (English) Zbl 07228441

Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 50, 14 p. (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Algorithms and training for weighted multiset automata and regular expressions. (English) Zbl 06974630

Câmpeanu, Cezar (ed.), Implementation and application of automata. 23rd international conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10977, 146-158 (2018).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv

Proper semirings and proper convex functors. (English) Zbl 06904544

Baier, Christel (ed.) et al., Foundations of software science and computation structures. 21st international conference, FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10803, 331-347 (2018).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

On delay and regret determinization of max-plus automata. (English) Zbl 1457.68142

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 36, 12 p. (2017).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: arXiv Link

Up-to techniques for weighted systems. (English) Zbl 1452.68100

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 535-552 (2017).
MSC:  68Q45 68Q42 68Q70
PDF BibTeX XML Cite
Full Text: DOI arXiv

Bidirectional nested weighted automata. (English) Zbl 1442.68087

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 5, 16 p. (2017).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv

Automata-based stream processing. (English) Zbl 1442.68077

Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 112, 15 p. (2017).
MSC:  68Q45 68Q10
PDF BibTeX XML Cite
Full Text: DOI

Bisimulation metrics for weighted automata. (English) Zbl 1442.68080

Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 103, 14 p. (2017).
MSC:  68Q45 68Q32
PDF BibTeX XML Cite
Full Text: DOI

The shortest identities for max-plus automata with two states. (English) Zbl 1441.68120

Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 48, 13 p. (2017).
MSC:  68Q45 15A30 15A80
PDF BibTeX XML Cite
Full Text: DOI

Comparison of max-plus automata and joint spectral radius of tropical matrices. (English) Zbl 1441.68119

Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 19, 14 p. (2017).
MSC:  68Q45 15A80
PDF BibTeX XML Cite
Full Text: DOI arXiv

Monitor logics for quantitative monitor automata. (English) Zbl 1441.68127

Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 14, 13 p. (2017).
MSC:  68Q45 03B70 03D05
PDF BibTeX XML Cite
Full Text: DOI

WNetKAT: a weighted SDN programming and verification language. (English) Zbl 1432.68052

Fatourou, Panagiota (ed.) et al., 20th international conference on principles of distributed systems (OPODIS 2016), Madrid, Spain, December 13–16, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 70, Article 18, 18 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Faster packed homomorphic operations and efficient circuit bootstrapping for TFHE. (English) Zbl 1420.94052

Takagi, Tsuyoshi (ed.) et al., Advances in cryptology – ASIACRYPT 2017. 23rd international conference on the theory and applications of cryptology and information security, Hong Kong, China, December 3–7, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10624, 377-408 (2017).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

Realizability in cyclic proof: extracting ordering information for infinite descent. (English) Zbl 06833563

Schmidt, Renate A. (ed.) et al., Automated reasoning with analytic tableaux and related methods. 26th international conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10501, 295-310 (2017).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI Link

A derivational model of discontinuous parsing. (English) Zbl 06725145

Drewes, Frank (ed.) et al., Language and automata theory and applications. 11th international conference, LATA 2017, Umeå, Sweden, March 6–9, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10168, 299-310 (2017).
MSC:  68Q42 68Q45
PDF BibTeX XML Cite
Full Text: DOI Link

Incompleteness theorems, large cardinals, and automata over finite words. (English) Zbl 1459.03055

Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 14th annual conference, TAMC 2017, Bern, Switzerland, April 20–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10185, 231-246 (2017).
MSC:  03D05 03E55 03F40
PDF BibTeX XML Cite
Full Text: DOI HAL

Degree of sequentiality of weighted automata. (English) Zbl 1396.68075

Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-54457-0/pbk; 978-3-662-54458-7/ebook). Lecture Notes in Computer Science 10203, 215-230 (2017).
MSC:  68Q70 68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Efficient completion of weighted automata. (English) Zbl 1483.68152

Corradini, Andrea (ed.) et al., Proceedings of the 9th international workshop on computing with terms and graphs, TERMGRAPH 2016, Eindhoven, The Netherlands, April 8, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 225, 55-62 (2016).
PDF BibTeX XML Cite
Full Text: arXiv Link

A generalised twinning property for minimisation of cost register automata. (English) Zbl 1401.68160

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 857-866 (2016).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI Link

Quantitative automata under probabilistic semantics. (English) Zbl 1401.68155

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 76-85 (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Nested weighted limit-average automata of bounded width. (English) Zbl 1398.68305

Faliszewski, Piotr (ed.) et al., 41st international symposium on mathematical foundations of computer science, MFCS 2016, Kraków, Poland, August 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-016-3). LIPIcs – Leibniz International Proceedings in Informatics 58, Article 24, 14 p. (2016).
MSC:  68Q45 68Q17 68Q25
PDF BibTeX XML Cite
Full Text: DOI arXiv

Copyless cost-register automata: structure, expressiveness, and closure properties. (English) Zbl 1388.68175

Ollinger, Nicolas (ed.) et al., 33rd symposium on theoretical aspects of computer science, STACS 2016, Orléans, France, February 17–20, 2016. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-001-9). LIPIcs – Leibniz International Proceedings in Informatics 47, Article 53, 13 p. (2016).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software