TY - CONF AU - Ngonga Ngomo, Axel-Cyrille AU - Bühmann, Lorenz AU - Unger, Christina AU - Lehmann, Jens AU - Gerber, Daniel ED - Schwabe, Daniel ED - A. F. Almeida, Virgílio ED - Glaser, Hartmut ED - Baeza-Yates, Ricardo ED - B. Moon, Sue ID - 25470 T2 - 22nd International World Wide Web Conference, {WWW} '13, Rio de Janeiro, Brazil, May 13-17, 2013 TI - Sorry, i don't speak SPARQL: translating SPARQL queries into natural language ER - TY - CONF AU - Shekarpour, Saeedeh AU - Ngonga Ngomo, Axel-Cyrille AU - Auer, Sören ED - Schwabe, Daniel ED - A. F. Almeida, Virgílio ED - Glaser, Hartmut ED - Baeza-Yates, Ricardo ED - B. Moon, Sue ID - 25471 T2 - 22nd International World Wide Web Conference, {WWW} '13, Rio de Janeiro, Brazil, May 13-17, 2013 TI - Question answering on interlinked data ER - TY - GEN ED - Ngonga Ngomo, Axel-Cyrille ED - Paliouras, George ID - 25472 TI - Proceedings of the first Workshop on Bio-Medical Semantic Indexing and Question Answering, a Post-Conference Workshop of Conference and Labs of the Evaluation Forum 2013 (CLEF 2013) , Valencia, Spain, September 27th, 2013 VL - 1094 ER - TY - CONF AU - Grösbrink, Stefan AU - Almeida, Luis AU - de Sousa, Mario AU - Petters, Stefan M. ID - 25548 T2 - 5th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2013) TI - Fair Bandwidth Sharing among Virtual Machines in a Multi-criticality Scope ER - TY - CONF AU - Qanadilo, Mona AU - Samara, Sufyan AU - Zhao, Yuhong ID - 25557 T2 - 6'th Latin-American Symposium on Dependable Computing (LADC 2013) TI - Accelerating Online Model Checking ER - TY - CONF AU - Stern, Claudius AU - Rasche, Christoph AU - Kleinjohann, Lisa AU - Kleinjohann, Bernd ID - 25573 T2 - 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung TI - Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen VL - 311 ER - TY - CONF AU - Rasche, Christoph AU - Bieshaar, Maarten AU - Jungmann, Alexander AU - Kleinjohann, Lisa AU - Kleinjohann, Bernd ID - 25574 T2 - Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310 TI - Statistisches Planen in einem realen Roboterszenario VL - 310 ER - TY - CONF AU - Grösbrink, Stefan AU - Baldin, Daniel AU - Oberthür, Simon ID - 25575 T2 - ACM SIGBED Review, Band 10 TI - Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems ER - TY - CONF AU - Kuznik, Christoph AU - F. S. Oliveira, Marcio AU - Müller, Wolfgang ID - 25606 T2 - edaWorkshop 13 TI - SystemC Verification Components - An enhanced OVM/UVM for SystemC ER - TY - CONF AU - Mischkalla, Fabian AU - Müller, Wolfgang ID - 25612 T2 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) TI - Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen ER - TY - CONF AU - Kuznik, Christoph AU - F. S. Oliveira, Marcio AU - Müller, Wolfgang ID - 25614 T2 - Open SANITAS SystemC Verification Workshop TI - SC OVM: An Advanced SystemC Library for OVM-based Verification ER - TY - GEN AU - Engels, Gregor AU - Gerth, Christian AU - Kleinjohann, Lisa AU - Kleinjohann, Bernd AU - Müller, Wolfgang ID - 25615 T2 - ForschungsForum Paderborn TI - Informationstechnik spart Ressourcen ER - TY - JOUR AU - Grösbrink, Stefan ID - 25616 JF - Production Engineering Research & Development 7(1) TI - Basics of Virtual Machine Migration on Heterogeneous Architectures for Self-optimizing Mechatronic Systems - Necessary Conditions and Implementation Issues ER - TY - JOUR AB - The as a service paradigm reflects the fundamental idea of providing basic coherent functionality in terms of components that can be utilised on demand. These so-called services may also be interconnected in order to provide more complex functionality. Automation of this service composition process is indeed a formidable challenge. In our work, we are addressing this challenge by decomposing service composition into sequential decision making steps. Each step is supported by a recommendation mechanism. If composition requests recur over time and if evaluations of composition results are fed back, a proper recommendation strategy can evolve over time through learning from experience. In this paper, we describe our approach of modelling this service composition and recommendation process as Markov decision process and of solving it by means of reinforcement learning. A case study serves as proof of concept. AU - Jungmann, Alexander AU - Kleinjohann, Bernd AU - Kleinjohann, Lisa ID - 25618 JF - International Journal of Business Process Integration and Management 6(4) TI - Learning Service Recommendations ER - TY - CONF AU - Kuznik, Christoph AU - Oliveira, Marcio F. AU - Defo, Bertrand AU - Müller, Wolfgang ID - 25620 T2 - Proceedings of DVCON TI - Systematic Application of UCIS to Improve the Automation on Verification Closure ER - TY - CHAP AB - After big disasters, search and rescue missions take place. During these missions it is essential to obtain an overview of the overall situation to arrange efficient rescue tasks as soon as possible. Afterwards, this information has to be continuously updated during the complete mission in order to quickly respond to changing conditions. The use of unmanned aerial vehicles (UAVs) is a viable choice to obtain such an overview in a fast and efficient way. Using multiple UAVs, the problem of coordination has to be solved to decrease the time needed to explore an area. We present an approach for the coordination of UAVs by setting up formation patterns using bifurcation theory. We combine this theory with a potential field approach for exploration, based on harmonic functions. AU - Rasche, Christoph AU - Stern, Claudius AU - Kleinjohann, Lisa AU - Kleinjohann, Bernd ED - Sen Gupta, Gourab ED - Bailey, Donald ED - Demidenko, Serge ED - Carnegie, Dale ID - 25625 T2 - Recent Advances in Robotics and Automation, Studies in Computational Intelligence, Band 480 TI - A 3D Path Planning Approach Extended by Bifurcation Theory for Formation Flights VL - 480 ER - TY - CONF AU - Klobedanz, Kay AU - Jatzkowski, Jan AU - Rettberg, Achim AU - Müller, Wolfgang ID - 25632 T2 - International Embedded Systems Symposium (IESS) 2013 TI - Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks ER - TY - CHAP AU - Büker, Petra AU - Bührmann, Thorsten AU - Kordulla, Agnes ID - 19585 T2 - Hand in Hand durch den Übergang - Neue Wege der Kooperation zwischen Kita und Grundschule im Modellprojekt Kinderbildungshaus Paderborn TI - Die wissenschaftliche Begleitung des Modellprojektes ER - TY - JOUR AU - Büker, Petra ID - 19587 IS - H. 7/8 JF - DDS (Zeitschrift der Gewerkschaft Erziehung und Wissenschaft, Landesverband Bayern), H. 7/8, Themenheft: Frühkindliche Bildung TI - Individualisierung, Integration, Inklusion: KiTas und Grundschulen auf dem Weg ER - TY - CONF AB - September 2013 AU - Büker, Petra AU - Bührmann, Thorsten ID - 19862 TI - Forschung und Praxis im Dialog?! Erfahrungen und Probleme der wissenschaftlichen Begleitung von Projekten im Übergang Kita-Grundschule. Keynote an der 18. Jahrestagung des Nordverbunds Schulbegleitforschung, Universität Osnabrück ER -