0
Your cart

Your cart is empty

Browse All Departments
Price
  • R100 - R250 (4)
  • R250 - R500 (19)
  • R500+ (1,650)
  • -
Status
Format
Author / Contributor
Publisher

Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems

Large-Scale Scientific Computing - 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised... Large-Scale Scientific Computing - 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers (Paperback, 1st ed. 2018)
Ivan Lirkov, Svetozar Margenov
R3,192 Discovery Miles 31 920 Ships in 10 - 15 working days

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Large-Scale Scientific Computations, LSSC 2017, held in Sozopol, Bulgaria, in June 2017. The 63 revised short papers together with 3 full papers presented were carefully reviewed and selected from 63 submissions. The conference presents results from the following topics: Hierarchical, adaptive, domain decomposition and local refinement methods; Robust preconditioning algorithms; Monte Carlo methods and algorithms; Numerical linear algebra; Control and optimization; Parallel algorithms and performance analysis; Large-scale computations of environmental, biomedical and engineering problems. The chapter 'Parallel Aggregation Based on Compatible Weighted Matching for AMG' is available open access under a CC BY 4.0 license.

Communication Technologies for Vehicles - 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain,... Communication Technologies for Vehicles - 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018, Proceedings (Paperback, 1st ed. 2018)
Juan Moreno Garcia-Loygorri, Antonio Perez-Yuste, Cesar Briso, Marion Berbineau, Alain Pirovano, …
R3,384 Discovery Miles 33 840 Ships in 10 - 15 working days

This book constitutes the proceedings of the 13th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, held in Madrid, Spain, in May 2018. The 17 full papers presented together with 2 demo papers in this volume were carefully reviewed and selected from numerous submissions. The volume features contributions in the theory or practice of intelligent transportation systems (ITS) and communication technologies for: - Vehicles on road: e.g. cars, tracks and buses; - Air: e.g. aircraft and unmanned aerial vehicles; and - Rail: e.g. trains, metros and trams.

Advances in Practical Applications of Cyber-Physical Multi-Agent Systems: The PAAMS Collection - 15th International Conference,... Advances in Practical Applications of Cyber-Physical Multi-Agent Systems: The PAAMS Collection - 15th International Conference, PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings (Paperback, 1st ed. 2017)
Yves Demazeau, Paul Davidsson, Javier Bajo, Zita Vale
R2,595 Discovery Miles 25 950 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 15th International Conference on Practical Applications of Scalable Multi-Agent Systems, PAAMS 2017, held in Porto, Portugal, in June 2017. The 11 revised full papers, 11 short papers, and 17 Demo papers were carefully reviewed and selected from 63 submissions. The papers report on the application and validation of agent-based models, methods, and technologies in a number of key application areas, including day life and real world, energy and networks, human and trust, markets and bids, models and tools, negotiation and conversation, scalability and resources.

Universal Access in Human-Computer Interaction. Design and Development Approaches and Methods - 11th International Conference,... Universal Access in Human-Computer Interaction. Design and Development Approaches and Methods - 11th International Conference, UAHCI 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I (Paperback, 1st ed. 2017)
Margherita Antona, Constantine Stephanidis
R3,192 Discovery Miles 31 920 Ships in 10 - 15 working days

The three-volume set LNCS 10277-10279 constitutes the refereed proceedings of the11th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, in Vancouver, BC, Canada in July 2017, jointly with 14 other thematically similar conferences. The total of 1228 papers presented at the HCII 2017 conferences were carefully reviewed and selected from 4340 submissions. The papers included in the three UAHCI 2017 volumes address the following major topics: Design for All Methods and Practice; Accessibility and Usability Guidelines and Evaluation; User and Context Modelling and Monitoring and Interaction Adaptation; Design for Children; Sign Language Processing; Universal Access to Virtual and Augmented Reality; Non Visual and Tactile Interaction; Gesture and Gaze-Based Interaction; Universal Access to Health and Rehabilitation; Universal Access to Education and Learning; Universal Access to Mobility; Universal Access to Information and Media; and Design for Quality of Life Technologies.

