×

Found 78 Documents (Results 1–78)

Newest Citations Relevance
Macke, Jaroslav; Sedlar, Jiri; Olsak, Miroslav; Urban, Josef; Sivic, Josef

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
PDF BibTeX XML Cite
\textit{J. Macke} et al., Lect. Notes Comput. Sci. 12833, 167--184 (2021; Zbl 1485.68271)
Full Text: DOI arXiv
De Carufel, Jean-Lou; Dumitrescu, Adrian; Meulemans, Wouter; Ophelders, Tim; Pennarun, Claire; Tóth, Csaba D.; Verdonschot, Sander

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
PDF BibTeX XML Cite
\textit{J.-L. De Carufel} et al., LIPIcs -- Leibniz Int. Proc. Inform. 129, Article 22, 17 p. (2019; Zbl 07559222)
Full Text: DOI arXiv
Milenkovic, Victor; Sacks, Elisha; Butt, Nabeel

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
PDF BibTeX XML Cite
\textit{V. Milenkovic} et al., LIPIcs -- Leibniz Int. Proc. Inform. 99, Article 61, 14 p. (2018; Zbl 1489.68368)
Full Text: DOI arXiv
Bukh, Boris; Goaoc, Xavier; Hubard, Alfredo; Trager, Matthew

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).
MSC:  68U05 51A05 52C10 68T45
PDF BibTeX XML Cite
\textit{B. Bukh} et al., LIPIcs -- Leibniz Int. Proc. Inform. 99, Article 17, 14 p. (2018; Zbl 1489.68343)
Full Text: DOI arXiv
Har-Peled, Sariel; Raichel, Benjamin

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
PDF BibTeX XML Cite
\textit{S. Har-Peled} and \textit{B. Raichel}, in: 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). 232--241 (2014; Zbl 1401.68350)
Full Text: DOI arXiv
Shewchuk, Jonathan Richard; Brown, Brielin C.

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
PDF BibTeX XML Cite
\textit{J. R. Shewchuk} and \textit{B. C. Brown}, in: 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). 299--308 (2013; Zbl 1305.68276)
Full Text: DOI
Chalopin, Jérémie; Das, Shantanu; Disser, Yann; Mihalák, Matúš; Widmayer, Peter

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).
MSC:  68Q25 68R10 68U05 68T40
PDF BibTeX XML Cite
\textit{J. Chalopin} et al., LIPIcs -- Leibniz Int. Proc. Inform. 9, 153--164 (2011; Zbl 1230.68102)
Full Text: DOI Link
Rabani, Yuval; Shpilka, Amir

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
PDF BibTeX XML Cite
\textit{Y. Rabani} and \textit{A. Shpilka}, in: 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). 649--658 (2009; Zbl 1304.94136)
Full Text: DOI
Becker, Florent; Rémila, Éric; Schabanel, Nicolas

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
PDF BibTeX XML Cite
\textit{F. Becker} et al., Lect. Notes Comput. Sci. 5347, 144--155 (2009; Zbl 1258.68055)
Full Text: DOI
Bereg, Sergey

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).
MSC:  68U05 05C10 05C85 68R10
PDF BibTeX XML Cite
\textit{S. Bereg}, in: 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). 73--80 (2005; Zbl 1387.68238)
Full Text: DOI
Funke, Stefan; Klein, Christian; Mehlhorn, Kurt; Schmitt, Susanne

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
PDF BibTeX XML Cite
\textit{S. Funke} et al., in: 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. 1047--1056 (2005; Zbl 1297.68240)
Silva, Luciano; Bellon, Olga R. P.; Boyer, Kim L.

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).
Reviewer: Dana Petcu (Timişoara)
MSC:  68U10 68-01 68U05 68W05 68T05
PDF BibTeX XML Cite
\textit{L. Silva} et al., Robust range image registration using genetic algorithms and the surface interpenetration measure. Hackensack, NJ: World Scientific (2005; Zbl 1092.68111)
Full Text: DOI
Amenta, Nina; Choi, Sunghee; Rote, Günter

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
PDF BibTeX XML Cite
\textit{N. Amenta} et al., in: 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). 211--219 (2003; Zbl 1373.68423)
Full Text: DOI
Firley, Thomas; Goltz, Ursula

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
PDF BibTeX XML Cite
\textit{T. Firley} and \textit{U. Goltz}, Lect. Notes Comput. Sci. 2391, 511--530 (2002; Zbl 1064.68533)
Full Text: Link
Barkowsky, Thomas

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).
MSC:  68U99 68U05 68U35 91E10
PDF BibTeX XML Cite
\textit{T. Barkowsky}, Lect. Notes Comput. Sci. 2205, 371--386 (2001; Zbl 1042.68703)
Full Text: Link
Luengo, Isabel

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
PDF BibTeX XML Cite
\textit{I. Luengo}, in: 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). 363--371 (1996; Zbl 0861.03027)
Emiris, Ioannis Z.; Rege, Ashutosh

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).
MSC:  13P05 68W30 13P10 68U05 68Q25
PDF BibTeX XML Cite
\textit{I. Z. Emiris} and \textit{A. Rege}, in: 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; Zbl 0917.13008)
Grujić, Ljubomir T.

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
PDF BibTeX XML Cite
\textit{L. T. Grujić}, in: Computational and applied mathematics, II: Differential equations. Selected and revised papers from the IMACS 13th world congress, Dublin, Ireland, July 1991. Amsterdam: North-Holland. 39--47 (1992; Zbl 0782.34056)
Full Text: EuDML
Krivorukov, E. V.; Shapoval, I. N.

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).
Reviewer: J.Gilewicz (Marseille)
MSC:  65D20 65A05
PDF BibTeX XML Cite
\textit{E. V. Krivorukov} and \textit{I. N. Shapoval}, Program. Comput. Softw. 15, No. 3, 143--151 (1989; Zbl 0746.65017); translation from Programmirovanie 1989, No. 3, 78--87 (1989)

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software