Searching for authors named Dong Zhang – sorted by Relevance.
104 documents found, showing 1 through 10.
Next 10 →
-
Separating Auxiliary Arity Hierarchy of First-Order Incremental Evaluation Using (3k+1)-ary Input Relations
- … Relations Guozhu Dong Univ. of Melbourne Louxin Zhang Inst. of Systems Science 4 August 1997 Key words…
- Cited by 6 (2 self) – Add To MetaCart
-
A Supply Chain Network Equilibrium Model with Random Demands
- …���A Supply Chain Network Equilibrium Model with Random Demands Abstract: June Dong and Ding Zhang…
- Cited by 5 (4 self) – Add To MetaCart
-
Statistical Part-Based Models: Theory and Applications in Image Similarity, Object Detection and Region Labeling
- … and Region Labeling Dong-Qing Zhang Submitted in partial fulfillment of the requirements for the degree…
- Cited by 3 (1 self) – Add To MetaCart
-
A Modified Algorithm for Permanent Scatterers Candidates Selection
- …���A Modified Algorithm for Permanent Scatterers Candidates Selection Yusen Dong, Zhi Zhang Faculty…
- Add To MetaCart
-
BMC Evolutionary Biology BioMed Central Research article Dynamic evolution of bitter taste receptor genes in vertebrates
- … receptor genes in vertebrates Dong Dong1 , Gareth Jones2 and Shuyi Zhang* 1 Open Access Address: 1School…
- Add To MetaCart
-
HighSpec: a Tool for Building and Checking OZTA Models
- …���HighSpec: a Tool for Building and Checking OZTA Models ABSTRACT J.S. Dong P. Hao X. Zhang National…
- Cited by 2 (0 self) – Add To MetaCart
-
Ma, Dong and Zhang- 1 ��� Calibration of Micro Simulation with Heuristic Optimization Methods
- …���Ma, Dong and Zhang - 1 ��� Calibration of Micro Simulation with Heuristic Optimization Methods…
- Add To MetaCart
-
Verification of Computation Orchestration via Timed Automata
- …���Verification of Computation Orchestration Via Timed Automata Jin Song Dong, Yang Liu ��� , Jun Sun…
- Cited by 4 (1 self) – Add To MetaCart
-
A Reasoning Method for Timed CSP based on Constraint Solving
- …���A Reasoning Method for Timed CSP based on Constraint Solving Jin Song Dong, Ping Hao, Jun Sun…
- Cited by 7 (7 self) – Add To MetaCart
-
Specifying and Verifying Sensor Networks: an Experiment of Formal Methods
- …���Specifying and Verifying Sensor Networks: an Experiment of Formal Methods Jin Song Dong 1 and Jing…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
