Søkt på: Søkeresultat
totalt 10 treff
Hybrid Systems III
This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in …
Genetic and Evolutionary Computation — GECCO 2003
These proceedings contain the papers presented at the 5th Annual Genetic and EvolutionaryComputationConference(GECCO2003).Theconferencewasheld in Chicago, USA, July 12-16, 2003. A …
Document Analysis and Recognition - ICDAR 2023
This six-volume set of LNCS 14187, 14188, 14189, 14190, 14191 and 14192 constitutes the refereed proceedings of the 17th International Conference on Document Analysis and …
Document Analysis and Recognition - ICDAR 2023
This six-volume set of LNCS 14187, 14188, 14189, 14190, 14191 and 14192 constitutes the refereed proceedings of the 17th International Conference on Document Analysis and …
OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis
This book constitutes the refereed joint proceedings of the First International Workshop on OR 2.0 Context-Aware Operating Theaters, OR 2.0 2018, 5th International Workshop on …
Document Analysis and Recognition - ICDAR 2023
This six-volume set of LNCS 14187, 14188, 14189, 14190, 14191 and 14192 constitutes the refereed proceedings of the 17th International Conference on Document Analysis and …
Document Analysis and Recognition - ICDAR 2023
This six-volume set of LNCS 14187, 14188, 14189, 14190, 14191 and 14192 constitutes the refereed proceedings of the 17th International Conference on Document Analysis and …
Computer Aided Verification
ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Boston,Massachusetts,USA, July13-17,2004.CAV 2004 was the 16th in a series of …
Document Analysis and Recognition - ICDAR 2023
This six-volume set of LNCS 14187, 14188, 14189, 14190, 14191 and 14192 constitutes the refereed proceedings of the 17th International Conference on Document Analysis and …
Document Analysis and Recognition - ICDAR 2023
This six-volume set of LNCS 14187, 14188, 14189, 14190, 14191 and 14192 constitutes the refereed proceedings of the 17th International Conference on Document Analysis and …