Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2014
Remove all filters
Displaying results 81 to 90 of 578.

  1. Malgorzata Goldhoorn; Ronny Hartanto

    Semantic Perception using Spatial Potential Fields

    In: The 9th International Workshop on Cognitive Robotics, An ECAI-2014 Workshop. European Conference on Artificial Intelligence (ECAI-2014), August 18-22, Prag, Czech Republic, 8/2014.

  2. Mathias Soeken; Christopher B. Harris; Nabila Abdessaied; Ian G. Harris; Rolf Drechsler

    Automating the Translation of Assertions Using Natural Language Processing Techniques

    In: Forum on Specification and Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14), October 14-16, 2014.

  3. Heinz Riener; Mathias Soeken; Clemens Werther; Goerschwin Fey; Rolf Drechsler

    metaSMT: A Unified Interface to SMT-LIB2

    In: Forum on Specification and Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14), October 14-16, München, Germany, o.A. , 2014.

  4. Julia Seiter; Robert Wille; Ulrich Kühne; Rolf Drechsler

    Automatic Refinement Checking for Formal System Models

    In: Forum on Specification & Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14), October 14-16, München, Germany, o.A. , 2014.

  5. Christoph Hilken; Julia Seiter; Robert Wille; Ulrich Kuehne; Rolf Drechsler

    Verifying Consistency between Activity Diagrams and Their Corresponding OCL Contracts

    In: Forum on Specification & Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14), October 14-16, München, Germany, o.A. , 2014.

  6. Javier Hidalgo Carrió; Ajish Babu; Frank Kirchner

    Static forces weighted Jacobian motion models for improved Odometry

    In: Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2014), September 14-18, Chicago, USA, IEEE, 9/2014.

  7. Takumi Toyama; Jason Orlosky; Daniel Sonntag; Kiyoshi Kiyokawa

    A natural interface for multi-focal plane head mounted displays using 3D gaze

    In: Proceedings of the 2014 International Working Conference on Advanced Visual Interfaces. International Working Conference on Advanced Visual Interfaces (AVI-14), Como, Italy, Pages 25-32, ACM, 2014.

  8. Jason Orlosky; Takumi Toyama; Daniel Sonntag; Kiyoshi Kiyokawa

    Using Eye-gaze and Visualization To Augment Memory: A Framework for Improving Context Recognition and Recall

    In: Proceedings of the 16th International Conference on Human-Computer Interaction. Human Computer Interaction International Conferences (HCII-14), Pages 282-291, LNCS Springer, 2014.

  9. Zsolt Palotai; Miklós Láng; András Sárkány; Zoltán Tősér; Daniel Sonntag; Takumi Toyama; András Lőrincz

    LabelMovie: a Semi-supervised Machine Annotation Tool with Quality Assurance and Crowd-sourcing Options for Videos

    In: Proceedings of the 12th International Workshop on Content-Based Multimedia Indexing. International Workshop on Content-Based Multimedia Indexing (CBMI-14), IEEE, 2014.

  10. Jason Orlosky; Takumi Toyama; Daniel Sonntag; András Sárkány; András Lőrincz

    On-body multi-input indoor localization for dynamic emergency scenarios: fusion of magnetic tracking and optical character recognition with mixed-reality display

    In: Proceedings of the 2014 International Conference on Pervasive Computing and Communications Workshops. IEEE International Workshop on Pervasive Networks for Emergency Management (PerNem-14), located at PerCom-14, March 24-28, Budapest, Hungary, Pages 320-325, IEEE, 2014.

Year