Knowledge Graph-Based Methods for Automated Driving Paperback from other stores

• -10%
  Knowledge Graph-Based Methods ...

  The global race to develop and deploy automated vehicles is still hindered by ... The global race to develop and deploy automated vehicles is still hindered by significant challenges with the related complexities requiring multidisciplinary research approaches. Knowledge Graph-Based Methods for Automated Driving offers... more

  Details
  

  $230.00 $206.90 Delivery: See Store Go to store
• -53%
  Automated Technology for Verif...

  This book constitutes the refereed proceedings of the 5th International Sympos... This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to... more

  Details
  

  $139.00 $65.44 Free Delivery Go to store
• -40%
  Match-Bounded String Rewriting...

  We introduce a new class of automated proof methods for the termination of rew... We introduce a new class of automated proof methods for the termination of rewriting systems on strings. The basis of all these methods is to show that rewriting preserves regular languages. To this end letters are annotated with natural numbers... more

  Details
  

  $24.49 $14.75 Delivery: $5.99 Go to store