Font Size: a A A
Keyword [dynamic logic]
Result: 1 - 19 | Page: 1 of 1
1. Approximate Reasoning—Investigation Of Polynomial Algebraic Dynamic Logic
2. Research On Reconfigurable Dynamic Logic Computing
3. An Action States Based Digital Rights Expression Modal Research
4. Researches On Semantic-based Automatic Service Composition
5. Agent-based Dynamic Logic Formal Model
6. Based On The 65nm Technology Platform, Low-power Embedded Sram Design
7. Hybrid Modelling And Verification Of CTCS-3System Specification
8. Research Of Semantic Web Services Composition Based On Dynamic Logic
9. Extended Dynamic Logic Programs And Application In Product Presonalized Recommendation
10. Safety Verification Of Hybrid Systems Based On Formal Method
11. Dynamic Logic Topic Model And Visualization
12. Logical Function And Evolutionary Circuit Design Based On Cellular Neural Network
13. Research On The Clock-constraint-based Dyanmic Logic Syatem For Synchronous Systems
14. Research On Hardware Trojan Detection Technology For Chip Design Phase
15. Model Checking For Discrete Real-Time Linear Dynamic Logic
16. Low-power high-performance dynamic circuit design for ultra-deep submicron technology
17. Dynamic logic synthesis for reconfigurable hardware
18. Research And Application Of Dependable Reinforcement Learning Based On Timed Differential Dynamic Logic
19. Design Of 10-bit 20MS/s Successive Approximation Analog-to-digital Converter
  <<First  <Prev  Next>  Last>>  Jump to