↓ Skip to main content

Towards formal modelling of autonomous systems

Overview of attention for book
Cover of 'Towards formal modelling of autonomous systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Touchless Target Selection Techniques for Wearable Augmented Reality Systems
  3. Altmetric Badge
    Chapter 2 Improving User Experience of Cultural Environment Through IoT: The Beauty or the Truth Case Study
  4. Altmetric Badge
    Chapter 3 A Multimedia Summarizer Integrating Text and Images
  5. Altmetric Badge
    Chapter 4 c-Space: A Mobile Framework for the Visualization of Spatial-Temporal 3D Models
  6. Altmetric Badge
    Chapter 5 The Method to Verify Facial Shape Model
  7. Altmetric Badge
    Chapter 6 Effective Visualization of a Big Data Banking Application
  8. Altmetric Badge
    Chapter 7 A Study About the Comprehensibility of Pictograms for Order Picking Processes with Disabled People and People with Altered Performance
  9. Altmetric Badge
    Chapter 8 Mining Popular Travel Routes from Social Network Geo-Tagged Data
  10. Altmetric Badge
    Chapter 9 Enhancing Workspace Composition by Exploiting Linked Open Data as a Polymorphic Data Source
  11. Altmetric Badge
    Chapter 10 Benjamin Franklin’s Decision Method is Acceptable and Helpful with a Conversational Agent
  12. Altmetric Badge
    Chapter 11 Towards Model-Driven Assessment of Clinical Processes
  13. Altmetric Badge
    Chapter 12 A Monitoring System for the Recognition of Sleeping Disorders in Patients with Cognitive Impairment Disease
  14. Altmetric Badge
    Chapter 13 Mersenne-Walsh Matrices for Image Processing
  15. Altmetric Badge
    Chapter 14 Frequency Characteristics for Video Sequences Processing
  16. Altmetric Badge
    Chapter 15 Expansion of the Quasi-Orthogonal Basis to Mask Images
  17. Altmetric Badge
    Chapter 16 Performance Analysis of Prediction Methods for Lossless Image Compression
  18. Altmetric Badge
    Chapter 17 Non-stationary Correlation Noise Modeling for Transform Domain Wyner-Ziv Video Coding
  19. Altmetric Badge
    Chapter 18 Fusion of Airborne LiDAR and Digital Photography Data for Tree Crowns Segmentation and Measurement
  20. Altmetric Badge
    Chapter 19 Digital Gray-Scale Watermarking Based on Biometrics
  21. Altmetric Badge
    Chapter 20 New Non-intrusive Speech Quality Assessment Algorithm for Wireless Networks
  22. Altmetric Badge
    Chapter 21 Block-Permutation LDPC Codes for Distributed Storage Systems
  23. Altmetric Badge
    Chapter 22 Estimation of the Mean Message Delay for Transport Coding
  24. Altmetric Badge
    Chapter 23 Sustainable Flat Ride Suspension Design
  25. Altmetric Badge
    Chapter 24 Better Road Design for Autonomous Vehicles Using Clothoids
  26. Altmetric Badge
    Chapter 25 Towards Formal Modelling of Autonomous Systems
  27. Altmetric Badge
    Chapter 26 Developing a Navigation System for Mobile Robots
  28. Altmetric Badge
    Chapter 27 Experimental Flight Test for Autonomous Station-Keeping of a Lighter-Than-Air Vehicle
  29. Altmetric Badge
    Chapter 28 Experimental Evaluation of Multi-key Content-Based Image Retrieval
  30. Altmetric Badge
    Chapter 29 A Simple Medium Access Scheme Based on Spread Spectrum Suitable for Wireless Ad Hoc Networks
  31. Altmetric Badge
    Chapter 30 Implementation of Tree-Based Data Collection Scheme for Arduino-Compatible Board
  32. Altmetric Badge
    Chapter 31 Analysis of Driving Behaviors at Roundabout Intersections by Using Driving Simulator
  33. Altmetric Badge
    Chapter 32 Is Experience of Novel Reading Useful to Compose Technical Papers?
  34. Altmetric Badge
    Chapter 33 A Movement Algorithm for Evacuee Agents in Disaster Simulators: Towards the Development of Evacuation Guidance Systems Based on Ant Colony Systems Using MANET
Overall attention for this book and its chapters
Altmetric Badge

Citations

dimensions_citation
8 Dimensions

Readers on

mendeley
88 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Towards formal modelling of autonomous systems
Published by
Springer International Publishing, August 2015
DOI 10.1007/978-3-319-19830-9
ISBNs
978-3-31-919830-9, 978-3-31-919829-3, 978-3-31-938642-3
Authors

Spichkova, M

Editors

Damiani, Ernesto, Howlett, Robert J., Jain, Lakhmi C., Gallo, Luigi, De Pietro, Giuseppe

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 88 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 88 100%

Demographic breakdown

Readers by professional status Count As %
Student > Doctoral Student 1 1%
Student > Ph. D. Student 1 1%
Researcher 1 1%
Student > Master 1 1%
Unknown 84 95%
Readers by discipline Count As %
Engineering 2 2%
Unknown 86 98%