Rakuten Kobo

Panier

Article(s) non disponible(s) à la vente

Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.

articlesarticle

- Accès illimité aux eBooks
  
  Accès illimité aux livres audio
  
  Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions
  
  Obtenez 1 crédit chaque mois pour le livre audio de votre choix
  
  Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions
  
  Accès illimité aux eBooks
  
  Accès illimité aux livres audio
  
  Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions
  Livre audio
  par ,
  
  Disponible:
  
  . Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions.
  
  Précommander
  1 livre audio par mois
  
  + Essai GRATUIT de 30 jours
  
  Offre spéciale
  
  Obtenez 1 crédit chaque mois pour un livre audio de votre choix
  
  * Aucun engagement. Résiliez votre abonnement à tout moment.
  
  GRATUIT

articlesarticle

Accès illimité aux eBooks

Accès illimité aux livres audio

Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions

Obtenez 1 crédit chaque mois pour le livre audio de votre choix

Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions

Accès illimité aux eBooks

Accès illimité aux livres audio

Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions
Livre audio
par ,

Disponible:
. Aucun engagement, annulez à tout moment à kobo.com/account/subscriptions.

Précommander
1 livre audio par mois

+ Essai GRATUIT de 30 jours

Offre spéciale

Obtenez 1 crédit chaque mois pour un livre audio de votre choix

* Aucun engagement. Résiliez votre abonnement à tout moment.

GRATUIT

Recommandé pour vous

Skip side bar filters

Industrial and Engineering Applications or Artificial Intelligence and Expert Systems

Modifié par Takushi Tanaka, Setsuo Ohsuga, Ali Moonis ...

This volume includes the proceedings from Proceedings of the Ninth International Conference Fukuoka, Japan, June 4-7, 1996. This work represents a broad spectrum of new ideas in the field of applied artificial intelligence and expert systems, and serves to disseminate information regarding intelligent methodologies and their implementation in solving various problems in industry and engineering. ... En savoir plus

$515.32 CAD

This volume includes the proceedings from Proceedings of the Ninth International Conference Fukuoka, Japan, June 4-7, 1996. This work represents a broad spectrum of new ideas in the field of applied artificial intelligence and expert systems, and serves to disseminate information regarding intelligent methodologies and their implementation in solving various problems in industry and engineering.
... En savoir plus

Computer Aided Verification

32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Modifié par Shuvendu K. Lahiri, Chao Wang ...

Collections Livre 2 - Springer Nature Proceedings Computer Science
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical ... En savoir plus

Gratuit

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical
... En savoir plus
Computer Aided Verification

33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

Modifié par Alexandra Silva, K. Rustan M. Leino ...

Collections Livre 1 - Springer Nature Proceedings Computer Science
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part ... En savoir plus

Gratuit

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part
... En savoir plus
Artificial Intelligence Methods For Software Engineering

par Meir Kalech, Rui Abreu, Mark Last ...

Software is an integral part of our lives today. Modern software systems are highly complex and often pose new challenges in different aspects of Software Engineering (SE).Artificial Intelligence (AI) is a growing field in computer science that has been proven effective in applying and developing AI techniques to address various SE challenges.This unique compendium covers applications of state-of ... En savoir plus

$138.99 CAD

Software is an integral part of our lives today. Modern software systems are highly complex and often pose new challenges in different aspects of Software Engineering (SE).Artificial Intelligence (AI) is a growing field in computer science that has been proven effective in applying and developing AI techniques to address various SE challenges.This unique compendium covers applications of state-of
... En savoir plus
Cyber Physical Systems. Design, Modeling, and Evaluation

5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings

Modifié par Mohammad Reza Mousavi, Christian Berger ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 5th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2015, held as part of ESWeek 2015, in Amsterdam, The Netherlands, in October 2015.The 10 papers presented in this volume were carefully reviewed and selected from 13 submissions. They broadly interpret, from a diverse set of disciplines, the modeling, ... En savoir plus

$51.29 CAD

This book constitutes the proceedings of the 5th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2015, held as part of ESWeek 2015, in Amsterdam, The Netherlands, in October 2015.The 10 papers presented in this volume were carefully reviewed and selected from 13 submissions. They broadly interpret, from a diverse set of disciplines, the modeling,
... En savoir plus
Handbook On Reasoning-based Intelligent Systems, The

par Kazumi Nakamatsu, Lakhmi C Jain ...

This book consists of various contributions in conjunction with the keywords “reasoning” and “intelligent systems”, which widely covers theoretical to practical aspects of intelligent systems. Therefore, it is suitable for researchers or graduate students who want to study intelligent systems generally. ... En savoir plus

$104.99 CAD

This book consists of various contributions in conjunction with the keywords “reasoning” and “intelligent systems”, which widely covers theoretical to practical aspects of intelligent systems. Therefore, it is suitable for researchers or graduate students who want to study intelligent systems generally.
... En savoir plus
Intelligent Automation and Computer Engineering

Modifié par Oscar Castillo, He Huang ...

Collections series Engineering (R0)
A large international conference in Intelligent Automation and Computer Engineering was held in Hong Kong, March 18-20, 2009, under the auspices of the International MultiConference of Engineers and Computer Scientists (IMECS 2009). The IMECS is organized by the International Association of Engineers (IAENG). Intelligent Automation and Computer Engineering contains 37 revised and extended research ... En savoir plus

