Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge

Subjects: [INFO]Computer Science [cs]Krakow; Poland

  • Source: Lecture Notes in Computer Science ; 4th Central and East European Conference on Software Engineering Techniques (CEESET) ; https://hal.inria.fr/hal-01527383 ; 4th Central and East European Conference

تفاصيل العنوان

×
Conference

Image Restoration Using Anisotropic Stochastic Diffusion Collaborated with Non Local Means

Subjects: stochastic anisotropic diffusion; non local means; [INFO]Computer Science [cs]Krakow; Poland

  • Source: Lecture Notes in Computer Science ; 12th International Conference on Information Systems and Industrial Management (CISIM) ; https://hal.inria.fr/hal-01496064 ; 12th International Conference on

تفاصيل العنوان

×
Conference

ICT History Study as Corporate Philanthropy in Latvia

Subjects: ICT history; Philanthropy; SponsorshipPoznan; Poland

  • Source: IFIP Advances in Information and Communication Technology ; IFIP International Conference on the History of Computing (HC) ; https://hal.inria.fr/hal-02386541 ; IFIP International Conference on the

تفاصيل العنوان

×
  • 1-10 ل  79 نتائج ل ""Institute of Mathematics""