×

Found 209 Documents (Results 1–100)

Abstraction-based incremental inductive coverability for Petri nets. (English) Zbl 1489.68162

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 379-398 (2021).
MSC:  68Q85 68Q60 68W05
PDFBibTeX XMLCite
Full Text: DOI

Sea-rise flooding on massive dynamic terrains. (English) Zbl 07759274

Albers, Susanne (ed.), 17th Scandinavian symposium and workshops on algorithm theory, SWAT 2020, Tórshavn, Faroe Islands, June 22–24, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 162, Article 6, 19 p. (2020).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI

FPT-algorithms for computing Gromov-Hausdorff and interleaving distances between trees. (English) Zbl 1507.68322

Bender, Michael A. (ed.) et al., 27th annual European symposium on algorithms, ESA 2019, Munich/Garching, Germany, September 9–11, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 144, Article 83, 14 p. (2019).
MSC:  68U05 54E35 68W25
PDFBibTeX XMLCite
Full Text: DOI arXiv

Sequential and parallel algorithms and data structures. The basic toolbox. (English) Zbl 1445.68003

Cham: Springer (ISBN 978-3-030-25208-3/hbk; 978-3-030-25209-0/ebook). xv, 509 p. (2019).
PDFBibTeX XMLCite
Full Text: DOI

The \(\ell^\infty\)-cophenetic metric for phylogenetic trees as an interleaving distance. (English) Zbl 1422.92099

Gasparovic, Ellen (ed.) et al., Research in data science. Based on the first women in data science and mathematics (WiSDM) research collaboration workshop, Institute for Computational and Experimental Research in Mathematics (ICERM), Providence, RI, USA, July 17–21, 2017. Cham: Springer. Assoc. Women Math. Ser. 17, 109-127 (2019).
MSC:  92D15 55N35 18D99
PDFBibTeX XMLCite
Full Text: DOI arXiv

Generalized coloring of permutations. (English) Zbl 1524.68462

Azar, Yossi (ed.) et al., 26th annual European symposium on algorithms, ESA 2018, August 20–22, 2018, Helsinki, Finland. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 112, Article 50, 14 p. (2018).
MSC:  68W40 05A05
PDFBibTeX XMLCite
Full Text: DOI

On the worst-case complexity of TimSort. (English) Zbl 1522.68177

Azar, Yossi (ed.) et al., 26th annual European symposium on algorithms, ESA 2018, August 20–22, 2018, Helsinki, Finland. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 112, Article 4, 13 p. (2018).
MSC:  68P10 68W40
PDFBibTeX XMLCite
Full Text: DOI arXiv

Cost and effect of replication and quorum in desktop grid computing. (English) Zbl 1490.68067

Dudin, Alexander (ed.) et al., Information technologies and mathematical modelling. Queueing theory and applications. 17th international conference, ITMM 2018, named after A.F. Terpugov, and 12th workshop on retrial queues and related topics, WRQ 2018, Tomsk, Russia, September 10–15, 2018. Selected papers. Cham: Springer. Commun. Comput. Inf. Sci. 912, 143-156 (2018).
MSC:  68M20
PDFBibTeX XMLCite
Full Text: DOI

Merging nodes in search trees: an exact exponential algorithm for the single machine total tardiness scheduling problem. (English) Zbl 1443.68222

Lokshtanov, Daniel (ed.) et al., 12th international symposium on parameterized and exact computation, IPEC 2017, Vienna, Austria, September 6–8, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 89, Article 28, 12 p. (2018).
MSC:  68W40 68P05 90B35
PDFBibTeX XMLCite
Full Text: DOI

Research on arrival integration method for point merge system in tactical operation. (English) Zbl 1470.68225

Gao, Xiaofeng (ed.) et al., Combinatorial optimization and applications. 11th international conference, COCOA 2017, Shanghai, China, December 16–18, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10627, 417-425 (2017).
MSC:  68T42 90B20
PDFBibTeX XMLCite
Full Text: DOI

On the optimality of tape merge of two lists with similar size. (English) Zbl 1398.68117

Seok-Hee Hong (ed.), 27th international symposium on algorithms and computation, ISAAC 2016, Sydney, Australia, December 12–14, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-026-2). LIPIcs – Leibniz International Proceedings in Informatics 64, Article 51, 17 p. (2016).
MSC:  68P10 68Q17
PDFBibTeX XMLCite
Full Text: DOI arXiv

A simple mergeable dictionary. (English) Zbl 1378.68033

Pagh, Rasmus (ed.), 15th Scandinavian symposium and workshops on algorithm theory, SWAT 2016, Reykjavik, Iceland, June 22–24, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-011-8). LIPIcs – Leibniz International Proceedings in Informatics 53, Article 7, 13 p. (2016).
MSC:  68P05
PDFBibTeX XMLCite
Full Text: DOI

Late merge as lowering movement in minimalist grammars. (English) Zbl 1291.03051

Asher, Nicholas (ed.) et al., Logical aspects of computational linguistics. 8th international conference, LACL 2014, Toulouse, France, June 18–20, 2014. Proceedings. Berlin: Springer (ISBN 978-3-662-43741-4/pbk). Lecture Notes in Computer Science 8535, 107-121 (2014).
MSC:  03B65 68Q42 68T50
PDFBibTeX XMLCite
Full Text: DOI

Trading off subtask dispersion and response time in split-merge systems. (English) Zbl 1390.68156

Dudin, Alexander (ed.) et al., Analytical and stochastic modeling techniques and applications. 20th international conference, ASMTA 2013, Ghent, Belgium, July 8–10, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39407-2/pbk). Lecture Notes in Computer Science 7984, 431-442 (2013).
MSC:  68M20
PDFBibTeX XMLCite
Full Text: DOI

3D topological map extraction from oriented boundary graph. (English) Zbl 1248.68532

Torsello, Andrea (ed.) et al., Graph-based representations in pattern recognition. 7th IAPR-TC-15 international workshop, GbRPR 2009, Venice, Italy, May 26–28, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02123-7/pbk). Lecture Notes in Computer Science 5534, 283-292 (2009).
MSC:  68U10 05C10
PDFBibTeX XMLCite
Full Text: DOI HAL

An immersive topology environment for meshing. (English) Zbl 1134.65323

Brewer, Michael L. (ed.) et al., Proceedings of the 16th international meshing roundtable, Seattle, WA, USA, October 14–17, 2007. Berlin: Springer (ISBN 978-3-540-75102-1/hbk). 553-577 (2008).
MSC:  65D18 68U05
PDFBibTeX XMLCite

Improving graph colouring algorithms and heuristics using a novel representation. (English) Zbl 1401.68290

Gottlieb, Jens (ed.) et al., Evolutionary computation in combinatorial optimization. 6th European conference, EvoCOP 2006, Budapest, Hungary, April 10–12, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-33178-0/pbk; 978-3-540-33179-7/ebook). Lecture Notes in Computer Science 3906, 123-134 (2006).
MSC:  68T20 05C15 05C85
PDFBibTeX XMLCite
Full Text: DOI

The quest for equational axiomatizations of parallel composition: status and open problems. (English) Zbl 1316.68082

Aceto, Luca (ed.) et al., Proceedings of the workshop “Essays on algebraic process calculi” (APC 25), Bertinoro, Italy, August 1–5, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 162, 43-48 (2006).
MSC:  68Q85 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software