Zaiyue Zhang

24 papers C 1Journal 17Unranked 6
YearRankTypeTitle / Venue / Authors
2016 J jnl
The M-computations induced by accessibility relations in nonstandard models M of Hoare logic.
Frontiers Comput. Sci.
Cungen Cao, Yuefei Sui, Zaiyue Zhang
2016 J jnl
基于语义文法的地理实体位置关系的获取 (Acquiring Relationships Between Geographical Entities Based on Semantic Grammar).
计算机科学
Qi Zhou, Ye Lu, Tingyu Li, Ya Wang, Zaiyue Zhang, Cungen Cao
2014 J jnl
Tolerance-based multigranulation rough sets in incomplete systems.
Frontiers Comput. Sci.
Zaiyue Zhang, Xibei Yang
2012 J jnl
Particle Swarm Optimization Algorithm for the Shortest Confidence Interval Problem.
J. Comput.
Shang Gao, Zaiyue Zhang, Cungen Cao
2011 J jnl
Differentiation and Numerical Integral of the Cubic Spline Interpolation.
J. Comput.
Shang Gao, Zaiyue Zhang, Cungen Cao
2011 J jnl
On a Generalization of Cubic Spline Interpolation.
J. Softw.
Shang Gao, Zaiyue Zhang, Cungen Cao
2011 J jnl
Road Traffic Freight Volume Forecast Using Support Vector Machine Combining Forecasting.
J. Softw.
Shang Gao, Zaiyue Zhang, Cungen Cao
2010 J jnl
A Novel Ant Colony Genetic Hybrid Algorithm.
J. Softw.
Shang Gao, Zaiyue Zhang, Cungen Cao
2010 J jnl
Calculating Weights Methods in Complete Matrices and Incomplete Matrices.
J. Softw.
Shang Gao, Zaiyue Zhang, Cungen Cao
2010 J jnl
Multiplicate Particle Swarm Optimization Algorithm.
J. Comput.
Shang Gao, Zaiyue Zhang, Cungen Cao
2009 J jnl
Multiplication Operation on Fuzzy Numbers.
J. Softw.
Shang Gao, Zaiyue Zhang, Cungen Cao
2008 J jnl
Types, structures and theories in NKI.
Frontiers Comput. Sci. China
Xiaoru Zhang, Zaiyue Zhang, Yuefei Sui
2007 — conf
Immune Genetic Algorithm for Weapon-Target Assignment Problem.
IITA
Shang Gao, Zaiyue Zhang, Xiaoru Zhang, Cungen Cao
2006 C conf
A Tree Construction of the Preferable Answer Sets for Prioritized Basic Disjunctive Logic Programs.
TAMC
Zaiyue Zhang, Yuefei Sui, Cungen Cao
2006 J jnl
A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic.
Theor. Comput. Sci.
Zaiyue Zhang, Yuefei Sui, Cungen Cao, Guohua Wu
2006 — conf
Further Study of the Fuzzy Reasoning Based on Propositional Modal Logic.
RSKT
Zaiyue Zhang, Yuefei Sui, Cungen Cao
2006 — conf
The Rough Logic and Roughness of Logical Theories.
RSKT
Cungen Cao, Yuefei Sui, Zaiyue Zhang
2005 — conf
Description of Fuzzy First-Order Modal Logic Based on Constant Domain Semantics.
RSFDGrC (1)
Zaiyue Zhang, Yuefei Sui, Cungen Cao
2004 — conf
Fuzzy Reasoning Based on Propositional Modal Logic.
Rough Sets and Current Trends in Computing
Zaiyue Zhang, Yuefei Sui, Cungen Cao
2003 — conf
Rough Mereology in Knowledge Representation.
RSFDGrC
Cungen Cao, Yuefei Sui, Zaiyue Zhang
2002 J jnl
The Contiguity in R/M.
J. Comput. Sci. Technol.
Zaiyue Zhang, Yuefei Sui
2001 J jnl
Extending the Cooper Minimal Pair Theorem.
J. Comput. Sci. Technol.
Zaiyue Zhang
2001 J jnl
Local noncuppability in R/M.
Sci. China Ser. F Inf. Sci.
Zaiyue Zhang, Yuefei Sui
1999 J jnl
The Cupping Theorem in R/M.
J. Symb. Log.
Yuefei Sui, Zaiyue Zhang