Search For:

Displaying 1-50 out of 130 total
Adaptive fast DIRECT mode decision algorithm using mode and Lagrangian cost prediction for B frame in H.264/AVC
Found in: Multimedia and Expo, IEEE International Conference on
By Xiaocong Jin, Jun Sun, Jun Zhou, Yiqing Huang, Jia Su,Takeshi Ikenaga
Issue Date:July 2011
pp. 1-6
In this paper, a fast spatial DIRECT mode decision method for B frame in H.264/AVC is proposed. It is based on a statistical analysis on multiple video sequences, and the strong relationship of mode selection and rate-distortion (RD) cost between the curre...
 
Verification of Population Ring Protocols in PAT
Found in: Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on
By Yang Liu, Jun Pang, Jun Sun, Jianhua Zhao
Issue Date:July 2009
pp. 81-89
The population protocol model has emerged as an elegant paradigm for describing mobile ad hoc networks, consisting of a number of nodes that interact with each other to carry out a computation. One essential property of self-stabilizing population protocol...
 
Research on Parametric Drawing and Material Data Extraction of Architectural Aluminium Alloy Products
Found in: Electrical and Control Engineering, International Conference on
By Lei Du, Bao-jun Sun
Issue Date:June 2010
pp. 5522-5525
This paper discusses the implementation of parametric drawing of architectural aluminium alloy products in the AutoCAD environment by using object-oriented Object ARX technology. Based on the basis of parametric drawing, the software of extraction the attr...
 
Integrating Specification and Programs for System Modeling and Verification
Found in: Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on
By Jun Sun, Yang Liu, Jin Song Dong, Chunqing Chen
Issue Date:July 2009
pp. 127-135
High level specification languages like CSP use mathematical objects as abstractions to represent systems and processes. System behaviors are described as process expressions combined with compositional operators, which are associated with elegant algebrai...
 
Design of Two-Dimensional Recursive Filters by Using Quantum-Behaved Particle Swarm Optimization
Found in: Intelligent Information Hiding and Multimedia Signal Processing, International Conference on
By Wei Fang, Jun Sun, Wenbo Xu
Issue Date:December 2006
pp. 240-243
A novel algorithm, named Quantum-behaved particle swarm optimization (QPSO) proposed by us previously is introduced in the design of twodimensional (2-D) recursive digital filters. The design of the 2-D filters is reduced to a constrained minimization prob...
 
Applied Research of PSO in Parameter Estimation of Richards Model
Found in: 2012 9th Web Information Systems and Applications Conference (WISA)
By Ting-fa Wu,Jun-Bin You,Mei-juan Yan,Hao-jun Sun
Issue Date:November 2012
pp. 87-90
It's significant to establish a mathematical model for the spread of epidemic, to help control the epidemic situation and minimize their impacts. In this paper, Richards model is proposed to fit the spread and PSO is employed to estimate the parameters of ...
 
Planning as Model Checking Tasks
Found in: 2012 35th Annual IEEE Software Engineering Workshop (SEW)
By Yi Li,Jing Sun,Jin Song Dong,Yang Liu,Jun Sun
Issue Date:October 2012
pp. 177-186
Model checking provides a way to automatically verify hardware and software systems, whereas the goal of planning is to produce a sequence of actions that leads from the initial state to the desired goal states. Recent research indicates that there is a st...
 
Research and Simulation of Node Localization in WSN Based on Quantum Particle Swarm Optimization
Found in: 2012 11th International Symposium on Distributed Computing and Applications to Business, Engineering & Science
By Litao Gong,Jun Sun,Wenbo Xu,Jian Xu
Issue Date:October 2012
pp. 144-148
there're so many kinds of localization algorithms with a big localization error. And how to reduce this error is really a very important problem. This paper studies four distributed localization algorithms in WSN, and introduces a pretty popular optimizati...
 
