Based on Jordan curve theorem, a universal classification method based on hyper surface is recently put forward. The experiments show that the new method can efficiently and accurately classify large data size up to 1...
详细信息
Intelligence Science is an interdisciplinary subject which dedicates to joint research on basic theory and technology of intelligence by brain science, cognitive science, artificial intelligence and others. Mind model...
详细信息
A propositional family deontic logic is introduced, which is a combination of the propositional deontic logic, dynamic logic and ambient logic. A three-layered possible world semantics is given, where a possible world...
详细信息
ISBN:
(纸本)1601322178
A propositional family deontic logic is introduced, which is a combination of the propositional deontic logic, dynamic logic and ambient logic. A three-layered possible world semantics is given, where a possible world is a set of families which is used to define the semantics for action modality [a];a subpossible world is a family used to define the semantics for family modality [m], and a subsubpossible world is used to define the semantics for the deontic modality OB. An axiomatic system of the logic will be given, and the normal form theorem, the soundness theorem and completeness theorem of the axiomatic system will be proved.
In this paper, a fast global motion estimation method is proposed for video coding. This method can accommodate not only a translational motion model but also a polynomial motion model. It speeds up the procedure of t...
详细信息
ISBN:
(纸本)9780819469533
In this paper, a fast global motion estimation method is proposed for video coding. This method can accommodate not only a translational motion model but also a polynomial motion model. It speeds up the procedure of the global motion estimation (GME) by pre-analyzing the characteristics of the block. At the first stage, the smooth region blocks which contribute less to the GME are filtered by using a threshold method based on image intensity. Next, a threshold method based on the discrepancy of the motion vectors is used to exclude the foreground blocks from the GME. From the experimental results, we can conclude that the proposed fast global motion estimation method manages to speed up the processing of estimating the motion vector field while maintaining the coding performance.
This paper describes a novel model using dependency structures on the source side for syntax-based statistical machine translation: Dependency Treelet String Correspondence Model (DTSC). The DTSC model maps source dep...
详细信息
This paper considers the problem of simultaneous restaurant and dish recognition from food images. Since the restaurants are known because of their some special dishes (e.g., the dish "hamburger" in the rest...
详细信息
At present, the software's type forms present diversity, and how to automatically analyze the software's risk behaviors become an urgent problem. This paper used some software behavior crawlers and dynamic ana...
详细信息
With the powerful development of pedestrian detection technique based on sliding-window and machine-learning, detection-based tracking systems have become increasingly popular. Most of these systems rely on existing s...
详细信息
The growing study in RGB-D sensor and 3D point cloud have made new progress in obstacle avoidance for the visually impaired. However, it remains a challenging problem due to the difficulty in design a robust and real-...
详细信息
In this paper, the Maehly approximation, which is based on Chebyshev series, is proposed to fast simulate the EM scattering from a three-dimensional (3D) rough surface over a frequency band. Comparing with the exact r...
详细信息
暂无评论