×

Found 84 Documents (Results 1–84)

Location-domination type problems under the Mycielski construction. (English) Zbl 07857801

Kalyanasundaram, Subrahmanyam (ed.) et al., Algorithms and discrete applied mathematics. 10th international conference, CALDAM 2024, Bhilai, India, February 15–17, 2024. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14508, 255-269 (2024).
MSC:  68R10 68U05 68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Learning to solve geometric construction problems from images. (English) Zbl 1485.68271

Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 167-184 (2021).
MSC:  68U05 68T05 68T45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Further results on colored range searching. (English) Zbl 07760157

Cabello, Sergio (ed.) et al., 36th international symposium on computational geometry, SoCG 2020, Zürich, Switzerland (virtual conference), June 23–26, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 164, Article 28, 15 p. (2020).
MSC:  68Q87 68U05
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the stretch factor of polygonal chains. (English) Zbl 07561700

Rossmanith, Peter (ed.) et al., 44th international symposium on mathematical foundations of computer science, MFCS 2019, Aachen, Germany, August 26–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 138, Article 56, 14 p. (2019).
PDFBibTeX XMLCite
Full Text: DOI

Convex polygons in Cartesian products. (English) Zbl 07559222

Barequet, Gill (ed.) et al., 35th international symposium on computational geometry, SoCG 2019, Portland, Oregon, USA, June 18–21, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 129, Article 22, 17 p. (2019).
MSC:  68U05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Positional encoding by robots with non-rigid movements. (English) Zbl 1534.68021

Censor-Hillel, Keren (ed.) et al., Structural information and communication complexity. 26th international colloquium, SIROCCO 2019, L’Aquila, Italy, July 1–4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11639, 94-108 (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Table based detection of degenerate predicates in free space construction. (English) Zbl 1489.68368

Speckmann, Bettina (ed.) et al., 34th international symposium on computational geometry, SoCG 2018, June 11–14, 2018, Budapest, Hungary. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 99, Article 61, 14 p. (2018).
MSC:  68U05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Consistent sets of lines with no colorful incidence. (English) Zbl 1489.68343

Speckmann, Bettina (ed.) et al., 34th international symposium on computational geometry, SoCG 2018, June 11–14, 2018, Budapest, Hungary. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 99, Article 17, 14 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the complexity of randomly weighted Voronoi diagrams. (English) Zbl 1401.68350

Proceedings of the 30th annual symposium on computational geometry, SoCG ’14, Kyoto, Japan, June 8–11, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2594-3). 232-241 (2014).
MSC:  68U05 52C45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Fast segment insertion and incremental construction of constrained Delaunay triangulations. (English) Zbl 1305.68276

Proceedings of the 29th annual symposium on computational geometry, SoCG 2013, Rio de Janeiro, Brazil, June 17–20, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2031-3). 299-308 (2013).
MSC:  68U05 68Q17 68W20
PDFBibTeX XMLCite
Full Text: DOI

Telling convex from reflex allows to map a polygon. (English) Zbl 1230.68102

Schwentick, Thomas (ed.) et al., STACS 2011. 28th international symposium on theoretical aspects of computer science, Dortmund, Germany, March 10–12, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-25-5). LIPIcs – Leibniz International Proceedings in Informatics 9, 153-164, electronic only (2011).
PDFBibTeX XMLCite
Full Text: DOI Link

Explicit construction of a small epsilon-net for linear threshold functions. (English) Zbl 1304.94136

Proceedings of the 41st annual ACM symposium on theory of computing, STOC ’09. Bethesda, MD, USA, May 31 – June 2, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-613-7). 649-658 (2009).
MSC:  94C10 68U05 94B15
PDFBibTeX XMLCite
Full Text: DOI

Time optimal self-assembly for 2D and 3D shapes: the case of squares and cubes. (English) Zbl 1258.68055

