Font Size: a A A
Keyword [Logic]
Result: 181 - 200 | Page: 10 of 10
181. Research On Generalized Correlation And Fuzzy Logic Based Modulation Classification
182. Research On Semantic Association Data Model And Its Retrieval Mechanisms
183. Investigation Of High-Speed All-Optical Signal Processing Based On LiNbO3 Waveguides
184. Research On Knowledge Reasoning In Multi-Agent System Based On Dynamic Epistemic Logic
185. Formal Semantics Of Framed Temporal Logic Programming Language MSVL
186. Object-oriented MSVL And Its Application To Verification Of Composite Web Services
187. Research On All-optical Wavelength Conversion For Advanced Modulation Formats And All-optical Logic Gates
188. On Service Triggering In IMS Network
189. Research On Some Key Issues Of Dynamic Service Composition
190. Research On Reversible Logic Synthesis And Performance Analysis For Low-power Design Of Integrated Circuits
191. Reasoning And Symbolic Model Checking Of Extended Temporal Logics
192. Consistency Checking Of Graphic Models
193. Research On Multimedia Semantic Modeling And Applications
194. Design And Implementation Of Asynchronous Control Circuits
195. Modeling And Analyzing Metamodel Of Network Software Requirement Based On Web Service
196. Decrease-Radix Design Principle
197. DSmT-based Trust Management In Open Computational Systems
198. Research On Evolutionary Algorithms For Multi-objective Optimization
199. Research On Sub-Ontology Model For Large-Scale Ontology Reuse
200. Research On Open Temporal Logic Based Formal Verification And Modular Reasoning Of Aspect-Oriented Programs
  <<First  <Prev  Next>  Last>>  Jump to