[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 530 || Bifinite domains: Stable case
- 作者Pitt, David H.; Curien, Pierre-Louis; Abramsky, Samson; Pitts, Andrew M.; Poigné, Axel; Rydeheard, David E.
- 文件大小1331.71KB
- 发表时间1991
- DOI10.1007/BFb0013454
- 页码16-33
[Lecture Notes in Electrical Engineering] Computational Science and Technology Volume 481 (5th ICCST 2018, Kota Kinabalu, Malaysia, 29-30 August 2018) || Autonomous Road Potholes Detection on VideoAlfred, Rayner; Lim, Yuto; Ibrahim, Ag Asri Ag; Anthony, Patricia · 2019
[Lecture Notes in Electrical Engineering] Computational Science and Technology Volume 481 (5th ICCST 2018, Kota Kinabalu, Malaysia, 29-30 August 2018) || A Review on Agent Communication LanguageAlfred, Rayner; Lim, Yuto; Ibrahim, Ag Asri Ag; Anthony, Patricia · 2019
[Lecture Notes in Electrical Engineering] Computational Science and Technology Volume 481 (5th ICCST 2018, Kota Kinabalu, Malaysia, 29-30 August 2018) || Automatic Classification and Retrieval of Brain HemorrhagesAlfred, Rayner; Lim, Yuto; Ibrahim, Ag Asri Ag; Anthony, Patricia · 2019
[Lecture Notes in Electrical Engineering] Computational Science and Technology Volume 481 (5th ICCST 2018, Kota Kinabalu, Malaysia, 29-30 August 2018) || Towards Stemming Error Reduction for Malay TextsAlfred, Rayner; Lim, Yuto; Ibrahim, Ag Asri Ag; Anthony, Patricia · 2019
[Lecture Notes in Electrical Engineering] Computational Science and Technology Volume 481 (5th ICCST 2018, Kota Kinabalu, Malaysia, 29-30 August 2018) || User Profiling in Anomaly Detection of Authorization LogsAlfred, Rayner; Lim, Yuto; Ibrahim, Ag Asri Ag; Anthony, Patricia · 2019
[Lecture Notes in Electrical Engineering] Computational Science and Technology Volume 481 (5th ICCST 2018, Kota Kinabalu, Malaysia, 29-30 August 2018) || 3D Face Recognition using Kernel-based PCA ApproachAlfred, Rayner; Lim, Yuto; Ibrahim, Ag Asri Ag; Anthony, Patricia · 2019
[Lecture Notes in Electrical Engineering] Computational Science and Technology Volume 481 (5th ICCST 2018, Kota Kinabalu, Malaysia, 29-30 August 2018) || Smart Verification Algorithm for IoT Applications using QR TagAlfred, Rayner; Lim, Yuto; Ibrahim, Ag Asri Ag; Anthony, Patricia · 2019
[Lecture Notes in Electrical Engineering] Computational Science and Technology Volume 481 (5th ICCST 2018, Kota Kinabalu, Malaysia, 29-30 August 2018) || A Review on Recognition-Based Graphical Password TechniquesAlfred, Rayner; Lim, Yuto; Ibrahim, Ag Asri Ag; Anthony, Patricia · 2019