×

Found 175 Documents (Results 1–100)

Phase semantics for linear logic with least and greatest fixed points. (English) Zbl 07912942

Dawar, Anuj (ed.) et al., 42nd IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2022), IIT Madras, Chennai, India, December 18–20, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 250, Article 35, 23 p. (2022).
MSC:  68N30 68Qxx
Full Text: DOI

Image segmentation by relaxed deep extreme cut with connected extreme points. (English) Zbl 1484.68301

Lindblad, Joakim (ed.) et al., Discrete geometry and mathematical morphology. First international joint conference, DGMM 2021, Uppsala, Sweden, May 24–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12708, 441-453 (2021).
MSC:  68U10 68R10
Full Text: DOI

On counting lattice points and Chvátal-Gomory cutting planes. (English) Zbl 1302.90257

Achterberg, Tobias (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. 8th international conference, CPAIOR 2011, Berlin, Germany, May 23–27, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21310-6/pbk). Lecture Notes in Computer Science 6697, 131-136 (2011).
MSC:  90C57 90C10 90C09
Full Text: DOI

\((s,t]\)-intuitionistic convex fuzzy sets. (English) Zbl 1195.03052

Cao, Bing-yuan (ed.) et al., Fuzzy Information and Engineering 2010 (ACFIE 2010). Proceedings of the 5th annual conference, Huludao, China, September 23–27, 2010. Berlin: Springer (ISBN 978-3-642-14879-8/pbk; 978-3-642-14880-4/ebook). Advances in Intelligent and Soft Computing 78, 75-84 (2010).
MSC:  03E72
Full Text: DOI

Diameter and curvature: intriguing analogies. (English) Zbl 1267.52021

Ossona de Mendez, Patrice (ed.) et al., The international conference on topological and geometric graph theory. Papers from the conference (TGGT 2008) held at the École Normale Supérieure, Paris, France, May 19–23, 2008. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 31, 221-225 (2008).
MSC:  52C35 90C57
Full Text: DOI

Filter Results by …

Access

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