×

Found 10,835 Documents (Results 1–100)

Approximate model counting, sparse XOR constraints and minimum distance. (English) Zbl 1535.68181

Alvim, Mário S. (ed.) et al., The art of modelling computational systems: a journey from logic and concurrency to security and privacy. Essays dedicated to Catuscia Palamidessi on the occasion of her 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11760, 363-378 (2019).
MSC:  68R07 68T20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Provably correct floating-point implementation of a point-in-polygon algorithm. (English) Zbl 07817361

ter Beek, Maurice H. (ed.) et al., Formal methods – the next 30 years. Third world congress/23rd symposium, FM 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11800, 21-37 (2019).
MSC:  68Q60 65D18 68V15
PDFBibTeX XMLCite
Full Text: DOI Link

Locality sensitive algotrithms for data mule routing problem. (English) Zbl 1534.68034

Du, Ding-Zhu (ed.) et al., Algorithmic aspects in information and management. 13th international conference, AAIM 2019, Beijing, China, August 6–8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11640, 236-248 (2019).
PDFBibTeX XMLCite
Full Text: DOI

On the structure of discrete metric spaces isometric to circles. (English) Zbl 1534.68243

Du, Ding-Zhu (ed.) et al., Algorithmic aspects in information and management. 13th international conference, AAIM 2019, Beijing, China, August 6–8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11640, 83-94 (2019).
MSC:  68U05 54E35
PDFBibTeX XMLCite
Full Text: DOI

A probabilistic algorithm for verification of geometric theorems. (English) Zbl 1534.68252

Du, Ding-Zhu (ed.) et al., Algorithmic aspects in information and management. 13th international conference, AAIM 2019, Beijing, China, August 6–8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11640, 29-41 (2019).
MSC:  68V15 51M04
PDFBibTeX XMLCite
Full Text: DOI

A variational perspective on the assignment flow. (English) Zbl 07808259

Lellmann, Jan (ed.) et al., Scale space and variational methods in computer vision. 7th international conference, SSVM 2019, Hofgeismar, Germany, June 30 – July 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11603, 547-558 (2019).
PDFBibTeX XMLCite
Full Text: DOI

A connection between image processing and artificial neural networks layers through a geometric model of visual perception. (English) Zbl 07808252

Lellmann, Jan (ed.) et al., Scale space and variational methods in computer vision. 7th international conference, SSVM 2019, Hofgeismar, Germany, June 30 – July 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11603, 459-471 (2019).
PDFBibTeX XMLCite
Full Text: DOI Link

A balanced phase field model for active contours. (English) Zbl 07808249

Lellmann, Jan (ed.) et al., Scale space and variational methods in computer vision. 7th international conference, SSVM 2019, Hofgeismar, Germany, June 30 – July 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11603, 419-431 (2019).
MSC:  65Dxx
PDFBibTeX XMLCite
Full Text: DOI

Learning adaptive regularization for image labeling using geometric assignment. (English) Zbl 07808247

Lellmann, Jan (ed.) et al., Scale space and variational methods in computer vision. 7th international conference, SSVM 2019, Hofgeismar, Germany, June 30 – July 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11603, 393-405 (2019).
MSC:  68U10 68U05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Variational image registration for inhomogeneous-resolution pairs. (English) Zbl 07808238

Lellmann, Jan (ed.) et al., Scale space and variational methods in computer vision. 7th international conference, SSVM 2019, Hofgeismar, Germany, June 30 – July 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11603, 275-287 (2019).
MSC:  65Dxx
PDFBibTeX XMLCite
Full Text: DOI

PDE evolutions for M-smoothers: from common myths to robust numerics. (English) Zbl 07808235

Lellmann, Jan (ed.) et al., Scale space and variational methods in computer vision. 7th international conference, SSVM 2019, Hofgeismar, Germany, June 30 – July 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11603, 236-248 (2019).
MSC:  65Dxx
PDFBibTeX XMLCite
Full Text: DOI

A variational convex hull algorithm. (English) Zbl 07808234

Lellmann, Jan (ed.) et al., Scale space and variational methods in computer vision. 7th international conference, SSVM 2019, Hofgeismar, Germany, June 30 – July 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11603, 224-235 (2019).
MSC:  68U10 68U05
PDFBibTeX XMLCite
Full Text: DOI

Total variation and mean curvature PDEs on the space of positions and orientations. (English) Zbl 07808233

Lellmann, Jan (ed.) et al., Scale space and variational methods in computer vision. 7th international conference, SSVM 2019, Hofgeismar, Germany, June 30 – July 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11603, 211-223 (2019).
MSC:  68U10 94A08
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 3

Main Field

all top 3

Biographic Reference

all top 3

Software