Model Checking Software Architecture Design
Found in: 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE)
By Jiexin Zhang,Yang Liu,Jing Sun,Jin Song Dong,Jun Sun
Issue Date:October 2012
pp. 193-200
Software Architecture plays an essential role in the high level description of a system design. Despite its importance in the software engineering practice, the lack of formal description and verification support hinders the development of quality architec...
 
Translating PDDL into CSP# - The PAT Approach
Found in: 2012 17th International Conference on Engineering of Complex Computer Systems (ICECCS)
By Yi Li,Jing Sun,Jin Song Dong,Yang Liu,Jun Sun
Issue Date:July 2012
pp. 240-249
Model checking provides a way to automatically verify hardware and software systems, whereas the goal of planning is to produce a sequence of actions that leads from the initial state to the desired goal state. Recently research indicates that there is a s...
 
Local Consistency Constrained Adaptive Neighbor Embedding for Text Image Super-Resolution
Found in: Document Analysis Systems, IAPR International Workshop on
By Wei Fan,Jun Sun,Satoshi Naoi,Akihiro Minagawa,Yoshinobu Hotta
Issue Date:March 2012
pp. 90-94
This paper proposes a robust single-image super resolution method for enlarging low quality camera captured text image. The contribution of this work is twofold. First, we point out the non-local reconstruction problem in neighbor embedding based super-res...
 
Evolving Neural Network Structure by Indirect Encoding Based on BQPSO
Found in: International Symposium on Distributed Computing and Applications to Business, Engineering and Science
By Fang Bao,Jun Sun,Wenbo Xu
Issue Date:October 2011
pp. 297-302
This paper proposes a novel algorithm of neural network structure evolve. First, the algorithm designs an indirect encoding schema representing the structure of neural network, use joint seed representing the existence of connection in neural network. Then...
 
Study of Monitoring Parameters Selection Based on AHP for Hydraulic System of Excavator
Found in: Measuring Technology and Mechatronics Automation, International Conference on
By Tu Qunzhang, Sun Qiliang, Yan Jun, Sun Min, Wang Guotao
Issue Date:January 2011
pp. 401-405
The selection of monitoring parameters is the principal condition for condition monitoring and fault diagnosis of hydraulic system of excavator, a new method of selecting monitoring parameters based on AHP is proposed by analyzing faults of hydraulic syste...
 
Research and Development of Vehicle Intelligent Terminal System for Engineering Equipment
Found in: Measuring Technology and Mechatronics Automation, International Conference on
By Tu Qunzhang, Sun Min, Yan Jun, Sun Qiliang, Wang Guotao, Wu Hai
Issue Date:January 2011
pp. 1031-1036
Vehicle intelligent terminal system for engineering equipment could realize condition monitoring, fault diagnosis, time based maintenance intelligent management and long-distance operation management synthetically. Adopting computer technique, sensor techn...
 
Application of Quantum-behaved Particle Swarm Optimization in Parameter Estimation of Option Pricing
Found in: International Symposium on Distributed Computing and Applications to Business, Engineering and Science
By Xia Zhao, Jun Sun, Wenbo Xu
Issue Date:August 2010
pp. 10-12
Due to the nonlinear of the Black-Scholes option pricing model, r and σ were not easy to be solved by analytic method. Quantum-behaved Particle Swarm Optimization (QPSO) algorithm was proposed to estimate the parameters because of its global search ability...
 
A Support Vector Machine Based Online Learning Approach for Automated Visual Inspection
Found in: Computer and Robot Vision, Canadian Conference
By Jun Sun, Qiao Sun
Issue Date:May 2009
pp. 192-199
In manufacturing industry there is a need for an adaptable automated visual inspection (AVI) system that can be used for different inspection tasks under different operation condition without requiring excessive retuning or retraining. This paper proposes ...
 
OOV Translation Mining from Mixed-Language Snippets from a Search Engine
Found in: Young Computer Scientists, International Conference for
By Yun-Qian Qu, Jian-Min Yao, Jun Sun, Meng Sun
Issue Date:November 2008
pp. 931-935
In this paper, we describe an approach to OOV translation mining based on web search. Without comparable corpus or parallel corpus, we first expand the Chinese OOV phrase with English segments by a C-E dictionary. Then the OOV and the expansion will be sub...
 
