Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2014
- Employing early model-based safety evaluation to iteratively derive E/E architecture design Elsevier - Science of Computer Programming, ():161-179, 2014. Details URL DOI BIB
- Estimating finger grip force from an image of the hand using Convolutional Neural Networks and Gaussian Processes In Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014. Details DOI BIB
- Evaluating the Prediction Accuracy of Generated Performance Models in Up- and Downscaling Scenarios In Proceedings of the Symposium on Software Performance (SOSP), Seiten 113-130, 2014. Details BIB
- Evolutionäre Algorithmen zur Performance-Modellierung von Unternehmensanwendungen Dissertation, Technische Universität München, München, 2014. Details BIB
- Extending Knowledge-Level Contingent Planning to Robot Task Planning In International Conference on Automated Planning and Scheduling Workshop on Planning and Robotics (PlanRob 2014), 2014. Details BIB
- Formal Technical Process Specification and Verification for Automated Production Systems In System Analysis and Modeling: Models and Reusability - 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings, Seiten 287–303, 2014. Details DOI BIB
- Formal Verification of Optical Quantum Flip Gate In Interactive Theorem Proving (ITP), Band 8558 von Lecture Notes in Computer Science, Seiten 358–373, 2014. Springer. Details DOI BIB
- Guest Editorial: Special issue on industrial applications of distributed intelligent systems Systems, Man, and Cybernetics: Systems, IEEE Transactions on, 44(3):261-262, 2014. Details DOI BIB
- Handling uncertain input in multi-user human-robot interaction In Proceedings of the 23rd IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN), 2014. Details BIB
- Image Super-Resolution with Fast Approximate Convolutional Sparse Coding In Neural Information Processing, Band 8836, 2014. Details DOI BIB
- Implicational Rewriting Tactics in HOL In Interactive Theorem Proving (ITP), Band 8558 von Lecture Notes in Computer Science, Seiten 45-60, 2014. Springer. Details URL DOI BIB
- Information Need in Cloud Service Procurement – An Exploratory Case Study In E-Commerce and Web Technologies, Band 188, Seiten pp 26-33. Springer International Publishing, 2014. Details DOI BIB
- Interface definition and code generation in heterogeneous development environments from a single-source In In 44. Jahrestagung der Gesellschaft für Informatik, Informatik 2014, Big Data - Komplexität meistern, 2014. Details BIB
- Learning Weighted Joint-based Features for Action Recognition Using Depth Camera In The 9th International Conference on Computer Vision Theory and Applications(VISAPP), 2014. Details BIB
- Mehrstufiges Planungskonzept für pilotierte Parkhausfunktionen In 30. VDI/VW-Gemeinschaftstagung "Fahrerassistenz und Integrierte Sicherheit 2014, 2014. Details BIB
- Model-free robot anomaly detection In Proc. IEEE/RSJ International Conference on Robotics and Systems (IROS), 2014. Details DOI BIB
- Modelling Control Systems Using IEC 61499 Band . IET, , Ausgabe, 2014. Details BIB
- MRI-based skeletal hand movement model In The Human Hand as an Inspiration for Robot Hand Development, Band 95 von Springer Tracts in Advanced Robotics, Seiten 49–75. Springer, 2014. Details DOI BIB
- Multi-Modal Path Planning for Solving Abstract Robot Tasks Technische Universität München, Germany, 2014. Details BIB
- Multiple Vehicle Cooperative Localization with Spatial Registration Based on a Probability Hypothesis Density Filter Sensors, 14(1):995–1009, 2014. Details URL DOI BIB