Search results for “site:nbn-resolving.org”

CEUR-WS.org/Vol-1700 - Workshop on Benchmarking Linked Data (BLINK 2016)

by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors. BLINK 2016 Benchmarking Linked Data Proceedings of the Workshop on Benchmarking Linked Data (BLINK 2016) co-located with the 15th International Semantic Web...

CEUR-WS.org/Vol-1764 - Workshop on Publishing Papers with CEUR-WS 2016

by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors. DHC 2016 Digital Humanities and Digital Curation Proceedings of the First Workshop on Digital Humanities...

CEUR-WS.org/Vol-1785 - Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016

by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors. CICM-WS-WIP 2016 Workshop and Work in Progress Papers at CICM 2016 • FMM - Formal Mathematics for Mathematicians • The 11th Workshop on Mathematical...

In short: Explore the latest research in formal mathematics, mathematical user interfaces, theorem proving components for education, and more at the CICM-WS-WIP 2016. ... (AI summary)

CEUR-WS.org/Vol-1809 - Workshop on Linked Data on the Web (LDOW)

Piecing the puzzle – Self-publishing queryable research data on the Web [canonical URL] Authors Ruben Verborgh deepschema.org: An Ontology for Typing Entities in the Web of Data Panayiotis Smeros Amit Gupta Michele Catasta Karl Aberer Lifting Data Portals to the Web of Data Sebastian Neumaier...

CEUR-WS.org/Vol-1811 - First Chinese Conference on Logic and Argumentation (CLAR 2016)

by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors. CLAR 2016 Logic and Argumentation Proceedings of the 1st Chinese Conference on Logic and Argumentation...

CEUR-WS.org/Vol-1812 - JARCA Workshop on Qualitative Systems and Applications in Diagnosis, Robotics and Ambient Intelligence 2016

2016 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors. JARCA 2016 JARCA Workshop on Qualitative Systems and Applications in Diagnosis, Robotics and Ambient Intelligence Proceedings of the...

CEUR-WS.org/Vol-1815 - ICCBR 2016 Workshop Proceedings

by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors. ICCBR-WS 2016 ICCBR 2016 Workshop Proceedings Workshops Proceedings for the Twenty-fourth International Conference on Case-Based Reasoning (ICCBR 2016) Atlanta...

CEUR-WS.org/Vol-1816 - First Italian Conference on Cybersecurity (ITASEC17)

by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors. ITASEC 2017 Italian Conference on Cybersecurity Proceedings of the First Italian Conference on...

CEUR-WS.org/Vol-1820 - The Seminar Series on Advanced Techniques & Tools for Software Evolution (SATToSE 2015)

by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors. SATToSE 2015 Seminar on Advanced Techniques and Tools for Software Evolution Post-proceedings of the 8th Seminar on Advanced Techniques and Tools for Software...

CEUR-WS.org/Vol-1856 - International Conference on Information Technology 2017

by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors. IVUS 2017 International Conference on Information Technology Proceedings of the IVUS International Conference on Information Technology Kaunas, Lithuania, April 28...