formalization - Globe Thesis

Keyword [formalization] Result: 1 - 20 \| Page: 1 of 2
1.	The Research On Geo-Information Services Based On Ontology
2.	The Formalization Theory Of Fuzzy Reasoning
3.	Study On Euler's Theory Of The Series
4.	The Parallel Model Of DDS And Its Formalization
5.	Computer Proving Of Basic Formulas In Vector Function, Differential And Partial Differentiation
6.	Research On Toponym Ontology Design And Spatial Retrieval Mechanism Based On OWL
7.	Researching On The Infinite Dlmensional Hamilton System Formalization And Its Operators
8.	Formalization Of Spatial Location Oriented Natural Language
9.	Research On Toponym Ontology Design And Spatial Retrieval Mechanism Based On Owl
10.	Research On The Construction And Applications Of The Toponym Ontology Based On The Topography Thesaurus
11.	Mechanization Of General Topology And Related Problems In Automatic Deduction Based On Isabelle
12.	Spatial Relationship Expression And Computation Model Based On Geometric Algebra
13.	A Study Of Formalization And Validation Of Group Theory Problem
14.	Research On Construction Of Geographic Knowledge Graph Driven By Natural Language
15.	Research And Implementation Of Linear Algebra Textbook System Based On Mathematics Knowledge Management Method
16.	Formalization Of Tychonoff’s Theorem In Coq
17.	Formalization Of Advanced Algebra In The View Of Modern Algebra
18.	Formalization Of Laplace Transform In Coq And Its Application In Flight Control System Verification
19.	Research On The Comprehensive Evolution Of The Heat Island Effect Of Guangdong, Hong Kong And Macao Based On Remote Sensing
20.	Stochastic parameterized grammars: Formalization, inference and modeling applications
<<First <Prev Next> Last>> Jump to