Framed Temporal Logic Programming Interpreter and Model Checker

Abstract

Related Dissertations

1. Research on Secure Fingerprint Authentication Based on Distance Projection Coding,TP391.4
2. Crop Evapotranspiration Study on Evolution Rule and Forecast Model in Chaoyang Area,S161.4
3. Research on the Methods for Detecting Mismatch of Web Services Based on Bounded Model Checking,TP311.52
4. The film screenings customer experience impact on customer loyalty empirical research,J943
5. High-performed Kernel Classification Methods Based on Multi-kernel Learning,TP391.41
6. Research on Network Anomaly Detection Based on Projection Pursuit Regression,TP393.08
7. Research on Regression-based Super-Resolution Image Reconstruction Technique,TP391.41
8. Research on a Secure E-Commerce Payment Protocol Based on Four Parties,TP393.08
9. Fine geographical coordinates navigation projection technology research and application,P226.3
10. Projection Theory of Functional Grammar and English Reading Teaching,H319
11. Ad hoc networks are based on projection pursuit wormhole detection mechanism,TN929.5
12. UEFI system scripting language and interpreter Research and Implementation,TP311.52
13. Raster-based three-dimensional projection of dental measurement system,TP391.41
14. P2P network based on gray theory Behavior Analysis and Forecast,TP393.02
15. Common geodetic coordinate system conversion design and implementation,TP311.52
16. Weak sparse underdetermined blind signal separation technology research,TN911.7
17. Based on the DM6446 electronic image stabilization technology Research and Implementation,TP391.41
18. Based on Image Analysis wheel alignment detection technology,TP274
19. Fabric appearance based on machine vision digital analysis method and system design,TP391.41
20. Integration and Application of Clustering Algorithm,TP311.13
21. Quality Assessment in Consecutive Interpreting,H059