Skip to main content

previous disabled Page of 2
and
  1. No Access

    Chapter and Conference Paper

    The Degree of the Quasi-similarity and the Pseudo-metric between Predicate Formulae

    The theory of the quasi-truth degrees of predicate formulae is a preliminary test of quantitative predicate logic. Corresponding to quantitative propositional logic, we know that it’s just a beginning. In this...

    **ao-yan Qin, Yi Liu, Yang Xu in Quantitative Logic and Soft Computing 2010 (2010)

  2. No Access

    Chapter and Conference Paper

    On Fuzzy Prime Filters of Lattice H Implication Algebras

    In this paper,firstly, we introduce the fuzzy annihilator A* of a fuzzy set A and its properties are obtained. Secondly, the fuzzy prime filter of lattice H implication algebras are studied by using the fuzzy ann...

    Yi Liu, Ling Guo, **ao-yan Qin, Yang Xu in Quantitative Logic and Soft Computing 2010 (2010)

  3. No Access

    Chapter and Conference Paper

    Using OWA Operators to Integrate Group Attitudes towards Consensus

    Nowadays decisions that affect organizations or big amounts of people are normally made by a group of experts, rather than a single decision maker. These decisions would require more than a majority rule to be...

    Iván Palomares, Jun Liu, Yang Xu, Luis Martínez in Knowledge Engineering and Management (2011)

  4. No Access

    Chapter and Conference Paper

    The Relationship of Filters in Lattice Implication Algebra

    In this paper, we focus on the properties of filters in lattice implication algebra. We study the relationship of associative filter and implicative filter, n-fold associative filter and n-fold implicative fil...

    Ruijuan Lv, Yang Xu in Foundations of Intelligent Systems (2012)

  5. No Access

    Chapter and Conference Paper

    Further Research of Generated Filters in Lattice Implication Algebra

    In this paper we combining LHIA research the generated filters of lattice implication algebra. Firstly some new properties of lattice implication algebra are discussed. Then a structure of generated filter of ...

    Ling Guo, Yang Xu, Shaokun Du in Foundations of Intelligent Systems (2012)

  6. No Access

    Chapter and Conference Paper

    α-Quasi-Lock Semantic Resolution Method for Linguistic Truth-Valued Lattice-Valued Propositional Logic \(\mathcal{L}_{V(n\times2)}\) P(x)

    On the basis of α-quasi-lock semantic resolution method in lattice-valued propositional logic ( \(\mathcal{L}_{n}\times\mathcal{L}_{2}\) ...

    **aomei Zhong, Jun Liu, Shuwei Chen, Yang Xu in Foundations of Intelligent Systems (2012)

  7. No Access

    Chapter and Conference Paper

    Duality in Lattice Implication Algebra

    According to the general form of principle of duality in the sense of class [1], this paper tries to study the dual operators of operators in lattice implication algebra [2], especially the dual operator of im...

    Li Zhao, Yang Xu in Foundations of Intelligent Systems (2012)

  8. No Access

    Chapter and Conference Paper

    An ETL Strategy for Real-Time Data Warehouse

    Real-time data warehouse as an extension of traditional data warehouse, it is effectively shortening the delay of information and providing timely and accurate decision support to decision makers. The ETL proc...

    Haihe Zhou, Dingyu Yang, Yang Xu in Practical Applications of Intelligent Systems (2012)

  9. No Access

    Chapter and Conference Paper

    The Identification of Convex Function on Riemannian Manifold

    The necessary and sufficient condition of convex function is significant in nonlinear convex programming. This paper presents the identification of convex function on Riemannian manifold by use of Penot genera...

    **aosong Cui, **n Wen, Yunxia Zhang, Li Zou in Practical Applications of Intelligent Syst… (2014)

  10. No Access

    Chapter and Conference Paper

    Algorithm to Find Ground Instances in Linguistic Truth-Valued Lattice-Valued First-Order Logic \( \mathcal{L}_{{V({n} \times 2)}}F(X) \)

    α-Resolution-based automated reasoning in linguistic truth-valued lattice-valued first-order logic $$ \mathcal{L}_{V(n \times 2)...

    **aomei Zhong, Yang Xu, Peng Xu in Foundations and Applications of Intelligent Systems (2014)

  11. No Access

    Chapter and Conference Paper

    Comparisons Among α-Generalized Resolution Methods in \(\fancyscript{L}_{n \times 2}\) F(X)

    This paper analyzes the characteristics of α-generalized semantic resolution, α-generalized linear resolution, and α-generalized lock resolution from their validity, complexity, and practicability in ...

    **ngxing He, Yang Xu, Jun Liu, **aomei Zhong, Peng Xu in Foundations of Intelligent Systems (2014)

  12. No Access

    Chapter and Conference Paper

    A Femtocell Self-Configuration Deployment Scheme in Hierarchical Networks

    More Femtocells will be deployed in existing cell networks, improving system capacity and enhancing indoor coverage. However new Femtocells will introduce a series of several interferences, whether which are w...

    Peng Xu, Fangli Ma, Jun Wang, Yang Xu, **ngxing He in Knowledge Engineering and Management (2014)

  13. No Access

    Chapter and Conference Paper

    \(\alpha \) -Generalized Lock Resolution with Deleting Strategies in \(\fancyscript{L}_n\) F(X)

    This paper focuses on refined non-clausal resolution methods in a Łukasiewicz first order logic \(\fancyscript{L}_n\) ...

    **ngxing He, Yang Xu, Jun Liu, Peng Xu in Knowledge Engineering and Management (2014)

  14. No Access

    Chapter and Conference Paper

    A Rule-Based Inference Method Using Dempster–Shafer Theory

    The Dempster–Shafer theory of evidence for attribute aggregation provides a method to deal with uncertainty reasoning. In this paper, uncertainty reasoning method based on rule-base with certainty interval is ...

    Liuqian **, Yang Xu in Knowledge Engineering and Management (2014)

  15. No Access

    Chapter and Conference Paper

    The Mobile Robot SLAM Based on Depth and Visual Sensing in Structured Environment

    Simultaneous localization and map** (SLAM) is becoming one of the most attractive research focuses of robot control and visual processing. In this paper, robot performs a SLAM mission in an unknown and struc...

    Yezhang Tu, Zhiwu Huang, **aoyong Zhang in Robot Intelligence Technology and Applicat… (2015)

  16. No Access

    Chapter and Conference Paper

    Design and Implementation of Wireless Sensor Network Gateway with Multimode Access

    Wireless sensor network has the characteristics of large-scale, ad-hoc network and wireless communication, it is one of research hotspots. The gateway plays a very important role as a conversion device between...

    Huiling Zhou, Yuhao Liu, Yang Xu in Information Technology and Intelligent Tra… (2017)

  17. No Access

    Chapter and Conference Paper

    SPSS-Based Research on Language Learning Strategy Use

    This research aims to investigating the language learning strategies use of foreign language learners. The computer program SPSS (Statistical Package for Social Science) was adopted, and a questionnaire with 2...

    Yang Xu in Advances in Intelligent Systems and Interactive Applications (2018)

  18. No Access

    Chapter and Conference Paper

    Graphic Modelling Approach as a Support for Event-B Modelling

    Event-B method, as an evolution of B-method, is a formal method for system-level modelling and analysis based on extended first order logic and set theory, which provides flexible approaches of refinement and ...

    **aolong Li, Jun Liu, Keming Wang, Yang Xu in Proceedings of 2017 Chinese Intelligent Sy… (2018)

  19. No Access

    Chapter and Conference Paper

    Study on Rapidity Decision of Highway Lane Changing Based on OS-ELM

    When drivers make a lane changing maneuver in highway merging area, the personalized lane changing models of traditional ADAS usually combine several algorithms, which make the time of running models become lo...

    Senlin Cheng, Yang Xu, Ruixue Zong, Renming Deng in Fuzzy Sets and Operations Research (2019)

  20. No Access

    Chapter and Conference Paper

    Optimal Features Subset Selection for Large for Gestational Age Classification Using GridSearch Based Recursive Feature Elimination with Cross-Validation Scheme

    In the large for gestational age infant’s classification and prediction, noisy features are distilled to improve the classifier performance. It is accomplished with the creation of a suitable feature vector fo...

    Faheem Akhtar, Jianqiang Li, Yan Pei, Yang Xu, Asif Rajput, Qing Wang in Frontier Computing (2020)

previous disabled Page of 2