Bounded Model Checking of Compositional Processes
Found in: Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on
By Jun Sun, Yang Liu, Jin Song Dong, Jing Sun
Issue Date:June 2008
pp. 23-30
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional process algebras is, however, not a trivial task. One challenge is that the number ...
 
A Scalable Approach to Multi-style Architectural Modeling and Verification
Found in: Engineering of Complex Computer Systems, IEEE International Conference on
By Stephen Wong, Jing Sun, Ian Warren, Jun Sun
Issue Date:April 2008
pp. 25-34
Software Architecture represents the high level description of a system in terms of components, external properties and communication. Despite its importance in the software engineering process, the lack of formal description and verification support limit...
 
FIR Digital Filters Design Based on Quantum-behaved Particle Swarm Optimization
Found in: Innovative Computing ,Information and Control, International Conference on
By Wei Fang, Jun Sun, Wenbo Xu, Jing Liu
Issue Date:September 2006
pp. 615-619
FIR digital filters design involves multi-parameter optimization, on which the existing optimization algorithm doesn?t work efficiently. This paper focuses on employing the proposed Quantum-behaved Particle Swarm Optimization (QPSO) to design FIR digital f...
 
Learning Assumptions for CompositionalVerification of Timed Systems
Found in: IEEE Transactions on Software Engineering
By Shang-Wei Lin,Etienne Andre, Yang Liu, Jun Sun, Jin Song Dong
Issue Date:February 2014
pp. 137-153
Compositional techniques such as assume-guarantee reasoning (AGR) can help to alleviate the state space explosion problem associated with model checking. However, compositional verification is difficult to be automated, especially for timed systems, becaus...
 
Multi-core Model Checking Algorithms for LTL Verification with Fairness Assumptions
Found in: 2013 20th Asia-Pacific Software Engineering Conference (APSEC)
By Xuan-Linh Ha,Thanh-Tho Quan,Yang Liu,Jun Sun
Issue Date:December 2013
pp. 547-552
The main challenge in model checking is the state space explosion. With developments in hardware today, most processors have many cores inside. To leverage on the advances in hardware, we can increase the performance of verifying large models by designing ...
 
Sub-structure Learning Based Handwritten Chinese Text Recognition
Found in: 2013 12th International Conference on Document Analysis and Recognition (ICDAR)
By Yuanping Zhu,Jun Sun,Satoshi Naoi
Issue Date:August 2013
pp. 295-299
This paper proposed a sub-structure learning based method for handwritten Chinese text recognition. In conventional methods, a standard character recognizer is trained on character classes only. Unreliable recognition results on character segments will dec...
 
A Book Dewarping System by Boundary-Based 3D Surface Reconstruction
Found in: 2013 12th International Conference on Document Analysis and Recognition (ICDAR)
By Yuan He,Pan Pan,Shufu Xie,Jun Sun,Satoshi Naoi
Issue Date:August 2013
pp. 403-407
Non-contact imaging devices such as digital cameras and overhead scanners can convert hardcopy books to digital images without cutting them to individual pages. However, the captured images have distinct distortions. A book dewarping system is proposed to ...
 
Verifying Linearizability via Optimized Refinement Checking
Found in: IEEE Transactions on Software Engineering
By Yang Liu,Wei Chen,Yanhong A. Liu,Jun Sun,Shao Jie Zhang,Jin Song Dong
Issue Date:July 2013
pp. 1018-1039
Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires checking that: 1) All executions of concurrent operations are serializable, and 2) the...
 
Factors that Influence Transportation Security Funding: A Data Mining Analysis on U.S. Airport Improvement Grants
Found in: 2013 46th Hawaii International Conference on System Sciences (HICSS)
By Ying Wang,Francis Andoh-Baidoo,Jun Sun
Issue Date:January 2013
pp. 3778-3786
Terrorist attacks have awakened the awareness of nations around the globe on transportation security/safety. Effective security enhancement measures are needed to prevent terrorist attacks. Prior to the September 11 attack, the Federal Aviation Administrat...
   
