×

Found 11 Documents (Results 1–11)

100
MathJax

Data analysis, machine learning and knowledge discovery. Revised versions of selected papers presented at the 36th annual conference of the German Classification Society, Gesellschaft für Klassifikation, GfKl 2012, Hildesheim, Germany, August 1–3, 2012. (English) Zbl 1301.68022

Studies in Classification, Data Analysis, and Knowledge Organization. Cham: Springer (ISBN 978-3-319-01594-1/pbk; 978-3-319-01595-8/ebook). xxi, 470 p. (2014).
MSC:  68-06 68P01 68T05 68T30 62-07 62P99
PDF BibTeX XML Cite
Full Text: DOI

Verification of component-based system using model checking. (English) Zbl 1234.68251

Pop, Horia F. (ed.) et al., 8th joint conference on mathematics and computer science, MaCS 2010, Komárno, Slovakia, July 14–17, 2010. Selected papers. Győr: NOVADAT (ISBN 978-963-9056-38-1/pbk). 175-184 (2011).
MSC:  68Q60 68N30
PDF BibTeX XML Cite

Testing of abstract components. (English) Zbl 1286.68082

Cavalcanti, Ana (ed.) et al., Theoretical aspects of computing – ICTAC 2010. 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1–3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14807-1/pbk). Lecture Notes in Computer Science 6255, 184-198 (2010).
MSC:  68N30 18C20
PDF BibTeX XML Cite
Full Text: DOI Link

Extending the service domain of an interactive bounded queue. (English) Zbl 1181.68069

Castillo, Oscar (ed.) et al., Trends in intelligent systems and computer engineering (IMECS 2007). Selected papers based on the presentations at the international conference, Hong Kong, China, March 21–23, 2007. New York, NY: Springer (ISBN 978-0-387-74934-1/hbk). Lecture Notes in Electrical Engineering 6, 599-618 (2008).
MSC:  68M20
PDF BibTeX XML Cite
Full Text: DOI

Robustness of composed timed systems. (English) Zbl 1117.68321

Vojtáš, Peter (ed.) et al., SOFSEM 2005: Theory and practice of computer science. 31st conference on current trends in theory and practice of computer science, Liptovský Ján, Slovakia, January 22–28, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24302-X/pbk). Lecture Notes in Computer Science 3381, 157-166 (2005).
MSC:  68M14 68M15 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Classification

all top 3

Software