×

Found 501 Documents (Results 1–100)

Recognizing Rigid Patterns of Unlabeled Point Clouds by Complete and Continuous Isometry Invariants with no False Negatives and no False Positives. arXiv:2303.15385

Preprint, arXiv:2303.15385 [cs.CV] (2023).
BibTeX Cite
Full Text: arXiv

Rooted divergence-preserving branching bisimilarity is a congruence: a simpler proof. (English) Zbl 1524.68218

Jansen, Nils (ed.) et al., A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13560, 358-370 (2022).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

A weakened notion of congruence to reduce concept lattices. (English) Zbl 1509.68249

Cornejo, María Eugenia (ed.) et al., Computational intelligence and mathematics for tackling complex problems 2. Selected papers based on the presentations at the 11th European symposium on computational intelligence and mathematics, Toledo, Spain, October 2–5, 2019. Cham: Springer. Stud. Comput. Intell. 955, 139-145 (2022).
MSC:  68T30 06B10
PDFBibTeX XMLCite
Full Text: DOI

A modular associative commutative (AC) congruence closure algorithm. (English) Zbl 07700620

Kobayashi, Naoki (ed.), 6th international conference on formal structures for computation and deduction, FSCD 2021, Buenos Aires, Argentina, virtual conference, July 17–24, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 195, Article 15, 21 p. (2021).
MSC:  68-XX 03B70 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Impact of local congruences in attribute reduction. (English) Zbl 1512.68321

Lesot, Marie-Jeanne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020. Proceedings, Part III. Cham: Springer. Commun. Comput. Inf. Sci. 1239, 748-758 (2020).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: DOI

On the hierarchy of equivalence classes provided by local congruences. (English) Zbl 1509.68250

Bello, Rafael (ed.) et al., Rough sets. International joint conference, IJCRS 2020, Havana, Cuba, June 29 – July 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12179, 298-307 (2020).
MSC:  68T30 06B10
PDFBibTeX XMLCite
Full Text: DOI

Canonical solutions to recursive equations and completeness of equational axiomatisations. (English) Zbl 07559491

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 35, 17 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

A Timecop’s work is harder than you think. (English) Zbl 07559442

Esparza, Javier (ed.) et al., 45th international symposium on mathematical foundations of computer science, MFCS 2020, August 25–26, 2020, Prague, Czech Republic. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 170, Article 71, 14 p. (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

A cellular Howe theorem. (English) Zbl 07299475

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 273-286 (2020).
MSC:  68-XX
PDFBibTeX XMLCite
Full Text: DOI HAL

Proving soundness of extensional normal-form bisimilarities. (English) Zbl 1525.68023

Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 41-56 (2018).
MSC:  68N30 03B40 68N18
PDFBibTeX XMLCite
Full Text: DOI

Satisfiability in multi-valued circuits. (English) Zbl 1497.68358

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 550-558 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
PDFBibTeX XMLCite
Full Text: DOI arXiv

Precongruence formats with lookahead through modal decomposition. (English) Zbl 1440.68168

Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 25, 20 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI

Benchmarking over distributive lattices. (English) Zbl 1452.68201

Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part I. Cham: Springer. Commun. Comput. Inf. Sci. 610, 117-125 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Visualizing scissors congruence. (English) Zbl 1387.68253

Fekete, Sándor (ed.) et al., 32nd international symposium on computational geometry, SoCG’16, Boston, MA, USA, June 14–17, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-009-5). LIPIcs – Leibniz International Proceedings in Informatics 51, Article 66, 3 p. (2016).
MSC:  68U05 51-04
PDFBibTeX XMLCite
Full Text: DOI

Congruence testing of point sets in 4-space. (English) Zbl 1387.68264

Fekete, Sándor (ed.) et al., 32nd international symposium on computational geometry, SoCG’16, Boston, MA, USA, June 14–17, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-009-5). LIPIcs – Leibniz International Proceedings in Informatics 51, Article 48, 16 p. (2016).
MSC:  68U05 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Composition of stochastic transition systems based on spans and couplings. (English) Zbl 1388.68196

Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 102, 15 p. (2016).
MSC:  68Q85 68Q45 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Vertex normals and face curvatures of triangle meshes. (English) Zbl 1356.53015

Bobenko, Alexander I. (ed.), Advances in discrete differential geometry. Berlin: Springer (ISBN 978-3-662-50446-8/hbk; 978-3-662-50447-5/ebook). 267-286 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software