Analysis on Biomass Allocation and Component Allometry of Phragmites Australis under Heterogeneous Habitats
Found in: 2013 Third International Conference on Intelligent System Design and Engineering Applications (ISDEA)
By Chan Zhou,Zhuo Zhang,Hong-Yan Wang,Jun Sun,Hong Lou,Qian Xiong,Xue Zheng,Che Liu
Issue Date:January 2013
pp. 343-346
In this study, we took no quadrat sampling method to quantitatively analysis on biomass allocation and component allometry of the Phragmites austral is in Wuhan and Shenyang wetlands. Variance analysis showed that the two reed components in biomass allocat...
 
A Study on Caption Recognition for Multi-color Characters on Complex Background
Found in: 2012 IEEE International Symposium on Multimedia (ISM)
By Yutaka Katsuyama,Akihiro Minagawa,Yoshinobu Hotta,Jun Sun,Shinichiro Omachi
Issue Date:December 2012
pp. 401-407
We propose a caption recognition method for multicolor characters on complex background. Caption characters are used for an efficient search on a large amount of recorded TV programs. In the caption character recognition, the caption appearance section and...
 
A Mixed Localization Algorithm Based on RSSI and APIT with Fitness Analysis and Optimization
Found in: 2012 11th International Symposium on Distributed Computing and Applications to Business, Engineering & Science
By Bo Chen,Jun Sun,Wen Bo Xu,Jian Xu
Issue Date:October 2012
pp. 164-168
As a new information acquisition and processing technology, wireless sensor networks can achieve tasks with complex large-scale monitoring and tracking in wide range of applications, but the localization for node itself is the basis of most applications. A...
 
FCM-Based QPSO for Evolutionary Fuzzy-System Design
Found in: 2012 11th International Symposium on Distributed Computing and Applications to Business, Engineering & Science
By Wenqing Guan,Jun Sun,Jian Xu,Wenbo Xu
Issue Date:October 2012
pp. 466-469
This paper proposes a FCM-based QPSO algorithm for evolutionary fuzzy-system design. The objective of this paper is to learn TSK type fuzzy rules with high accuracy. In the designed fuzzy system, data is firstly clustered into classes by fuzzy c-means algo...
 
Parameter Synthesis for Hierarchical Concurrent Real-Time Systems
Found in: 2012 17th International Conference on Engineering of Complex Computer Systems (ICECCS)
By Etienne Andre,Yang Liu,Jun Sun,Jin-Song Dong
Issue Date:July 2012
pp. 253-262
Modeling and verifying complex real-time systems, involving timing delays, are notoriously difficult problems. Checking the correctness of a system for one particular value for each delay does not give any information for other values. It is hence interest...
 
Formal Analysis of Pervasive Computing Systems
Found in: 2012 17th International Conference on Engineering of Complex Computer Systems (ICECCS)
By Yan Liu,Xian Zhang,Jin Song Dong,Yang Liu,Jun Sun,Jit Biswas,Mounir Mokhtari
Issue Date:July 2012
pp. 169-178
Pervasive computing systems are heterogenous and complex as they usually involve human activities, various sensors and actuators as well as middleware for system controlling. Therefore, analyzing such systems is highly non-trivial. In this work, we propose...
 
Rate-Distortion Analysis and Modeling of Dead-Zone Plus Uniform Threshold Scalar Quantization for Generalized Gaussian Random Variables
Found in: Data Compression Conference
By Yizhou Duan,Jun Sun,Zongming Guo
Issue Date:April 2012
pp. 395
This paper provides a systematical rate-distortion (R-D) analysis and modeling of generalized Gaussian distribution (GGD) under the dead-zone plus uniform threshold scalar quantization (DZ+UTSQ) and nearly-uniform reconstruction quantization (NURQ). In R-D...
 
