We have developed an individual-based evolving predator-prey ecosystem simulation that integrates, for the first time, a complex individual behaviour model, an evolutionary mecha...
This paper describes a project that aims at showing that propositional proofs of certain tautologies in weak proof system give upper bounds on the computational complexity of func...
In this paper, a novel two-tier Bayesian based method is proposed for hair segmentation. In the first tier, we construct a Bayesian model by integrating hair occurrence prior prob...
Dan Wang, Shiguang Shan, Wei Zeng, Hongming Zhang,...
This paper proposes a novel three-dimensional (3D) two-sphere regular-shaped geometry-based stochastic model (RSGBSM) with only double-bounced rays for non-isotropic scattering nar...
Yi Yuan, Xiang Cheng, Cheng-Xiang Wang, David I. L...
Let S ⊆ Zn satisfy the property that conv(S) ∩ Zn = S. Then a convex set K is called an S-free convex set if int(K) ∩ S = ∅. A maximal S-free convex set is an S-free convex...