Goel, Ashish (ed.) et al., DNA computing. 14th international meeting on DNA computing, DNA 14, Prague, Czech Republic, June 2–9, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03075-8/pbk). Lecture Notes in Computer Science 5347, 144-155 (2009).
MSC:  68Q05 05B45 68U05
PDFBibTeX XMLCite
Full Text: DOI

Certifying and constructing minimally rigid graphs in the plane. (English) Zbl 1387.68238

Proceedings of the 21st annual symposium on computational geometry, SCG 2005, Pisa, Italy, June 6–8, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-991-8). 73-80 (2005).
PDFBibTeX XMLCite
Full Text: DOI

Controlled perturbation for Delaunay triangulations. (English) Zbl 1297.68240

Proceedings of the sixteenth annual ACM-SIAM symposium on discrete algorithms, SODA 2005, Vancouver, BC, Canada, January 23–25, 2005. New York, NY: ACM Press (ISBN 0-89871-585-7). 1047-1056 (2005).
MSC:  68U05 68W20
PDFBibTeX XMLCite

Robust range image registration using genetic algorithms and the surface interpenetration measure. (English) Zbl 1092.68111

Series in Machine Perception and Artificial Intelligence 60. Hackensack, NJ: World Scientific (ISBN 981-256-108-0/hbk; 978-981-256-312-5/ebook). x, 164 p. (2005).
PDFBibTeX XMLCite
Full Text: DOI

Incremental constructions con BRIO. (English) Zbl 1373.68423

Proceedings of the 19th annual symposium on computational geometry, SCG/SoCG 2003, San Diego, CA, USA, June 8–10, 2003. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-663-3). 211-219 (2003).
MSC:  68U05 68W20
PDFBibTeX XMLCite
Full Text: DOI

Property dependent abstraction of control structure for software verification. (English) Zbl 1064.68533

Eriksson, Lars-Henrik (ed.) et al., FME 2002: Formal methods - getting IT right. International symposium of formal methods Europe, Copenhagen, Denmark, July 22–24, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43928-5). Lect. Notes Comput. Sci. 2391, 511-530 (2002).
MSC:  68N30 68Q55 68Q60
PDFBibTeX XMLCite
Full Text: Link

Mental processing of geographic knowledge. (English) Zbl 1042.68703

Montello, Daniel R. (ed.), Spatial information theory. Foundations of geographic information science. 5th international conference, COSIT 2001, Morro Bay, CA, USA, September 19–23, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42613-2). Lect. Notes Comput. Sci. 2205, 371-386 (2001).
PDFBibTeX XMLCite
Full Text: Link

A diagrammatic inference system for geometry. (English) Zbl 0861.03027

Seligman, Jerry (ed.) et al., Logic, language and computation. Vol. 1. Proceedings of the conference on information-oriented approaches to logic, language and computation, Moraga, CA, USA, June 12–15, 1994. Stanford, CA: Center for the Study of Language and Information (CSLI). CSLI Lect. Notes. 58, 363-371 (1996).
MSC:  03B80 68U05 03B30
PDFBibTeX XMLCite

Monomial bases and polynomial system solving. (English) Zbl 0917.13008

Von zur Gathen, Joachim (ed.) et al., ISSAC ’94. Proceedings of the international symposium on Symbolic and algebraic computation, Oxford, GB, July 20-22, 1994. Baltimore, MD: ACM Press. 114-122 (1994).
PDFBibTeX XMLCite

Solutions to Lyapunov stability problems: Nonlinear systems with differentiable motions. (English) Zbl 0782.34056

Computational and applied mathematics, II: Differential equations, Sel. Rev. Pap. IMACS 13th World Congr., Dublin/Irel. 1991, 39-47 (1992).
MSC:  34D20 93D05
PDFBibTeX XMLCite
Full Text: EuDML

Software for the tabular-algorithmic acceleration of calculations of functions. (English. Russian original) Zbl 0746.65017

Program. Comput. Softw. 15, No. 3, 143-151 (1989); translation from Programmirovanie 1989, No. 3, 78-87 (1989).
MSC:  65D20 65A05
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software