Cargando…

Leveraging Applications of Formal Methods, Verification, and Validation International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers /

This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Hähnle, Reiner (Editor ), Knoop, Jens (Editor ), Margaria, Tiziana (Editor ), Schreiner, Dietmar (Editor ), Steffen, Bernhard (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edición:	1st ed. 2012.
Colección:	Communications in Computer and Information Science, 336
Temas:	Artificial intelligence. Data mining. Software engineering. Computer science. Information storage and retrieval systems. Pattern recognition systems. Artificial Intelligence. Data Mining and Knowledge Discovery. Software Engineering. Theory of Computation. Information Storage and Retrieval. Automated Pattern Recognition.
Acceso en línea:	Texto Completo

Ejemplares similares

New Frontiers in Applied Data Mining PAKDD 2011 International Workshops, Shenzhen, China, May 24-27, 2011, Revised Selected Papers /
Publicado: (2012)

Knowledge Science, Engineering and Management Third International Conference, KSEM 2009, Vienna, Austria, November 25-27, 2009, Proceedings /
Publicado: (2009)

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2014, Nancy, France, September 15-19, 2014. Proceedings, Part III /
Publicado: (2014)

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2014, Nancy, France, September 15-19, 2014. Proceedings, Part I /
Publicado: (2014)

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2014, Nancy, France, September 15-19, 2014. Proceedings, Part II /
Publicado: (2014)

Advances in Artificial Intelligence 24th Canadian Conference on Artificial Intelligence, Canadian AI 2011, St. John's, Canada, May 25-27, 2011, Proceedings /
Publicado: (2011)

Advances in Knowledge Acquisition and Management Pacific Rim Knowledge Acquisition Workshop, PKAW 2006, Guilin, China, August 7-8, 2006, Revised Selected Papers /
Publicado: (2006)

Text, Speech, and Dialogue 18th International Conference, TSD 2015, Pilsen,Czech Republic, September 14-17, 2015, Proceedings /
Publicado: (2015)

Symbiotic Interaction Third International Workshop, Symbiotic 2014, Helsinki, Finland, October 30-31, 2014, Proceedings /
Publicado: (2014)

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part III /
Publicado: (2015)

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part I /
Publicado: (2015)

Text, Speech, and Dialogue 16th International Conference, TSD 2013, Pilsen, Czech Republic, September 1-5, 2013, Proceedings /
Publicado: (2013)

New Frontiers in Applied Data Mining PAKDD 2009 International Workshops, Bangkok, Thailand, April 27-30, 2010. Revised Selected Papers /
Publicado: (2010)

Intelligent Information Processing V 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010, Proceedings /
Publicado: (2010)

Text, Speech and Dialogue 17th International Conference, TSD 2014, Brno, Czech Republic, September 8-12, 2014, Proceedings /
Publicado: (2014)

Modeling Decisions for Artificial Intelligence 13th International Conference, MDAI 2016, Sant Julià de Lòria, Andorra, September 19-21, 2016. Proceedings /
Publicado: (2016)

Modeling Decisions for Artificial Intelligence 12th International Conference, MDAI 2015, Skövde, Sweden, September 21-23, 2015, Proceedings /
Publicado: (2015)

Modeling Decisions for Artificial Intelligence 10th International Conference, MDAI 2013, Barcelona, Spain, November 20-22, 2013, Proceedings /
Publicado: (2013)

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part II /
Publicado: (2015)

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2016, Riva del Garda, Italy, September 19-23, 2016, Proceedings, Part I /
Publicado: (2016)

Text, Speech, and Dialogue 19th International Conference, TSD 2016, Brno , Czech Republic, September 12-16, 2016, Proceedings /
Publicado: (2016)

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2016, Riva del Garda, Italy, September 19-23, 2016, Proceedings, Part III /
Publicado: (2016)

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2016, Riva del Garda, Italy, September 19-23, 2016, Proceedings, Part II /
Publicado: (2016)

Knowledge-Based and Intelligent Information and Engineering Systems 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part II /
Publicado: (2010)

Knowledge-Based and Intelligent Information and Engineering Systems 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part I /
Publicado: (2010)

Advanced Data Mining and Applications 5th International Conference, ADMA 2009, Chengdu, China, August 17-19, 2009, Proceedings /
Publicado: (2009)

Knowledge-Based and Intelligent Information and Engineering Systems 14th International Conference, KES 2010, Cardiff, UK, september 8-10, 2010, Proceedings, Part III /
Publicado: (2010)

Knowledge-Based and Intelligent Information and Engineering Systems 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part IV /
Publicado: (2010)

Data Matching Concepts and Techniques for Record Linkage, Entity Resolution, and Duplicate Detection /
por: Christen, Peter
Publicado: (2012)

Modeling Decisions for Artificial Intelligence 11th International Conference, MDAI 2014, Tokyo, Japan, October 29-31, 2014, Proceedings /
Publicado: (2014)

Rough Sets and Intelligent Systems Paradigms Second International Conference, RSEISP 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings /
Publicado: (2014)

Intelligent Data Engineering and Automated Learning -- IDEAL 2012 13th International Conference, Natal, Brazil, August 29-31, 2012, Proceedings /
Publicado: (2012)

Intelligent Data Engineering and Automated Learning - IDEAL 2016 17th International Conference, Yangzhou, China, October 12-14, 2016, Proceedings /
Publicado: (2016)

Intelligent Data Engineering and Automated Learning - IDEAL 2015 16th International Conference, Wroclaw, Poland, October 14-16, 2015, Proceedings /
Publicado: (2015)

Intelligent Data Engineering and Automated Learning -- IDEAL 2014 15th International Conference, Salamanca, Spain, September 10-12, 2014, Proceedings /
Publicado: (2014)

Discovery Science 19th International Conference, DS 2016, Bari, Italy, October 19-21, 2016, Proceedings /
Publicado: (2016)

Intelligent Data Engineering and Automated Learning -- IDEAL 2013 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013, Proceedings /
Publicado: (2013)

Modeling Decisions for Artificial Intelligence 9th International Conference, MDAI 2012, Girona, Catalonia, Spain, November 21-23, 2012, Proceedings /
Publicado: (2012)

Advanced Machine Learning Technologies and Applications Second International Conference, AMLTA 2014, Cairo, Egypt, November 28-30, 2014. Proceedings /
Publicado: (2014)

Advanced Intelligent Computing Theories and Applications With Aspects of Contemporary Intelligent Computing Techniques /
Publicado: (2007)