×

Found 224 Documents (Results 1–100)

Incremental algorithms to update visibility polygons. (English) Zbl 1485.68269

Gaur, Daya (ed.) et al., Algorithms and discrete applied mathematics. Third international conference, CALDAM 2017, Sancoale, Goa, India, February 16–18, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10156, 205-218 (2017).
MSC:  68U05 68W05 68W40
PDFBibTeX XMLCite
Full Text: DOI

Combined exponential type estimators of population mean in stratified random sampling. (English) Zbl 1345.62031

Kumar Sinha, Arun (ed.) et al., Recent advances in mathematics, statistics and computer science. Proceedings of the international conference, ICRAMSCS, Bihar, India, May 29–31, 2015. Hackensack, NJ: World Scientific (ISBN 978-981-4696-16-6/hbk; 978-981-4704-84-7/ebook). 303-312 (2016).
MSC:  62D05
PDFBibTeX XMLCite
Full Text: DOI

Automating abstract interpretation. (English) Zbl 1475.68097

Jobstmann, Barbara (ed.) et al., Verification, model checking, and abstract interpretation. 17th international conference, VMCAI 2016, St. Petersburg, FL, USA, January 17–19, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9583, 3-40 (2016).
MSC:  68N30 03B70
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software