Analysis and Design of ZigBee Network Layer Protocol under Cellular Network Environment
Found in: Computer Science and Electronics Engineering, International Conference on
By Yan Xin,Huahua Yao,Yingying Jiang,Shu Yan,Jun Sun
Issue Date:March 2012
pp. 59-62
This paper analyzes the construction and routing protocols for ZigBee networking layer, and other protocols as well, proposes a method that to develop specific ZigBee protocol suitable for cellular network topology structure, under the standard framework o...
 
The Judgement on Lack of Nitrogen in Rice Based on SVM Algorithm
Found in: Computer Science and Electronics Engineering, International Conference on
By Bing Lu,Jun Sun,Hui Liu,Caihui Song,Xiaohong Wu
Issue Date:March 2012
pp. 165-168
The intelligent judgment of nitrogen content in rice has great significance to its healthy growth. Here use soil less culture technique to cultivate rice with different nitrogen levels. In various stages, field spec is used to acquire rice canopy spectra, ...
 
A Fast Caption Detection Method for Low Quality Video Images
Found in: Document Analysis Systems, IAPR International Workshop on
By Tianyi Gui,Jun Sun,Satoshi Naoi,Yutaka Katsuyama,Akihiro Minagawa,Yoshinobu Hotta
Issue Date:March 2012
pp. 302-306
Captions in videos are important and accurate clues for video retrieval. In this paper, we propose a fast and robust video caption detection and localization algorithm to handle low quality video images. First, the stroke response maps from complex backgro...
 
A Study on Coaxial Type DBD Decomposing NO/N2 Mixture Gas by Optical Emission Spectrum
Found in: Intelligent Computation Technology and Automation, International Conference on
By Liu Zhinan,Cai Yixi,Wang Jun,Sun Chuanhong,Han Wenhe
Issue Date:January 2012
pp. 657-661
Through establishing a test system of coaxial dielectric barrier discharge type non-thermal plasma reactor, using Q-V Lissajous figure method to measure its electrical parameters, optical emission spectrum of NO/N2 mixed gas system was analyzed, and the ef...
 
Line Drawing Interpretation Using Belief Propagation
Found in: Digital Image Computing: Techniques and Applications
By Yansheng Ming,Hongdong Li,Jun Sun
Issue Date:December 2011
pp. 113-118
The interpretation of line drawings of trihedral planer objects is a classic problem. In this paper, it is formulated as a Bayesian inference problem. Given a line drawing image, a Markov random field can be built whose nodes represent the labels of edges....
 
Analysis on Tree Structure Selection for MRF Inference in Low-level Vision
Found in: Digital Image Computing: Techniques and Applications
By Jun Sun,Hongdong Li,Xuming He
Issue Date:December 2011
pp. 66-71
MRF inference on the 4-connected grid is popularly utilized for early vision tasks. But due to the loopy structure of the 4-connected grid, inference becomes complicated and less efficient. This paper present a theoretical analysis on what is an optimal sp...
 
Fast Kernel Sparse Representation
Found in: Digital Image Computing: Techniques and Applications
By Hanxi Li,Yongsheng Gao,Jun Sun
Issue Date:December 2011
pp. 72-77
Two efficient algorithms are proposed to seek the sparse representation on high-dimensional Hilbert space. By proving that all the calculations in Orthogonal Match Pursuit (OMP) are essentially inner-product combinations, we modify the OMP algorithm to app...
 
A model checking framework for hierarchical systems
Found in: Automated Software Engineering, International Conference on
By Truong Khanh Nguyen,Jun Sun,Yang Liu,Jin Song Dong
Issue Date:November 2011
pp. 633-636
BDD-based symbolic model checking is capable of verifying systems with a large number of states. In this work, we report an extensible framework to facilitate symbolic encoding and checking of hierarchical systems. Firstly, a novel library of symbolic enco...
 
PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers
Found in: Software Reliability Engineering, International Symposium on
By Yang Liu,Jun Sun,Jin Song Dong
Issue Date:December 2011
pp. 190-199
Model checking is emerging as an effective software verification method. Although it is desirable to have a dedicated model checker for each application domain, implementing one is rather challenging. In this work, we develop an extensible and integrated a...
 
Contraction-Expansion Coefficient Learning in Quantum-Behaved Particle Swarm Optimization
Found in: International Symposium on Distributed Computing and Applications to Business, Engineering and Science
By Na Tian,Choi-Hong Lai,Koulis Pericleous,Jun Sun,Wenbo Xu
Issue Date:October 2011
pp. 303-308
Quantum-behaved particle swarm optimization was proposed from the view of quantum world and based on the particle swarm optimization, which has been proved to outperform the traditional PSO. The Expansion-Contraction coefficient is the only parameter in QP...
 
Image Registration with a Modified Quantum-Behaved Particle Swarm Optimization
Found in: International Symposium on Distributed Computing and Applications to Business, Engineering and Science
By Yu Bao,Jun Sun
Issue Date:October 2011
pp. 202-206
A revised quantum-behaved particle swarm optimization (RQPSO) with novel iterative equation is proposed, which uses hybrid of double exponential and normal probability distributions to sample the particle's position. The RQPSO is applied to medical image r...
 
Robust Vanishing Point Detection for MobileCam-Based Documents
Found in: Document Analysis and Recognition, International Conference on
By Xu-Cheng Yin,Hong-Wei Hao,Jun Sun,Satoshi Naoi
Issue Date:September 2011
pp. 136-140
Document images captured by a mobile phone camera often have perspective distortions. In this paper, fast and robust vanishing point detection methods for such perspective documents are presented. Most of previous methods are either slow or unstable. Based...
 
Improving Scene Text Detection by Scale-Adaptive Segmentation and Weighted CRF Verification
Found in: Document Analysis and Recognition, International Conference on
By Yi-Feng Pan,Yuanping Zhu,Jun Sun,Satoshi Naoi
Issue Date:September 2011
pp. 759-763
This paper presents a hybrid method for detecting and localizing texts in natural scene images by stroke segmentation, verification and grouping. To improve system performance, novelties on two aspects are proposed: 1) a scale-adaptive segmentation method ...
 
Recognizing Characters with Severe Perspective Distortion Using Hash Tables and Perspective Invariants
Found in: Document Analysis and Recognition, International Conference on
By Pan Pan,Yuanping Zhu,Jun Sun,Satoshi Naoi
Issue Date:September 2011
pp. 548-552
In this paper, we present a novel method to recognize characters with severe perspective distortion using hash tables and perspective invariants. The proposed algorithm consists of storage and voting stages. With the help of perspective invariants, the com...
 
Efficient Image Denoising by MRF Approximation with Uniform-Sampled Multi-spanning-tree
Found in: Image and Graphics, International Conference on
By Jun Sun,Hongdong Li,Xuming He
Issue Date:August 2011
pp. 88-93
Traditionally, image processing based on Markov Random Field (MRF) is often addressed on a 4-connected grid graph defined on the image. This structure is not computationally efficient. In our work, we develop a multiple-trees structure to approximate the 4...
 
Hybrid center-symmetric local pattern for dynamic background subtraction
Found in: Multimedia and Expo, IEEE International Conference on
By Gengjian Xue, Li Song, Jun Sun, Meng Wu
Issue Date:July 2011
pp. 1-6
Effective foreground detection in dynamic scenes is a challenging task in computer vision applications. In this paper, we propose a novel background modeling method to tackle this problem. First, we propose a second-order center-symmetric local derivative ...
 
On Natural Type Selection in Universal Multiple Description Coding
Found in: Data Compression Conference
By Yuhua Fan, Jia Wang, Jun Sun
Issue Date:March 2011
pp. 273-282
In this paper, we generalize the concept of natural type selection, initially proposed by R.Zamir \emph{et.al.}, to multiple description coding. We prove results that are parallel to those of adaptive single description coding. A universal multiple descrip...
 
 1  2 Next >>