[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || The RAISE specification language a tutorial
- 作者Prehn, Søren; Toetenel, Hans
- 文件大小3574.29KB
- 发表时间1991
- DOI10.1007/BFb0019998
- 页码238-319
[Advances in Intelligent Systems and Computing] Advances in Intelligent Control Systems and Computer Science Volume 187 || Re-scheduling Service for Distributed SystemsDumitrache, Loan · 2013
[Advances in Intelligent Systems and Computing] Advances in Artificial Intelligence, Software and Systems Engineering Volume 787 || Re-defining the Role of Artificial Intelligence (AI) in Wiser Service SystemsAhram, Tareq Z. · 2019
[Advances in Intelligent Systems and Computing] Recent Advances in Information Systems and Technologies Volume 569 || Business Process Simulation Models: The (Re)Use of Simulation ComponentsRocha, Álvaro; Correia, Ana Maria; Adeli, Hojjat; Reis, Luís Paulo; Costanzo, Sandra · 2017
[Advances in Intelligent Systems and Computing] Knowledge and Systems Engineering Volume 326 || Using Attribute Relationships for Person Re-IdentificationNguyen, Viet-Ha; Le, Anh-Cuong; Huynh, Van-Nam · 2015
[Advances in Intelligent Systems and Computing] Recent Advances in Information Systems and Technologies Volume 569 || Re-ranking in the Context of CBIR: A Comparative StudyRocha, Álvaro; Correia, Ana Maria; Adeli, Hojjat; Reis, Luís Paulo; Costanzo, Sandra · 2017
[Advances in Intelligent Systems and Computing] Advances in Ergonomics of Manufacturing: Managing the Enterprise of the Future Volume 490 || High Value Intelligent Aerospace Turbofan Jet Engine Blade Re-manufacturing SystemSchlick, Christopher; Trzcieliński, Stefan · 2016
[Advances in Intelligent Systems and Computing] Recent Advances in Information and Communication Technology Volume 265 || A Modified Particle Swarm Optimization with Dynamic Particles Re-initialization PeriodBoonkrong, Sirapat; Unger, Herwig; Meesad, Phayung · 2014
[Advances in Intelligent Systems and Computing] Advanced Computing and Systems for Security Volume 567 || Single-Shot Person Re-identification by Spectral Matching of Symmetry-Driven Local FeaturesChaki, Rituparna; Saeed, Khalid; Cortesi, Agostino; Chaki, Nabendu · 2017
[Advances in Intelligent Systems and Computing] Recent Findings in Intelligent Computing Techniques Volume 709 (Proceedings of the 5th ICACNI 2017, Volume 3) || Summary-Based Document ClassificationSa, Pankaj Kumar; Bakshi, Sambit; Hatzilygeroudis, Ioannis K.; Sahoo, Manmath Narayan · 2018
[Advances in Intelligent Systems and Computing] Recent Findings in Intelligent Computing Techniques Volume 709 (Proceedings of the 5th ICACNI 2017, Volume 3) || Survey of Challenges in Sentiment AnalysisSa, Pankaj Kumar; Bakshi, Sambit; Hatzilygeroudis, Ioannis K.; Sahoo, Manmath Narayan · 2018
[Advances in Intelligent Systems and Computing] Recent Findings in Intelligent Computing Techniques Volume 708 (Proceedings of the 5th ICACNI 2017, Volume 2) || Quality Control System for Pathogen DetectionSa, Pankaj Kumar; Bakshi, Sambit; Hatzilygeroudis, Ioannis K.; Sahoo, Manmath Narayan · 2018
[Advances in Intelligent Systems and Computing] Recent Findings in Intelligent Computing Techniques Volume 709 (Proceedings of the 5th ICACNI 2017, Volume 3) || Euclidean Distance Based Particle Swarm OptimizationSa, Pankaj Kumar; Bakshi, Sambit; Hatzilygeroudis, Ioannis K.; Sahoo, Manmath Narayan · 2018
[Advances in Intelligent Systems and Computing] Recent Findings in Intelligent Computing Techniques Volume 707 (Proceedings of the 5th ICACNI 2017, Volume 1) || Web Browser Analysis for Detecting User ActivitiesSa, Pankaj Kumar; Bakshi, Sambit; Hatzilygeroudis, Ioannis K.; Sahoo, Manmath Narayan · 2019
[Advances in Intelligent Systems and Computing] Recent Findings in Intelligent Computing Techniques Volume 709 (Proceedings of the 5th ICACNI 2017, Volume 3) || Optimized Image Compression Method for Portable DevicesSa, Pankaj Kumar; Bakshi, Sambit; Hatzilygeroudis, Ioannis K.; Sahoo, Manmath Narayan · 2018
[Advances in Intelligent Systems and Computing] Recent Findings in Intelligent Computing Techniques Volume 708 (Proceedings of the 5th ICACNI 2017, Volume 2) || Obesity Prediction Using Ensemble Machine Learning ApproachesSa, Pankaj Kumar; Bakshi, Sambit; Hatzilygeroudis, Ioannis K.; Sahoo, Manmath Narayan · 2018
[Advances in Intelligent Systems and Computing] Recent Findings in Intelligent Computing Techniques Volume 709 (Proceedings of the 5th ICACNI 2017, Volume 3) || Movie Box-Office Gross Revenue EstimationSa, Pankaj Kumar; Bakshi, Sambit; Hatzilygeroudis, Ioannis K.; Sahoo, Manmath Narayan · 2018