$256.19 CAD

A large international conference in Intelligent Automation and Computer Engineering was held in Hong Kong, March 18-20, 2009, under the auspices of the International MultiConference of Engineers and Computer Scientists (IMECS 2009). The IMECS is organized by the International Association of Engineers (IAENG). Intelligent Automation and Computer Engineering contains 37 revised and extended research
... En savoir plus
Encyclopedia of Computer Science and Technology

Volume 39 - Supplement 24 - Entity Identification to Virtual Reality in Driving Simulation

Modifié par Allen Kent, James G. Williams ...

Collections series Computer Science and Technology Encyclopedia
Volume 39 - Supplement 24 - Entity Identification to Virtual Reality in Driving Simulation. Covering more than basic computer commands and procedures, this encyclopaedia summarizes how technology has developed, the future of computer programs and applications, and the significance of computer components. Following an introduction and overview, there are approximately 750 to 800 entries. ... En savoir plus

$79.69 CAD

Volume 39 - Supplement 24 - Entity Identification to Virtual Reality in Driving Simulation. Covering more than basic computer commands and procedures, this encyclopaedia summarizes how technology has developed, the future of computer programs and applications, and the significance of computer components. Following an introduction and overview, there are approximately 750 to 800 entries.
... En savoir plus
AI 2017: Advances in Artificial Intelligence

30th Australasian Joint Conference, Melbourne, VIC, Australia, August 19–20, 2017, Proceedings

Modifié par Wei Peng, Damminda Alahakoon, Xiaodong Li ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 30th Australasian Joint Conference on Artificial Intelligence, AI 2017, held in Melbourne, VIC, Australia, in August 2017.The 29 full papers were carefully reviewed and selected from 58 submissions. This volume covers a wide spectrum of research streams in artiﬁcial intelligence ranging from machine learning, optimization to big data science ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 30th Australasian Joint Conference on Artificial Intelligence, AI 2017, held in Melbourne, VIC, Australia, in August 2017.The 29 full papers were carefully reviewed and selected from 58 submissions. This volume covers a wide spectrum of research streams in artiﬁcial intelligence ranging from machine learning, optimization to big data science
... En savoir plus
Formal Techniques for Safety-Critical Systems

5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Modifié par Cyrille Artho, Peter Csaba Ölveczky ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification;
... En savoir plus
Advances in Intelligent Data Analysis XVII

17th International Symposium, IDA 2018, ’s-Hertogenbosch, The Netherlands, October 24–26, 2018, Proceedings

Modifié par Wouter Duivesteijn, Arno Siebes, Antti Ukkonen ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the conference proceedings of the 17th International Symposium on Intelligent Data Analysis, which was held in October 2018 in ‘s-Hertogenbosch, the Netherlands. The traditional focus of the IDA symposium series is on end-to-end intelligent support for data analysis. The 29 full papers presented in this book were carefully reviewed and selected from 65 submissions. The papers ... En savoir plus

$64.99 CAD

This book constitutes the conference proceedings of the 17th International Symposium on Intelligent Data Analysis, which was held in October 2018 in ‘s-Hertogenbosch, the Netherlands. The traditional focus of the IDA symposium series is on end-to-end intelligent support for data analysis. The 29 full papers presented in this book were carefully reviewed and selected from 65 submissions. The papers
... En savoir plus
Plan, Activity, and Intent Recognition

Theory and Practice

Modifié par Gita Sukthankar, Christopher Geib, David Pynadath, Robert P. Goldman, Hung Hai Bui ...

Plan recognition, activity recognition, and intent recognition together combine and unify techniques from user modeling, machine vision, intelligent user interfaces, human/computer interaction, autonomous and multi-agent systems, natural language understanding, and machine learning. Plan, Activity, and Intent Recognition explains the crucial role of these techniques in a wide variety of ... En savoir plus

$106.99 CAD

Plan recognition, activity recognition, and intent recognition together combine and unify techniques from user modeling, machine vision, intelligent user interfaces, human/computer interaction, autonomous and multi-agent systems, natural language understanding, and machine learning. Plan, Activity, and Intent Recognition explains the crucial role of these techniques in a wide variety of
... En savoir plus

Kobo Rakuten

Liseuses

Applis

Accessoires

Qu'est ce que les Kobo Super Points ?

Faites-vous plaisir

Panier

Vous profitez des avantages réservés aux VIP !

Votre panier est vide

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Recommandé pour vous

« setsuo ohsuga »

Industrial and Engineering Applications or Artificial Intelligence and Expert Systems

Les lecteurs de ce roman ont aussi aimé

Computer Aided Verification

Computer Aided Verification

Artificial Intelligence Methods For Software Engineering

Cyber Physical Systems. Design, Modeling, and Evaluation

Handbook On Reasoning-based Intelligent Systems, The

Intelligent Automation and Computer Engineering

Encyclopedia of Computer Science and Technology

AI 2017: Advances in Artificial Intelligence

Formal Techniques for Safety-Critical Systems

Advances in Intelligent Data Analysis XVII

Plan, Activity, and Intent Recognition

Liseuses

Applis

Accessoires

Panier

Vous profitez des avantages réservés aux VIP !

Votre panier est vide

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Recommandé pour vous

« setsuo ohsuga »

Afficher :

Les lecteurs de ce roman ont aussi aimé