33 results on '"Chen, Shuwei"'
Search Results
2. An improved contradiction separation dynamic deduction method based on complementary ratio
3. Fully reusing clause method based standard contradiction separation rule
4. Analysis and Validation for Kinematic and Physiological Data of VR Training System
5. Lower Limb Balance Rehabilitation of Post-stroke Patients Using an Evaluating and Training Combined Augmented Reality System
6. Clause reusing framework for contradiction separation based automated deduction
7. Community Detection of Chinese Airport Delay Correlation Network
8. A First-Order Logic Clause Set Preprocessing Method Based on Clause Deduction Distance
9. Distinctive features of the contradiction separation based dynamic automated deduction
10. Look-ahead clause selection strategy for contradiction separation based automated deduction
11. Abstract 5171: Tfap2b overexpression contributes to tumor growth & progression of thyroid cancer through AKT&VEGF/PEDF signaling pathway
12. Study on the Influence of Floating Population on Urban Economic Growth
13. Measurement and Analysis of Social Integration of Floating Population
14. Some synergized clause selection strategies for contradiction separation based automated deduction
15. α-lock semantic resolution method based on lattice-valued first-order logic LF(X)
16. A NOVEL GENERALIZATION OF RESOLUTION PRINCIPLE FOR AUTOMATED DEDUCTION
17. Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order Logic
18. Uncertainty Reasoning Based Formal Framework for Big Video Data Understanding
19. FORMAL LOGICAL TRANSFORMATION OF HIERARCHICAL HUMAN ACTIVITY FOR REASONING BASED RECOGNITION
20. NON-CLAUSAL MULTI-ARY α-GENERALIZED RESOLUTION PRINCIPLE FOR A LATTICE-VALUED PROPOSITIONAL LOGIC
21. A Hierarchical Human Activity Recognition Framework Based on Automated Reasoning
22. An application-level priority scheduling for many-task computing in multi-user heterogeneous environment
23. A Scheduling Algorithm for Many-Task Computing Optimized for IO Contention in Heterogeneous Grid Environment
24. Research on positioning technique of wireless power transfer system for electric vehicles.
25. Ammonia Removal from Aqueous Solution by Zeolites Synthesized from Coal Fly Ash
26. THE IDEAL'S RADICAL IN LATTICE IMPLICATION ALGEBRAS
27. Extraction of Fuzzy Rules by Using Support Vector Machines
28. Linguistic Truth-Valued Lattice Implication Algebra and Its Properties
29. Uncertainty Reasoning Based on Lattice-Valued Propositional Logic L6
30. A MODEL OF DECISION-MAKING WITH LINGUISTIC INFORMATION BASED ON LATTICE-VALUED LOGIC
31. A SYSTEMS ANALYSIS OF IMPROVING THE REASONABILITY OF APPRAISEMENT SYSTEM OF HUMAN RESOURCE
32. A MODEL OF EVALUATION OF AN APPRAISEMENT SYSTEM OF HUMAN RESOURCE
33. A KIND OF FUZZY LEAST SQUARES SUPPORT VECTOR MACHINES FOR PATTERN CLASSIFICATION
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.