Font Size: a A A
Keyword [Normal Form]
Result: 41 - 60 | Page: 3 of 4
41. Design And Implementation Of An Automated Testing Tool Based On Inter-Procedural Dynamic Symbolic Execution
42. Research On Computational Properties And Applications Of Spiking Neural P Systems
43. Hybrid Modeling Language Hyml And Its Formal Semantics
44. Based On NF Database Rapid Analysis And Design
45. Research On Temporal Normal Form Decomposition With Total Order Temporal Module Scheme
46. Finite-time Stabilization Of A Class Of Switched Systems
47. Solution Method Of SAT With FPGA Simulation
48. Super-Resolution Image Reconstruction Based On Multi-Component Dictionary Sparse Representation
49. Research On Model-based Diagnosis Method Based On Reverse Search Of Structural Features
50. Design And Implementation Of Instance Specified SAT Sorve Chip Based On FPGA
51. Research On Bifurcation And Chaos For A Class Inverted Pendulum System
52. Research And Implementation Of Video Super-resolution Reconstruction System
53. Logic-based Switching Adaptive Stabilization Of Linear Single Inverted Pendulum System
54. Research On Topic-oriented Semi-structured Data Integration Methods
55. A Paradigm Study Of Generalized Likelihood Computing Tree Logic
56. Research On The Approach Of Web Service Composition And Optimization Based On Logic Petri Net
57. The Research Of Disjunctive Normal Random Forest Algorithm On Face Recognition
58. The Study Of Controllable Area Of Linear Continuous-time Systems' Normal Form Under The Bounded Control Function
59. Finite-time Control Research Of Several Class Of P-normal Form Nonlinear Systems
60. Dynamic Analysis Of Two Kinds Of Neural Networks With Time Delay
  <<First  <Prev  Next>  Last>>  Jump to