Showing 10,941 - 10,960 results of 11,530 for search '"Robotics"', query time: 0.19s Refine Results
  1. 10941
    Advances in Architectural Geometry 2014
    Published 2015
    Table of Contents: “…. Tomicic, J. Wallner and H. Pottmann -- Computational Integration of Robotic Fabrication, Architectural…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 10942
    Logic for Programming, Artificial Intelligence, and Reasoning 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings /
    Published 2001
    Table of Contents: “… of Deliberation -- Local Conditional High-Level Robot Programs -- A Refinement Theory that Supports Reasoning…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 10943
    Information Processing in Sensor Networks Second International Workshop, IPSN 2003, Palo Alto, CA, USA, April 22-23, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Robot and Communication Network -- Distance Based Decision Fusion in a Distributed Wireless Sensor…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 10944
    Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /
    Published 2016
    Table of Contents: “…Robots at the Edge of the Cloud -- Finding Recurrent Sets with Backward Analysis and Trace…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 10945
    KI 2003: Advances in Artificial Intelligence 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Construction with Autonomous Mobile Robots -- Who Can Connect in RCC? -- An Arrangement Calculus, Its…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 10946
    FM'99 - Formal Methods World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I /
    Published 1999
    Table of Contents: “… and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination -- On-the-Fly Controller Synthesis…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 10947
    Advances in Pattern Recognition - ICAPR 2001 Second International Conference Rio de Janeiro, Brazil, March 11-14, 2001 Proceedings /
    Published 2001
    Table of Contents: “…: Two New Concepts in Graph Matching -- Learning and Adaptation in Robotics -- Image-based self…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 10948
    User-Centered Interaction Paradigms for Universal Access in the Information Society 8th ERCIM Workshop on User Interfaces for All, Vienna, Austria, June 28-29, 2004. Revised Selected Papers /
    Published 2004
    Table of Contents: “… and Metaphors -- A Supportive Multimodal Mobile Robot for the Home -- Multimodal Interaction in Architectural…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 10949
    LATIN 2004: Theoretical Informatics 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004. Proceedings /
    Published 2004
    Table of Contents: “… a General Network -- Gathering Non-oblivious Mobile Robots -- Bisecting and Gossiping in Circulant…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10950
    Principles and Practice of Anesthesia for Thoracic Surgery
    Published 2011
    Table of Contents: “… Surgery -- Ch. 31. Anesthetic for Robotic Thoracic Surgery -- Ch. 32. Anesthesia for Combined Cardiac…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 10951
    Smart Objects and Technologies for Social Good Second International Conference, GOODTECHS 2016, Venice, Italy, November 30 – December 1, 2016, Proceedings /
    Published 2017
    Table of Contents: “… using a Monocular Camera for a Wheelchair Mounted Robotic Arm -- Segmentation of Mosaic Images based…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 10952
    Human Aspects of Information Security, Privacy and Trust 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings /
    Published 2017
    Table of Contents: “… in organizations. - Autonomous robotic system for pipeline integrity inspection -- Interactive design of digital…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 10953
    Friction Stir Welding and Processing IX
    Published 2017
    Table of Contents: “… during robotic Friction Stir Welding of aluminium alloys with reduced tool aspect ratios -- Part 8…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 10954
    Clinical Anesthesia Near Misses and Lessons Learned /
    by Brock-Utne, John G.
    Published 2017
    Table of Contents: “… Patient -- A Near Tragedy -- Robot-Assisted Surgery: A Word of Caution -- An Airway Emergency in an Out…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 10955
    Friction Stir Welding and Processing X
    Published 2019
    Table of Contents: “… during robotic Friction Stir Welding of aluminium alloys with reduced tool aspect ratios -- Part 8…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 10956
    Electronic Healthcare Second International ICST Conference, eHealth 2009, Istanbul, Turkey, September 23-15, 2009, Revised Selected Papers /
    Published 2010
    Table of Contents: “…Session 1: Telehealth and Mobile Health Solutions -- Model Checking for Robotic Guided Surgery…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 10957
    Dynamics, Games and Science II DYNA 2008, in Honor of Maurício Peixoto and David Rand, University of Minho, Braga, Portugal, September 8-12, 2008 /
    Published 2011
    Table of Contents: “… -- 47 Fractional Control of Legged Robots -- 48 Evolutionary Dynamics of the Spatial Prisoner’s Dilemma…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 10958
    Applications of Mathematics and Informatics in Science and Engineering
    Published 2014
    Table of Contents: “…) -- A Control Scheme Toward Accurate Firing While Moving for a Mobile Robotic Weapon System with Delayed…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 10959
    Distributed Computing 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007. Proceedings /
    Published 2007
    Table of Contents: “… Complexity of Indulgent Consensus -- Gathering Autonomous Mobile Robots with Dynamic Compasses: An Optimal…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 10960
    Distributed, Ambient and Pervasive Interactions 7th International Conference, DAPI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings /
    Published 2019
    Table of Contents: “…-following Outdoor Security Mobile Robot -- Designing Mobile and IoT Solutions for Sustainable Smart Cities…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search