×

Found 135 Documents (Results 1–100)

Mediator synthesis in a component algebra with data. (English) Zbl 1444.68103

Meyer, Roland (ed.) et al., Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9360, 238-259 (2015).
MSC:  68Q60 68Q45 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Relating the time complexity of optimization problems in light of the exponential-time hypothesis. (English) Zbl 1426.68101

Csuhaj-Varjú, Erzsébet (ed.) et al., Mathematical foundations of computer science 2014. 39th international symposium, MFCS 2014, Budapest, Hungary, August 25–29, 2014. Proceedings, Part II. Berlin: Springer. Lect. Notes Comput. Sci. 8635, 408-419 (2014).
MSC:  68Q17 68Q25 90C27
PDFBibTeX XMLCite
Full Text: DOI arXiv

Verification of heap manipulating programs with ordered data by extended forest automata. (English) Zbl 1344.68135

Hung, Dang Van (ed.) et al., Automated technology for verification and analysis. 11th international symposium, ATVA 2013, Hanoi, Vietnam, October 15–18, 2013. Proceedings. Berlin: Springer (ISBN 978-3-319-02443-1/pbk). Lecture Notes in Computer Science 8172, 224-239 (2013).
MSC:  68Q60 68P05 68Q45
PDFBibTeX XMLCite
Full Text: DOI Link

An integrated specification and verification technique for highly concurrent data structures. (English) Zbl 1381.68141

Piterman, Nir (ed.) et al., Tools and algorithms for the construction and analysis of systems. 19th international conference, TACAS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-36741-0/pbk). Lecture Notes in Computer Science 7795, 324-338 (2013).
PDFBibTeX XMLCite
Full Text: DOI Link

Quantitative assessment of securitisation deals. Foreword by Anneli Peshkoff and Guido Bichisao. (English) Zbl 1262.91003

SpringerBriefs in Finance. Berlin: Springer (ISBN 978-3-642-29720-5/pbk; 978-3-642-29721-2/ebook). xxi, 112 p. (2013).
MSC:  91-02
PDFBibTeX XMLCite
Full Text: DOI

A succinct canonical register automaton model for data domains with binary relations. (English) Zbl 1374.68256

Chakraborty, Supratik (ed.) et al., Automated technology for verification and analysis. 10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3–6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33385-9/pbk). Lecture Notes in Computer Science 7561, 57-71 (2012).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Demonstrating learning of register automata. (English) Zbl 1352.68137

Flanagan, Cormac (ed.) et al., Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28755-8/pbk). Lecture Notes in Computer Science 7214, 466-471 (2012).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Inferring canonical register automata. (English) Zbl 1326.68168

Kuncak, Viktor (ed.) et al., Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22–24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27939-3/pbk). Lecture Notes in Computer Science 7148, 251-266 (2012).
MSC:  68Q32 68Q45
PDFBibTeX XMLCite
Full Text: DOI

A succinct canonical register automaton model. (English) Zbl 1348.68095

Bultan, Tevfik (ed.) et al., Automated technology for verification and analysis. 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11–14, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24371-4/pbk). Lecture Notes in Computer Science 6996, 366-380 (2011).
MSC:  68Q45 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Three decades of progress in control sciences. Dedicated to Chris Byrnes and Anders Lindquist. (English) Zbl 1201.00014

Berlin: Springer (ISBN 978-3-642-11277-5/hbk; 978-3-642-11278-2/ebook). xx, 374 p. (2010).
MSC:  00B10 00B30 93-06
PDFBibTeX XMLCite
Full Text: DOI

Convergence of option rewards for Markov type price processes modulated by stochastic indices. II. (Ukrainian, English) Zbl 1224.91200

Teor. Jmovirn. Mat. Stat. 80, 138-155 (2009); translation in Theory Probab. Math. Stat. 80, 153-172 (2010).
PDFBibTeX XMLCite
Full Text: DOI

Modelling default and prepayment using Lévy processes: an application to asset backed securities. (English) Zbl 1192.91093

Albrecher, Hansjörg (ed.) et al., Advanced financial modelling. Berlin: Walter de Gruyter (ISBN 978-3-11-021313-3/hbk; 978-3-11-021314-0/ebook). Radon Series on Computational and Applied Mathematics 8, 183-203 (2009).
MSC:  91B25 91G20
PDFBibTeX XMLCite

Convergence of option rewards for Markov type price processes modulated by stochastic indices. I. (Ukrainian, English) Zbl 1224.91199

Teor. Jmovirn. Mat. Stat. 79, 138-154 (2008); translation in Theory Probab. Math. Stat. 79, 153-170 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Specifying and generating test cases using observer automata. (English) Zbl 1081.68566

Grabowski, Jens (ed.) et al., Formal approaches to software testing. 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-25109-X/pbk). Lecture Notes in Computer Science 3395, 125-139 (2005).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

On the correspondence between conformance testing and regular inference. (English) Zbl 1119.68366

Cerioli, Maura (ed.), Fundamental approaches to software engineering. 8th international conference, FASE 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25420-X/pbk). Lecture Notes in Computer Science 3442, 175-189 (2005).
MSC:  68Q45 68T05
PDFBibTeX XMLCite
Full Text: DOI

A robust and fast algorithm for computing exact and approximate shortest visiting routes. (English) Zbl 1116.68631

Laganà, Antonio (ed.) et al., Computational science and its applications — ICCSA 2004. International conference, Assisi, Italy, May 14–17, 2004. Proceedings, Part III. Berlin: Springer (ISBN 3-540-22057-7/pbk). Lecture Notes in Computer Science 3045, 168-177 (2004).
MSC:  68U05
PDFBibTeX XMLCite
Full Text: DOI

A content-independent scalable encryption model. (English) Zbl 1108.68463

Laganà, Antonio (ed.) et al., Computational science and its applications — ICCSA 2004. International conference, Assisi, Italy, May 14–17, 2004. Proceedings, Part I. Berlin: Springer (ISBN 3-540-22054-2/pbk). Lecture Notes in Computer Science 3043, 821-830 (2004).
MSC:  68P25
PDFBibTeX XMLCite
Full Text: DOI

Data mining in schizophrenia research – preliminary analysis. (English) Zbl 1020.68532

Elomaa, Tapio (ed.) et al., Principles of data mining and knowledge discovery. 6th European conference, PKDD 2002, Helsinki, Finland, August 19-23, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2431, 27-38 (2002).
PDFBibTeX XMLCite
Full Text: Link

Learning computational methods for partial differential equations from the web. (English) Zbl 0982.68681

Alexandrov, Vassil N. (ed.) et al., Computational Science - ICCS 2001. International conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings. Part 1. Berlin: Springer. Lect. Notes Comput. Sci. 2073, 1170-1175 (2001).
MSC:  68U99 68M10
PDFBibTeX XMLCite
Full Text: Link

Automatic keyword extraction using domain knowledge. (English) Zbl 0977.68619

Gelbukh, Alexander (ed.), Computational linguistics and intelligent text processing. 2nd international conference, CICLing 2001, Mexico City, Mexico, February 18-24, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2004, 472-482 (2001).
MSC:  68U99 68T50
PDFBibTeX XMLCite
Full Text: Link

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