Universal Access in Human-Computer Interaction. Designing Novel Interactions - 11th International Conference, UAHCI 2017, Held... Universal Access in Human-Computer Interaction. Designing Novel Interactions - 11th International Conference, UAHCI 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II (Paperback, 1st ed. 2017)
Margherita Antona, Constantine Stephanidis
R2,905 Discovery Miles 29 050 Ships in 10 - 15 working days

The three-volume set LNCS 10277-10279 constitutes the refereed proceedings of the11th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, in Vancouver, BC, Canada in July 2017, jointly with 14 other thematically similar conferences. The total of 1228 papers presented at the HCII 2017 conferences were carefully reviewed and selected from 4340 submissions. The papers included in the three UAHCI 2017 volumes address the following major topics: Design for All Methods and Practice; Accessibility and Usability Guidelines and Evaluation; User and Context Modelling and Monitoring and Interaction Adaptation; Design for Children; Sign Language Processing; Universal Access to Virtual and Augmented Reality; Non Visual and Tactile Interaction; Gesture and Gaze-Based Interaction; Universal Access to Health and Rehabilitation; Universal Access to Education and Learning; Universal Access to Mobility; Universal Access to Information and Media; and Design for Quality of Life Technologies.

Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management: Health and Safety - 8th International... Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management: Health and Safety - 8th International Conference, DHM 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II (Paperback, 1st ed. 2017)
Vincent G. Duffy
R2,790 Discovery Miles 27 900 Ships in 10 - 15 working days

The two-volume set LNCS 10286 + 10287 constitutes the refereed proceedings of the 8th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management, DHM 2017, held as part of HCI International 2017 in Vancouver, BC, Canada. HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful reviewing process. The 75 papers presented in these volumes were organized in topical sections as follows: Part I: anthropometry, ergonomics, design and comfort; human body and motion modelling; smart human-centered service system design; and human-robot interaction. Part II: clinical and health information systems; health and aging; health data analytics and visualization; and design for safety.

Applications of Evolutionary Computation - 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018,... Applications of Evolutionary Computation - 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings (Paperback, 1st ed. 2018)
Kevin Sim, Paul Kaufmann
R1,710 Discovery Miles 17 100 Ships in 10 - 15 working days

This book constitutes the refereed conference proceedings of the 21st International Conference on the Applications of Evolutionary Computation, EvoApplications 2018, held in Parma, Italy, in April 2018, collocated with the Evo* 2018 events EuroGP, EvoCOP, and EvoMUSART.The 59 revised full papers presented were carefully reviewed and selected from 84 submissions. EvoApplications 2018 combined research from 14 different domains: business analytics and finance (EvoBAFIN); computational biology (EvoBIO); communication networks and other parallel and distributed systems (EvoCOMNET); complex systems (EvoCOMPLEX); energy-related optimization (EvoENERGY); games and multi-agent systems (EvoGAMES); image analysis, signal processing and pattern recognition (EvoIASP); realworld industrial and commercial environments (EvoINDUSTRY); knowledge incorporation in evolutionary computation (EvoKNOW); continuous parameter optimization (EvoNUM); parallel architectures and distributed infrastructures (EvoPAR); evolutionary robotics (EvoROBOT); nature-inspired algorithms in software engineering and testing (EvoSET); and stochastic and dynamic environments (EvoSTOC).

Reliable Software Technologies - Ada-Europe 2017 - 22nd Ada-Europe International Conference on Reliable Software Technologies,... Reliable Software Technologies - Ada-Europe 2017 - 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings (Paperback, 1st ed. 2017)
Johann Blieberger, Markus Bader
R2,362 Discovery Miles 23 620 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017. The revised 15 full papers presented were carefully reviewed and selected from 37 submissions. They are organized in topical sections on runtimes, safety and security, timing verification, programming models, the future of safety-minded languages, mixed criticality.

