Volltextsuche

Suchbegriff:
 

Detailsuche

Titel:
Publikationstyp:
Jahr:
Autor / Herausgeber:
 

Publikationen

Sebastian Huhn; Stefan Frehse; Robert Wille; Rolf Drechsler
Enhancing Robustness of Sequential Circuits Using Application-specific Knowledge and Formal Methods.
In: 22nd Asia and South Pacific Design Automation Conference ASP-DAC 2017. Asia and South Pacific Design Automation Conference (ASP-DAC-22), January 16-19, Tokio, Japan, 2017.
Kenneth Schmitz; Arun Chandrasekharan; Jonas Gomes Filho; Daniel Gro├če; Rolf Drechsler
Trust is good, Control is better: Hardware-based Instruction-Replacement for Reliable Processor-IPs.
In: 22nd Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-22), January 16-19, Tokio, Japan, 2017.
Jindřich Helcl; Jindřich Libovick├Ż
Neural Monkey: An Open-source Tool for Sequence Learning.
In: Prague Bulletin of Mathematical Linguistics, Vol. 107, Pages 1-11, Charles University, 2017.
Thomas R├Âfer; Tim Laue; Jesse Richter-Klug
B-Human 2016 - Robust Approaches for Perception and State Estimation Under More Natural Conditions.
In: Sven Behnke; Daniel D. Lee; Sanem Sariel; Raymond Sheh (Hrsg.). RoboCup 2016: Robot Soccer World Cup XX, Lecture Notes in Artificial Intelligence RoboCup 2016: Robot Soccer World Cup XX. RoboCup International Symposium (RoboCup-2016), July 4, Leipzig, Germany, Lecture Notes in Artificial Intelligence, Springer, 2017.
Daniel Fraunholz; Marc Zimmermann; Hans Dieter Schotten
An Adaptive Honeypot Configuration, Deployment and Maintenance Strategy.
In: 19th International Conference on Advanced Communications Technology. International Conference on Advanced Communications Technology (ICACT-17), February 19-22, Pyeonchang, Korea, Republic of, IEEE, 2/2017.
Sebastian Huhn; Stephan Eggersgl├╝├č; Krishnendu Chakrabarty; Rolf Drechsler
Optimization of Retargeting for IEEE 1149.1 TAP Controllers with Embedded Compression.
In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2017), March 27-31, Lausanne, Switzerland, 2017.
Saman Fr├Âhlich; Daniel Gro├če; Rolf Drechsler
Exakte BDD Minimierung mit Fehlerschranke f├╝r den Einsatz im Approximate Computing.
In: 20. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-20), February 8-9, Bremen, Germany, 2017.
Mario Michael Krell; Nils Wilshusen; Anett Seeland; Su-Kyoung Kim
Classifier Transfer with Data Selection Strategies for Online Support Vector Machine Classification with Class Imbalance.
In: Journal of Neural Engineering (JNE), Vol. 14, No. 2, Page 025003, IOP Publishing, 4/2017.
Andreas Sonntag; Peter Fettke; Peter Loos
Inductive Reference Modelling Based on Simulated Social Collaboration.
In: 13. Internationale Tagung Wirtschaftsinformatik. Internationale Tagung Wirtschaftsinformatik (WI-2017), Towards Thought Leadership in Digital Transformation, February 12-15, St. Gallen, Switzerland, AIS e-Library, 2017.
Victor Ferman; Dieter Hutter; Raul Monroy
WebMC for Browser Based Protocol Verification.
In: Grigori Sidorov (Hrsg.). Computaci├│n y Sistemas, Vol. tbd. Pages 1-15, Centro de Investigaci├│n en computaci├│n, IPN, 2017.
Stefan Stiene; Stephan Scheuren; Martin G├╝nther; Kai Lingemann; Andreas Lauer; Ansgar Bernardi; Joachim Hertzberg
Architektur einer offenen Software-Plattform f├╝r landwirtschaftliche Dienstleistungen.
In: A. Ruckelshausen et al. (Hrsg.). Referate der 37. GIL-Jahrestagung. Gesellschaft f├╝r Informatik in der Land-, Forst- und Ern├Ąhrungswirtschaft (GIL-2017), Digitale Transformation - Wege in eine zukunftsf├Ąhige Landwirtschaft, March 6-7, Dresden, Germany, Pages 141-144, ISBN 978-3-88579-662-6, Gesellschaft f├╝r Informatik, 2017.
Dennis Kolberg; Christoph Berger; Bogdan-Constantin Pîrvu; Marco Franke; Joachim Michniewicz
CyProF – Insights from a Framework for Designing Cyber-Physical Systems in Production Environments.
In: Engelbert Westk├Ąmper; Thomas Bauernhansl (Hrsg.). Factories of the Future in the digital environment - Proceedings of the 49th CIRP Conference on Manufacturing Systems. CIRP Conference on Manufactoring Systems (CIRP CMS), located at CIRP Conference on Manufacturing Systems, May 25-27, Stuttgart, Germany, Elsevier, Amsterdam, 1/2017.
Tobias Franke; Andreas Poxrucker; Gernot Bahle; Paul Lukowicz
Trace Driven Simulation Model for City Scale Crowd Movements.
In: Proceedings of the 14th International Conference on Smart City. IEEE International Conference on Smart City, 14th, December 12-14, Sydney, Australia, IEEE, 2017.
Sebastian Baumbach; Andreas Dengel
Measuring the Performance of Push-ups - Qualitative Sport Activity Recognition.
In: Jaap van den Herik; Joaquim Filipe (Hrsg.). Proceedings of the 9th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial Intelligence (ICAART-17), February 24-26, Porto, Portugal, Pages 374-381, ICAART, Vol. 2, ISBN 978-989-758-220-2, SCITEPRESS, Portugal, 2/2017.
Michael Barz; Peter Poller; Daniel Sonntag
Evaluating Remote and Head-worn Eye Trackers in Multi-modal Speech-based HRI.
In: Bilge Mutlu; Manfred Tscheligi; Astrid Weiss; James E. Young (Hrsg.). Companion of the 2017 ACM/IEEE International Conference on Human-Robot Interaction. ACM/IEEE International Conference on Human-Robot Interaction (HRI-17), March 6-9, Vienna, Austria, Pages 79-80, ACM, 3/2017.
Daniel Fraunholz; Marc Zimmermann; Simon Duque Ant├│n; J├Ârg Schneider; Hans Dieter Schotten
Distributed and Highly-Scalable WAN Network Attack Sensing and Sophisticated Analysing Framework based on Honeypot Technology.
In: 7th International Conference on Cloud Computing, Data Science & Engineering. International Conference on Cloud Computing, Data Science & Engineering (Confluence-2017), January 12-13, Noida, India, Page 33, IEEE, 1/2017.
Andr├ę Zenner; Antonio Kr├╝ger
Shifty: A Weight-Shifting Dynamic Passive Haptic Proxy.
In: IEEE Transactions on Visualization and Computer Graphics (TVCG), Vol. 23, No. 4, Pages 1-1, IEEE Computer Society, 4/2017.
Wolfram Strothmann; Arno Ruckelshausen; Joachim Hertzberg; Christian Scholz; Frederik Langsenkamp
Plant classification with in-field-labeling for crop/weed discrimination using spectral features and 3D surface features from a multi-wavelength laser line profile system.
In: Computers and Electronics in Agriculture, Vol. 134, Pages 79-93, Elsevier, 1/2017.
Roland Sonsalla; Florian Cordes; Leif Christensen; Steffen Planthaber; Michael Maurus; Thomas M. Roehr; Tobias Stark; Andrea Fink
Bremer Roboter-Team auf Marsmission in der W├╝ste Utahs.
In: Luft- und Raumfahrt, Vol. Jahrgang 38, No. 1/2017, Pages 36-39, Deutsche Gesellschaft f├╝r Luft- und Raumfahrt - Lilienthal-Oberth e.V. (DGLR), 1/2017.
Michael Schneider; Jason Raphael Rambach; Didier Stricker
Augmented Reality based on Edge Computing using the example of Remote Live Support.
In: IEEE (Hrsg.). Proceedings of the IEEE International Conference on Industrial Technology. International Conference on Industrial Technology (ICIT-17), March 22-25, Toronto, Ontario, Canada, IEEE, 2017.
Sven Hertling; Markus Schr├Âder; Christian Jilek; Andreas Dengel
Where is that Button again ?! - Towards a Universal GUI Search Engine.
In: Proceedings of the 9th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial Intelligence (ICAART-17), 9th, February 24-26, Porto, Portugal, ICAART, SCITEPRESS, Portugal, 2/2017.
Jos├ę de Gea Fern├índez; Dennis Mronga; Martin G├╝nther; Malte Wirkus; Martin Schr├Âer; Stefan Stiene; Elsa Kirchner; Vinzenz Bargsten; Timo B├Ąnziger; Johannes Teiwes; Thomas Kr├╝ger; Frank Kirchner
iMRK: Demonstrator for Intelligent and Intuitive Human--Robot Collaboration in Industrial Manufacturing.
In: KI - K├╝nstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "K├╝nstliche Intelligenz" der Gesellschaft f├╝r Informatik e.V. (KI), Pages 1-5, Springer, Berlin Heidelberg, 2/2017.
Daniel Kuehn
Multi-Funktionalit├Ąt am Beispiel des hominiden Roboters Charlie.
In: Proceedings of the VDI-Zukunftskonferenz "Humanoide Roboter" 2016. VDI-Zukunftskonferenz Humanoide Roboter, December 13-14, Munich, Germany, 1/2017.
Jana-Rebecca Rehse; Peter Fettke
Towards Situational Reference Model Mining – Main Idea, Procedure Model & Case Study.
In: Jan Marco Leimeister; Walter Brenner (Hrsg.). Proceedings der 13. Internationalen Tagung Wirtschaftsinformatik. Internationale Tagung Wirtschaftsinformatik (WI-2017), February 12-15, St. Gallen, Switzerland, AIS, 2017.
Arun Chandrasekharan; Daniel Gro├če; Rolf Drechsler
ProACt: A Processor for High Performance On-demand Approximate Computing.
In: Proceedings of the 27th edition on Great Lakes Symposium on VLSI. ACM Great Lakes Symposium on VLSI (GLSVLSI-2017), May 10-12, Banff, AB, Canada, ACM, 2017.
Thierry Declerck; Sandra K├╝bler (Hrsg.)
Proceedings of the Workshop on Corpora in the Digital Humanities.
Corpora in the Digital Humanities (CDH-17), January 19, Bloomington, Indiana, USA, CEURS Proceedings, Vol. 1786, ISBN ISSN: 1613-0073, CEURS, 1/2017.
Thierry Declerck
A Set of Annotations for supporting a TTS application for Folktales.
In: Thierry Declerck; Sandra K├╝bler (Hrsg.). Proceedings of the Workshop on Corpora in the Digital Humanities. Corpora in the Digital Humanities (CDH-17), January 19, Bloomington, Indiana, USA, CEURS Proceedings, Vol. 1786, ISBN ISSN: 1613-0073, CEURS, 1/2017.
Bingbin Yu; Jos├ę de Gea Fern├índez; Yohannes Kassahun; Vinzenz Bargsten
Learning the Elasticity of a Series-Elastic Actuator for Accurate Torque Control.
In: Proceedings of the 30th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems. International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA / AIE-2017), June 27-30, Arras, France, 6/2017.
Manuel Zapp; Peter Fettke; Peter Loos
Towards a Software Prototype Supporting Automatic Recognition of Sketched Business Process Models.
In: Jan Marco Leimeister; Walter Brenner (Hrsg.). Proceedings der 13. Internationalen Tagung Wirtschaftsinformatik. Internationale Tagung Wirtschaftsinformatik (WI-17), Towards Thought Leadership in Digital Transformation, February 12-15, St. Gallen, Switzerland, AIS, 2017.
Sharam Dadashnia; Yannick Konrad; Peter Fettke; Peter Loos (Hrsg.)
Real-Time Usability Improvement for Business Information Systems based on SAP UI5 and SAP HANA.
Internationale Tagung Wirtschaftsinformatik (WI-2017), SAP Innovation Track, February 13-15, St. Gallen, Switzerland, AIS Electronic Library, 2/2017.
Janosch Machowinski; Arne B├Âckmann; Sascha Arnold; Christoph Hertzberg; Steffen Planthaber
Climbing Steep Inclines with a Six-Legged Robot using Locomotion Planning.
In: International Conference on Robotics and Automation. International Conference on Robotics and Automation, May 29, Singapore, Singapore, IEEE, 5/2017.
Steffen Planthaber; Michael Maurus; Bertold Bongardt; Martin Mallwitz; Luis Manuel Vaca Benitez; Leif Christensen; Florian Cordes; Roland Sonsalla; Tobias Stark; Thomas Roehr
Controlling a Semi-Autonomous Robot Team From a Virtual Environment.
In: Proceedings of the HRI conference. ACM/IEEE International Conference on Human-Robot Interaction (HRI), March 6-9, Vienna, Austria, ACM/IEEE, 2017.
Shivesh Kumar; Abhilash Nayak; Bertold Bongardt; Andreas Mueller; Frank Kirchner
Kinematic analysis of Active Ankle using computational algebraic geometry.
In: Computational Kinematics. IFTOMM International Workshop on Computational Kinematics (CK-2017), May 22-24, Poitiers, France, Springer, 2017.
Thomas Bauerei├č; Armando Pesenti Gritti; Andrei Popescu; Franco Raimondi
CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees.
In: 2017 IEEE Symposium on Security and Privacy. IEEE Symposium on Security and Privacy (SP-17), May 22-24, San Jose, CA, USA, IEEE, 2017.
Oliver Wasenm├╝ller; Benjamin Schenkenberger; Didier Stricker
Towards Non-Rigid Reconstruction - How to adapt rigid RGB-D reconstruction to non-rigid movements?.
In: International Conference on Computer Vision Theory and Applications. International Conference on Computer Vision Theory and Applications (VISAPP-17), February 27 - March 1, Porto, Portugal, Insticc, 2017.
Vladislav Golyanik; Didier Stricker
Dense Batch Non-Rigid Structure from Motion in a Second.
In: Proceeding of IEEE Winter Conference on Applications of Computer Vision. IEEE Winter Conference on Applications of Computer Vision (WACV-17), March 27-30, Santa Rosa, CA, USA, IEEE, 3/2017.
Vladislav Golyanik; Torben Fetzer; Didier Stricker
Accurate 3D Reconstruction of Dynamic Scenes from Monocular Image Sequences with Severe Occlusions.
In: Proceedings of IEEE Winter Conference on Applications of Computer Vision |. IEEE Winter Conference on Applications of Computer Vision (WACV-17), March 27-30, Santa Rosa, CA, USA, IEEE, 3/2017.
SCITEPRESS Digital Library (Hrsg.)
Trained 3D models for CNN based object recognition.
International Conference on Computer Vision Theory and Applications (VISAPP-17), February 27 - March 1, Porto, Portugal, SCITEPRESS Digital Library, 3/2017.
Luis Gracia; Carlos Perez Vidal; Dennis Mronga; Jose Manuel de Paco; Jose Maria Azorin; Jose de Gea Fernandez
Robotic manipulation for the shoe-packaging process.
In: International Journal of Advanced Manufacturing Technology International Journal of Advanced Manufacturing Technology. ISBN DOI: 10.1007/s00170-017-0212-6, Springer, 3/2017.
Michael Barz; Peter Poller; Daniel Sonntag
Evaluating Remote and Head-worn Eye Trackers in Multi-modal Speech-based HRI (Demo).
In: Bilge Mutlu; Manfred Tscheligi; Astrid Weiss; James E. Young (Hrsg.). Companion of the 2017 ACM/IEEE International Conference on Human-Robot Interaction. ACM/IEEE International Conference on Human-Robot Interaction (HRI-17), March 6-9, Vienna, Austria, ACM, 2017.
Vladislav Golyanik; Gerd Reis; Bertram Taetz; Didier Stricker
A Framework for an Accurate Point Cloud Based Registration of Full 3D Human Body Scans.
In: Proceedings of IAPR International Conference on Machine Vision Applications. IAPR Conference on Machine Vision Applications (MVA-17), March 8-12, Nagoya, Japan, IEEE, 2017.
Antonio Kr├╝ger; Gerrit Kahl
Der technologische Fortschritt im Handel getrieben durch Erwartungen der Kunden.
In: Rainer Gl├Ą├č; Bernd Leukert. Handel 4.0: Die Digitalisierung des Handels -- Strategien, Technologien, Transformation. Pages 129-156, ISBN 978-3-662-53332-1, Springer, Berlin, Heidelberg, 2017.
Kangjie Lu; Marie-Therese Walter; David Pfaff; Stefan N├╝rnberger; Wenke Lee; Michael Backes
Unleashing Use-Before-Initialization Vulnerabilities in the Linux Kernel Using Targeted Stack Spraying.
In: 24th Annular Symposium on Network and Distributed System Security (NDSS 2017). Symposium on Network and Distributed System Security (NDSS), Internet Society, 2017.
Agnes Gr├╝nerbl; Gernot Bahle; Paul Lukowicz (Hrsg.)
IEEE International Conference on Pervasive Computing and Communications.
IEEE International Conference on Pervasive Computing and Communications (PerCom), In 13th IEEE Workshop on Context Modeling and Reasoning (CoMoRea), PerCom'17 Workshop Proceedings, Kona, Hawaii, March 2017., located at 13th IEEE Workshop on Context Modeling and Reasoning (CoMoRea), PerCom'17 Workshop Proceedings, Kona, Hawaii, March 2017. March 13-17, Kona, Hawaii, USA, IEEE, 2017.