×

Found 541 Documents (Results 1–100)

Differentially private range query on shortest paths. (English) Zbl 07789714

Morin, Pat (ed.) et al., Algorithms and data structures. 18th international symposium, WADS 2023, Montreal, QC, Canada, July 31 – August 2, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14079, 340-370 (2023).
MSC:  68P05 68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Jumping evaluation of nested regular path queries. (English) Zbl 1528.68100

Lierler, Yuliya (ed.) et al., Proceedings of the 38th international conference on logic programming, ICLP 2022, Haifa, Israel, July 31 – August 6, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 364, 79-92 (2022).
MSC:  68P15 68N17 68P05
PDFBibTeX XMLCite
Full Text: arXiv Link

Efficiency analysis of the forward error correction at the transport protocol level. (English. Russian original) Zbl 1496.93073

Autom. Remote Control 83, No. 7, 1059-1077 (2022); translation from Avtom. Telemekh. 2022, No. 7, 59-81 (2022).
MSC:  93C55 93E03
PDFBibTeX XMLCite
Full Text: DOI

Brief announcement: non-blocking dynamic unbounded graphs with worst-case amortized bounds. (English) Zbl 07774303

Gilbert, Seth (ed.), 35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 209, Article 52, 4 p. (2021).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI

Data structures for categorical path counting queries. (English) Zbl 07696001

Gawrychowski, Paweł (ed.) et al., 32nd annual symposium on combinatorial pattern matching, CPM 2021, Wrocław, Poland, July 5–7, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 191, Article 15, 17 p. (2021).
MSC:  68W32
PDFBibTeX XMLCite
Full Text: DOI

Split trees – a unifying model for many important random trees of logarithmic height: a brief survey. (English) Zbl 1484.68057

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, 20-57 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Shortest-path queries in geometric networks. (English) Zbl 07765410

Cao, Yixin (ed.) et al., 31st international symposium on algorithms and computation, ISAAC 2020, Hong Kong, China, virtual conference, December 14–18, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 181, Article 52, 15 p. (2020).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI

Almost linear time algorithms for minsum \(k\)-sink problems on dynamic flow path networks. (English) Zbl 07666350

Wu, Weili (ed.) et al., Combinatorial optimization and applications. 14th international conference, COCOA 2020, Dallas, TX, USA, December 11–13, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12577, 198-213 (2020).
MSC:  68T20 90C27
PDFBibTeX XMLCite
Full Text: DOI

UAV path planning in search and rescue operations. (English) Zbl 1451.93256

Tarasyev, Alexander (ed.) et al., Stability, control and differential games. Proceedings of the international conference on stability, control and differential games (SCDG2019), Yekaterinburg, Russia, September 16–20, 2019. Cham: Springer. Lect. Notes Control Inf. Sci. – Proc., 87-97 (2020).
MSC:  93C85 93E20
PDFBibTeX XMLCite
Full Text: DOI

Exact variations for stochastic heat equations with piecewise constant coefficients and application to parameter estimation. (English) Zbl 1454.60100

Theory Probab. Math. Stat. 100, 77-106 (2020) and Teor. Jmovirn. Mat. Stat. 100, 75-101 (2019).
PDFBibTeX XMLCite
Full Text: DOI

Learning with signatures. (English) Zbl 1444.62142

Aneiros, Germán (ed.) et al., Functional and high-dimensional statistics and related fields. Selected papers presented at the 5th international workshop on functional and operatorial statistics, IWFOS 2021, Brno, Czech Republic, June 23–25, 2021. Cham: Springer. Contrib. Stat., 19-26 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Path and ancestor queries over trees with multidimensional weight vectors. (English) Zbl 07650278

Lu, Pinyan (ed.) et al., 30th international symposium on algorithms and computation, ISAAC 2019, Shanghai University of Finance and Economics, Shanghai, China, December 8–11, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 149, Article 45, 17 p. (2019).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Proof pearl: Purely functional, simple and efficient priority search trees and applications to Prim and Dijkstra. (English) Zbl 07649972

Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 23, 18 p. (2019).
MSC:  68P05
PDFBibTeX XMLCite
Full Text: DOI

On counting oracles for path problems. (English) Zbl 1503.68206

Hsu, Wen-Lian (ed.) et al., 29th international symposium on algorithms and computation, ISAAC 2018, December 16–19, 2018, Jiaoxi, Yilan, Taiwan. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 123, Article 56, 12 p. (2018).
MSC:  68R10 05C38 68P05
PDFBibTeX XMLCite
Full Text: DOI

The time-out length influence on the available bandwidth of the selective failure mode of transport protocol in the load data transmission path. (English) Zbl 1476.68020

Vishnevskiy, Vladimir M. (ed.) et al., Distributed computer and communication networks. 21st international conference, DCCN 2018, Moscow, Russia, September 17–21, 2018. Proceedings. Cham: Springer. Commun. Comput. Inf. Sci. 919, 120-131 (2018).
MSC:  68M12 68M20
PDFBibTeX XMLCite
Full Text: DOI

On Romeo and Juliet problems: minimizing distance-to-sight. (English) Zbl 1468.68258

Eppstein, David (ed.), 16th Scandinavian symposium and workshops on algorithm theory. SWAT 2018, June 18–20, 2018, Malmö University, Malmö, Sweden. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 101, Article 6, 13 p. (2018).
MSC:  68U05 68P05 68W40
PDFBibTeX XMLCite
Full Text: DOI

Efficient oracles and routing schemes for replacement paths. (English) Zbl 1487.68051

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 13, 15 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Rectilinear shortest paths among transient obstacles. (English) Zbl 1521.68240

Kim, Donghyun (ed.) et al., Combinatorial optimization and applications. 12th international conference, COCOA 2018, Atlanta, GA, USA, December 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11346, 19-34 (2018).
MSC:  68U05 68P05 68Q25
PDFBibTeX XMLCite
Full Text: DOI arXiv

Efficient verification of imperative programs using auto2. (English) Zbl 1423.68295

Beyer, Dirk (ed.) et al., Tools and algorithms for the construction and analysis of systems. 24th international conference, TACAS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10805, 23-40 (2018).
MSC:  68Q60 68P05 68T15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Efficient type checking for path polymorphism. (English) Zbl 1433.68094

Uustalu, Tarmo (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 69, Article 6, 23 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Investigations on path indexing for graph databases. (English) Zbl 1483.68099

Desprez, Frédéric (ed.) et al., Euro-Par 2016: parallel processing workshops. Euro-Par 2016 international workshops, Grenoble, France, August 24–26, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10104, 532-544 (2017).
PDFBibTeX XMLCite
Full Text: DOI Link

Practical implementation of space-efficient dynamic keyword dictionaries. (English) Zbl 1454.68031

Fici, Gabriele (ed.) et al., String processing and information retrieval. 24th international symposium, SPIRE 2017, Palermo, Italy, September 26–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10508, 221-233 (2017).
MSC:  68P05 68P20 68W32
PDFBibTeX XMLCite
Full Text: DOI

Longest common factor after one edit operation. (English) Zbl 1454.68196

Fici, Gabriele (ed.) et al., String processing and information retrieval. 24th international symposium, SPIRE 2017, Palermo, Italy, September 26–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10508, 14-26 (2017).
MSC:  68W32 68P05
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