End-User Development - 6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017, Proceedings... End-User Development - 6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017, Proceedings (Paperback, 1st ed. 2017)
Simone Barbosa, Panos Markopoulos, Fabio Paterno, Simone Stumpf, Stefano Valtolina
R2,055 Discovery Miles 20 550 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 6th International Symposium on End-User Development, IS-EUD 2017, held in Eindhoven, The Netherlands, in June 2017. The 10 full papers and 3 short papers presented were carefully reviewed and selected from 26 submissions. According to the theme of the conference "that was business, this is personal" the papers address the personal involvement and engagement of end-users, the application of end-user programming beyond the professional environment looking also at discretionary use of technologies. They also deal with topics covered by the broader area of end-user development such as domain specific tools, spreadsheets, and end user aspects.

Ambient Intelligence - 13th European Conference, AmI 2017, Malaga, Spain, April 26-28, 2017, Proceedings (Paperback, 1st ed.... Ambient Intelligence - 13th European Conference, AmI 2017, Malaga, Spain, April 26-28, 2017, Proceedings (Paperback, 1st ed. 2017)
Andreas Braun, Reiner Wichert, Antonio Mana
R2,308 Discovery Miles 23 080 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 13th European Conference on Ambient Intelligence, AmI 2017, held in Malaga, Spain, in April 2017. The 16 revised full papers presented together with 4 short papers and 1 keynote paper were carefully reviewed and selected from 48 submissions. The papers cover topics such as: Enabling technologies, methods and platforms; objectives and approaches of ambient intelligence and internet of things; from information design to interaction and experience design, and application areas of AmI and IoT.

Communication Technologies for Vehicles - 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse,... Communication Technologies for Vehicles - 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017, Proceedings (Paperback, 1st ed. 2017)
Alain Pirovano, Marion Berbineau, Alexey Vinel, Christophe Guerber, Damien Roque, …
R1,917 Discovery Miles 19 170 Ships in 10 - 15 working days

This book constitutes the proceedings of the 12th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, held in Toulouse, France, in May 2017. The 12 full papers presented together with 2 demo papers in this volumewere carefully reviewed and selected from 16 submissions. The volume features contributions in the theory or practice of intelligent transportation systems (ITS) and communication technologies for: Vehicles on road: e.g. cars, tracks and buses; Air: e.g. aircraft and unmanned aerial vehicles; and Rail: e.g. trains, metros and trams.

Human-Computer Interaction. User Interface Design, Development and Multimodality - 19th International Conference, HCI... Human-Computer Interaction. User Interface Design, Development and Multimodality - 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I (Paperback, 1st ed. 2017)
Masaaki Kurosu
R1,655 Discovery Miles 16 550 Ships in 10 - 15 working days

The two-volume set LNCS 10271 and 10272 constitutes the refereed proceedings of the 19th International Conference on Human-Computer Interaction, HCII 2017, held in Vancouver, BC, Canada, in July 2017. The total of 1228 papers presented at the 15 colocated HCII 2017 conferences was carefully reviewed and selected from 4340 submissions. The papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. They cover the entire field of Human-Computer Interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The papers included in this volume cover the following topics: HCI theory and education; HCI, innovation and technology acceptance; interaction design and evaluation methods; user interface development; methods, tools, and architectures; multimodal interaction; and emotions in HCI.

Applications of Evolutionary Computation - 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April... Applications of Evolutionary Computation - 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II (Paperback, 1st ed. 2017)
Giovanni Squillero, Kevin Sim
R1,521 Discovery Miles 15 210 Ships in 10 - 15 working days

The two volumes LNCS 10199 and 10200 constitute the refereed conference proceedings of the 20th European Conference on the Applications of Evolutionary Computation, EvoApplications 2017, held in Amsterdam, The Netherlands, in April 2017, colocated with the Evo* 2016 events EuroGP, EvoCOP, and EvoMUSART. The 46 revised full papers presented together with 26 poster papers were carefully reviewed and selected from 108 submissions. EvoApplications 2016 consisted of the following 13 tracks: EvoBAFIN (natural computing methods in business analytics and finance), EvoBIO (evolutionary computation, machine learning and data mining in computational biology), EvoCOMNET (nature-inspired techniques for telecommunication networks and other parallel and distributed systems), EvoCOMPLEX (evolutionary algorithms and complex systems), EvoENERGY (evolutionary computation in energy applications), EvoGAMES (bio-inspired algorithms in games), EvoIASP (evolutionary computation in image analysis, signal processing, and pattern recognition), EvoINDUSTRY (nature-inspired techniques in industrial settings), EvoKNOW (knowledge incorporation in evolutionary computation), EvoNUM (bio-inspired algorithms for continuous parameter optimization), EvoPAR (parallel implementation of evolutionary algorithms), EvoROBOT (evolutionary robotics), EvoSET (nature-inspired algorithms in software engineering and testing), and EvoSTOC (evolutionary algorithms in stochastic and dynamic environments).

Modeling and Using Context - 10th International and Interdisciplinary Conference, CONTEXT 2017, Paris, France, June 20-23,... Modeling and Using Context - 10th International and Interdisciplinary Conference, CONTEXT 2017, Paris, France, June 20-23, 2017, Proceedings (Paperback, 1st ed. 2017)
Patrick Brezillon, Roy Turner, Carlo Penco
R1,654 Discovery Miles 16 540 Ships in 10 - 15 working days

This book constitutes the proceedings of the 10th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2017, held in Paris, France, in June 2017. The 26 full papers and 15 short papers presented were carefully reviewed and selected from 88 submissions. The papers feature research in a wide range of disciplines related to issues of context and contextual knowledge and discuss commonalities across and differences between the disciplines' approaches to the study of context. They are organized in the following topical sections: context in representation; context modeling of human activities; context in communication; context awareness; and various specific topics.

Transactions on Edutainment XIII (Paperback, 1st ed. 2017): Zhigeng Pan, Adrian David Cheok, Wolfgang Muller, Mingmin Zhang Transactions on Edutainment XIII (Paperback, 1st ed. 2017)
Zhigeng Pan, Adrian David Cheok, Wolfgang Muller, Mingmin Zhang
R2,388 Discovery Miles 23 880 Ships in 10 - 15 working days

This journal subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, empirical investigations, state-of-the-art methods, and tools in all different genres of edutainment, such as game-based learning and serious games, interactive storytelling, virtual learning environments, VR-based education, and related fields. It covers aspects from educational and game theories, human-computer interaction, computer graphics, artificial intelligence, and systems design. The 25 papers presented in the 13th issue were organized in topical sections named: learning games and visualization; virtual reality and applications; 3D graphics technology, multimedia computing, and others.

Video Analytics. Face and Facial Expression Recognition and Audience Measurement - Third International Workshop, VAAM 2016, and... Video Analytics. Face and Facial Expression Recognition and Audience Measurement - Third International Workshop, VAAM 2016, and Second International Workshop, FFER 2016, Cancun, Mexico, December 4, 2016, Revised Selected Papers (Paperback, 1st ed. 2017)
Kamal Nasrollahi, Cosimo Distante, Gang Hua, Andrea Cavallaro, Thomas B. Moeslund, …
R1,975 Discovery Miles 19 750 Ships in 10 - 15 working days

This book constitutes the proceedings of the Third Workshop on Video Analytics for Audience Measurement, VAAM 2016, and the Second International Workshop on Face and Facial Expression Recognition from Real World Videos, FFER 2016, held at the 23rd International Conference on Pattern Recognition, ICPR 2016, in Cancun, Mexico, in December 2016. The 11 papers presented in this volume were carefully reviewed and selected from 13 submissions. They deal with: re-identification; consumer behavior analysis; utilizing pupillary response for task difficulty measurement; logo detection; saliency prediction; classification of facial expressions; face recognition; face verification; age estimation; super resolution; pose estimation; and pain recognition.

Electronic Voting - First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016, Proceedings... Electronic Voting - First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016, Proceedings (Paperback, 1st ed. 2017)
Robert Krimmer, Melanie Volkamer, Jordi Barrat, Josh Benaloh, Nicole Goodman, …
R2,170 Discovery Miles 21 700 Ships in 10 - 15 working days

This book constitutes the thoroughly refereed conference proceedings of the First International Joint Conference on Electronic Voting, E-Vote-ID 2016, held in Bregenz, Austria, in October 2016. The 14 full papers presented were carefully reviewed and selected from 57 submissions. They represent a wide range of technological proposals for different voting settings (be it in polling stations, remote voting or even mobile voting) and case studies from different countries already using electronic voting or having conducted first trial elections.

Passive and Active Measurement - 18th International Conference, PAM 2017, Sydney, NSW, Australia, March 30-31, 2017,... Passive and Active Measurement - 18th International Conference, PAM 2017, Sydney, NSW, Australia, March 30-31, 2017, Proceedings (Paperback, 1st ed. 2017)
Mohamed Ali Kaafar, Steve Uhlig, Johanna Amann
R2,331 Discovery Miles 23 310 Ships in 10 - 15 working days

This book constitutes the proceedings of the 18th International Conference on Passive and Active Measurement, PAM 2017, held in Sydney, Australia, in March 2017. The 20 full papers presented in this volume were carefully reviewed and selected from 87 submissions. They are organized in topical sections on IPv6, Web and applications, security, performance, latency, characterization and troubleshooting, and wireless.

Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September... Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings (Paperback, 1st ed. 2017)
Eugenio Oliveira, Joao Gama, Zita Vale, Henrique Lopes-Cardoso
R3,058 Discovery Miles 30 580 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 18th EPIA Conference on Artificial Intelligence, EPIA 2017, held in Porto, Portugal, in September 2017. The 69 revised full papers and 2 short papers presented were carefully reviewed and selected from a total of 177 submissions. The papers are organized in 16 tracks devoted to the following topics: agent-based modelling for criminological research (ABM4Crime), artificial intelligence in cyber-physical and distributed embedded systems (AICPDES), artificial intelligence in games (AIG), artificial intelligence in medicine (AIM), artificial intelligence in power and energy systems (AIPES), artificial intelligence in transportation systems (AITS), artificial life and evolutionary algorithms (ALEA), ambient intelligence and affective environments (AmIA), business applications of artificial intelligence (BAAI), intelligent robotics (IROBOT), knowledge discovery and business intelligence (KDBI), knowledge representation and reasoning (KRR), multi-agent systems: theory and applications (MASTA), software engineering for autonomous and intelligent systems (SE4AIS), social simulation and modelling (SSM), and text mining and applications (TeMA).

Computer Analysis of Images and Patterns - 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017,... Computer Analysis of Images and Patterns - 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part I (Paperback, 1st ed. 2017)
Michael Felsberg, Anders Heyden, Norbert Kruger
R3,324 Discovery Miles 33 240 Ships in 10 - 15 working days

The two volume set LNCS 10424 and 10425 constitutes the refereed proceedings of the 17th International Conference on Computer Analysis of Images and Patterns, CAIP 2017, held in Ystad, Sweden, in August 2017. The 72 papers presented were carefully reviewed and selected from 144 submissions The papers are organized in the following topical sections: Vision for Robotics; Motion and Tracking; Segmentation; Image/Video Indexing and Retrieval; Shape Representation and Analysis; Biomedical Image Analysis; Biometrics; Machine Learning; Image Restoration; and Poster Sessions.

Stabilization, Safety, and Security of Distributed Systems - 19th International Symposium, SSS 2017, Boston, MA, USA, November... Stabilization, Safety, and Security of Distributed Systems - 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings (Paperback, 1st ed. 2017)
Paul Spirakis, Philippas Tsigas
R2,939 Discovery Miles 29 390 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2017, held in Boston, MA, USA, in November 2017. The 29 revised full papers presented together with 8 revised short papers were carefully reviewed and selected from 68 initial submissions. This year the Symposium was organized into three tracks reflecting major trends related to self-* systems: Stabilizing Systems: Theory and Practice: Distributed Computing and Communication Networks; and Computer Security and Information Privacy.

Virtual Reality and Mixed Reality - 19th EuroXR International Conference, EuroXR 2022, Stuttgart, Germany, September 14-16,... Virtual Reality and Mixed Reality - 19th EuroXR International Conference, EuroXR 2022, Stuttgart, Germany, September 14-16, 2022, Proceedings (Paperback, 1st ed. 2022)
Gabriel Zachmann, Mariano Alcaniz Raya, Partrick Bourdot, Maud Marchal, Jeanine Stefanucci, …
R1,362 Discovery Miles 13 620 Ships in 12 - 19 working days

This book constitutes the refereed proceedings of the 19th International Conference on Virtual Reality and Mixed Reality, EuroXR 2022, held in Stuttgart, Germany, in September 2022.The 6 full and 2 short papers were carefully reviewed and selected from 37 submissions. The conference presents contributions on results and insights in Virtual Reality (VR), Augmented Reality (AR), and Mixed Reality (MR), commonly referred to under the umbrella of Extended Reality (XR), including software systems, immersive rendering technologies, 3D user interfaces, and applications.

Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for... Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings (Paperback, 1st ed. 2017)
Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
R2,193 Discovery Miles 21 930 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and autonomous robots; and Modeling and analysis techniques.

Cooperative Design, Visualization, and Engineering - 14th International Conference, CDVE 2017, Mallorca, Spain, September... Cooperative Design, Visualization, and Engineering - 14th International Conference, CDVE 2017, Mallorca, Spain, September 17-20, 2017, Proceedings (Paperback, 1st ed. 2017)
Yuhua Luo
R2,365 Discovery Miles 23 650 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 14th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2017, held in Mallorca, Spain, in September 2017. The 31 full papers presented in this book together with 4 short papers were carefully reviewed and selected from 84 submissions. The papers cover a broad range of topics in the field of cooperative visualization; cooperative design; cooperative engineering; basic theories, methods and technologies that support CDVE; and cooperative applications.

Enhanced Quality of Life and Smart Living - 15th International Conference, ICOST 2017, Paris, France, August 29-31, 2017,... Enhanced Quality of Life and Smart Living - 15th International Conference, ICOST 2017, Paris, France, August 29-31, 2017, Proceedings (Paperback, 1st ed. 2017)
Mounir Mokhtari, Bessam Abdulrazak, Hamdi Aloulou
R2,296 Discovery Miles 22 960 Ships in 10 - 15 working days

This book constitutes the proceedings of the 15th International Conference on Smart Homes and Health Telematics, ICOST 2017, held in Paris, France, in August 2017. The 18 regular papers, 5 short papers together with 2 invited talks included in this volume were carefully reviewed and selected from numerous submissions. The conference features a dynamic program incorporating a range of design, development, deployment and evaluation of Smart Urban Environments, Assistive Technologies, Chronic Disease Management, Coaching and Health Telematics systems.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Mem-elements for Neuromorphic Circuits…
Christos Volos, Viet-Thanh Pham Paperback R3,838 Discovery Miles 38 380
Artificial Intelligence for Neurological…
Ajith Abraham, Sujata Dash, … Paperback R4,171 Discovery Miles 41 710
Stochastic Optimal Control of Structures
Yongbo Peng, Jie Li Hardcover R2,916 Discovery Miles 29 160
Operator Theory and Related Topics…
V.M. Adamyan, Israel Gohberg, … Hardcover R4,448 Discovery Miles 44 480
Temporal Data Mining via Unsupervised…
Yun Yang Paperback R1,242 Discovery Miles 12 420
Handbook of Research on Cyber Security…
Jena Om Prakash, H L Gururaj, … Hardcover R6,432 Discovery Miles 64 320
Unmanned Aerial Vehicles and…
Bella Mary I. Thusnavis, K Martin Sagayam, … Hardcover R7,243 Discovery Miles 72 430
Active Control of Vibration
Christopher C. Fuller, S.J. Elliott, … Paperback R2,664 R2,509 Discovery Miles 25 090
Mathematical Methods for Knowledge…
Giovanni Felici, Carlo Vercellis Hardcover R5,020 Discovery Miles 50 200
Number Theory and Combinatorics - A…
Bruce M. Landman, Florian Luca, … Hardcover R5,799 Discovery Miles 57 990

 

Partners