Dong Wang

According to our database1, Dong Wang authored at least 565 papers between 1996 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Pedestrian Detection in Unmanned Aerial Vehicle Scene.
Proceedings of the Cognitive Internet of Things: Frameworks, Tools and Applications, 2019

Efficient Content Acquisition in WSN.
Wireless Personal Communications, 2019

Optimal Placement of Low-Altitude Aerial Base Station for Securing Communications.
IEEE Wireless Commun. Letters, 2019

CONet: A Cognitive Ocean Network.
IEEE Wireless Commun., 2019

Wireless MIMO Switching With Imperfect CSI in Frequency and Time Division Duplex.
IEEE Trans. Wireless Communications, 2019

Learning Descriptors With Cube Loss for View-Based 3-D Object Retrieval.
IEEE Trans. Multimedia, 2019

Classification of a DNA Microarray for Diagnosing Cancer Using a Complex Network Based Method.
IEEE/ACM Trans. Comput. Biology Bioinform., 2019

An 8 GSps 14 bit RF DAC With IM3<-62 dBc up to 3.6 GHz.
IEEE Trans. on Circuits and Systems, 2019

Some Single-Valued Neutrosophic Power Heronian Aggregation Operators and Their Application to Multiple-Attribute Group Decision-Making.
Symmetry, 2019

An Efficient Essential Secret Image Sharing Scheme Using Derivative Polynomial.
Symmetry, 2019

An Overview of End-to-End Automatic Speech Recognition.
Symmetry, 2019

End-to-End Mandarin Speech Recognition Combining CNN and BLSTM.
Symmetry, 2019

Improved Faster R-CNN Traffic Sign Detection Based on a Second Region of Interest and Highly Possible Regions Proposal Network.
Sensors, 2019

An LC Wireless Microfluidic Sensor Based on Low Temperature Co-Fired Ceramic (LTCC) Technology.
Sensors, 2019

Recent Advances in Brillouin Optical Time Domain Reflectometry.
Sensors, 2019

Cryptanalysis and improvement of dynamic quantum secret sharing protocol based on two-particle transform of Bell states.
Quantum Information Processing, 2019

A neural computing approach to the construction of information credibility assessments for online social networks.
Neural Computing and Applications, 2019

Optimization of site selection for construction and demolition waste recycling plant using genetic algorithm.
Neural Computing and Applications, 2019

Gradual recovery based occluded digit images recognition.
Multimedia Tools Appl., 2019

The Security DV-Hop Algorithm against Multiple-Wormhole-Node-Link in WSN.
TIIS, 2019

Speech Enhancement Using Modified MMSE-LSA and Phase Reconstruction in Voiced and Unvoiced Speech.
IJPRAI, 2019

A 1 GS/s 12-bit pipelined folding ADC with a novel encoding algorithm.
IEICE Electronic Express, 2019

A 10-GS/s 8-bit 4-way interleaved folding ADC in 0.18 µm SiGe-BiCMOS.
IEICE Electronic Express, 2019

Analysis of Weak Fault in Hydraulic System Based on Multi-scale Permutation Entropy of Fault-Sensitive Intrinsic Mode Function and Deep Belief Network.
Entropy, 2019

GradNet: Gradient-Guided Network for Visual Object Tracking.
CoRR, 2019

'Skimming-Perusal' Tracking: A Framework for Real-Time and Robust Long-term Tracking.
CoRR, 2019

VAE-based Domain Adaptation for Speaker Verification.
CoRR, 2019

signADAM: Learning Confidences for Deep Neural Networks.
CoRR, 2019

Towards Reliable Online Clickbait Video Detection: A Content-Agnostic Approach.
CoRR, 2019

C^3 Framework: An Open-source PyTorch Code for Crowd Counting.
CoRR, 2019

A Preliminary Study on Data Augmentation of Deep Learning for Image Classification.
CoRR, 2019

LMVP: Video Predictor with Leaked Motion Information.
CoRR, 2019

A One-step Pruning-recovery Framework for Acceleration of Convolutional Neural Networks.
CoRR, 2019

Exploiting Persona Information for Diverse Generation of Conversational Responses.
CoRR, 2019

A Gram-Gauss-Newton Method Learning Overparameterized Deep Neural Networks for Regression Problems.
CoRR, 2019

VAE-based regularization for deep speaker embedding.
CoRR, 2019

Neural IR Meets Graph Embedding: A Ranking Model for Product Search.
CoRR, 2019

A Survey of Optimization Approaches for Wireless Physical Layer Security.
CoRR, 2019

CONet: A Cognitive Ocean Network.
CoRR, 2019

A Survey of Optimization Approaches for Wireless Physical Layer Security.
IEEE Communications Surveys and Tutorials, 2019

Exploiting locational and topological overlap model to identify modules in protein interaction networks.
BMC Bioinformatics, 2019

RIscoper: a tool for RNA-RNA interaction extraction from the literature.
Bioinformatics, 2019

Finite-horizon filtering for a class of nonlinear time-delayed systems with an energy harvesting sensor.
Automatica, 2019

Social relationships classification using social contextual features and SVDD-based metric learning.
Appl. Soft Comput., 2019

Multi-Channel and Fusion Encoding Strategy Based Auto Encoder Model for Video Recommendation.
IEEE Access, 2019

Deep Auto Encoder Model With Convolutional Text Networks for Video Recommendation.
IEEE Access, 2019

Two Stage Shot Boundary Detection via Feature Fusion and Spatial-Temporal Convolutional Neural Networks.
IEEE Access, 2019

Precise Geometric Correction and Robust Mosaicking for Airborne Lightweight Optical Butting Infrared Imaging System.
IEEE Access, 2019

Pattern Recognition Using Relevant Vector Machine in Optical Fiber Vibration Sensing System.
IEEE Access, 2019

Enhancing Information Security via Physical Layer Approaches in Heterogeneous IoT With Multiple Access Mobile Edge Computing in Smart City.
IEEE Access, 2019

X-Ray Imager With a 20 mm Width Microstrip Line for the Extreme Ultraviolet Spectrometer.
IEEE Access, 2019

IMKPse: Identification of Protein Malonylation Sites by the Key Features Into General PseAAC.
IEEE Access, 2019

Neural IR Meets Graph Embedding: A Ranking Model for Product Search.
Proceedings of the World Wide Web Conference, 2019

Two Novel Structures of Broadband Wireless Communication for High-speed Flying Train in Vacuum Tube.
Proceedings of the 28th Wireless and Optical Communications Conference, 2019

AIRec: Attentive Intersection Model for Tag-Aware Recommendation.
Proceedings of the ISWC 2019 Satellite Tracks (Posters & Demonstrations, 2019

Relation Classification in Scientific Papers Based on Convolutional Neural Network.
Proceedings of the Natural Language Processing and Chinese Computing, 2019

MPCC-based Path Following Control for a Quadrotor with Collision Avoidance Guaranteed in Constrained Environments.
Proceedings of the 28th IEEE International Symposium on Industrial Electronics, 2019

Cooperative Game-based Multi-Agent Path Planning with Obstacle Avoidance*.
Proceedings of the 28th IEEE International Symposium on Industrial Electronics, 2019

A Generalized Moving Average Filter for Active Power Filter Applications.
Proceedings of the 28th IEEE International Symposium on Industrial Electronics, 2019

Interaction analysis of vector- and droop-controlled VSCs in parallel.
Proceedings of the IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2019

Latent Distribution Preserving Deep Subspace Clustering.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

CFM: Convolutional Factorization Machines for Context-Aware Recommendation.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Exploiting Persona Information for Diverse Generation of Conversational Responses.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Variable Strength Combinatorial Testing for Deep Neural Networks.
Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

When Social Sensing Meets Edge Computing: Vision and Challenges.
Proceedings of the 28th International Conference on Computer Communication and Networks, 2019

CollabDrone: A Collaborative Spatiotemporal-Aware Drone Sensing System Driven by Social Sensing Signals.
Proceedings of the 28th International Conference on Computer Communication and Networks, 2019

Online Single Person Tracking for Unmanned Aerial Vehicles: Benchmark and New Baseline.
Proceedings of the IEEE International Conference on Acoustics, 2019

Language Person Search with Mutually Connected Classification Loss.
Proceedings of the IEEE International Conference on Acoustics, 2019

Learning to Explain Chinese Slang Words.
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2019: Text and Time Series, 2019

Revising Attention with Position for Aspect-Level Sentiment Classification.
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2019: Text and Time Series, 2019

ASSV: handwritten signature verification using acoustic signals.
Proceedings of the 2019 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2019 ACM International Symposium on Wearable Computers, 2019

A Source Code Analysis Method with Parallel Acceleration for Mining MPI Application Communication Counts.
Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019

EdgeCache: A Game-Theoretic Edge-Based Content Caching System for Crowd Video Sharing.
Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019

EdgeStore: Towards an Edge-Based Distributed Storage System for Emergency Response.
Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019

The Service Design of Medication Administration System Based on IoT.
Proceedings of the HCI International 2019 - Late Breaking Posters, 2019

A Scalable OpenCL-Based FPGA Accelerator for YOLOv2.
Proceedings of the 27th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2019

DeepRisk: A Deep Transfer Learning Approach to Migratable Traffic Risk Estimation in Intelligent Transportation Using Social Sensing.
Proceedings of the 15th International Conference on Distributed Computing in Sensor Systems, 2019

ABM-SpConv: A Novel Approach to FPGA-Based Acceleration of Convolutional Neural Network Inference.
Proceedings of the 56th Annual Design Automation Conference 2019, 2019

Multi-Robot Formation and Tracking Control Method.
Proceedings of the 6th International Conference on Control, 2019

DeepPath: Path-Driven Testing Criteria for Deep Neural Networks.
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

Behavior Pattern-Driven Test Case Selection for Deep Neural Networks.
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

2018
The Effect of Satisfaction on Loyalty in Consumption and Service Industry Based on Meta-analysis and It's Algorithm.
Wireless Personal Communications, 2018

Multiobjective Design Optimization of High-Power Circular Winding Brushless DC Motor.
IEEE Trans. Industrial Electronics, 2018

A Postprocessing Strategy of a 3-DOF Parallel Tool Head Based on Velocity Control and Coarse Interpolation.
IEEE Trans. Industrial Electronics, 2018

Epileptic Seizure Detection in Long-Term EEG Recordings by Using Wavelet-Based Directed Transfer Function.
IEEE Trans. Biomed. Engineering, 2018

Research on weeds identification based on K-means feature learning.
Soft Comput., 2018

An event-triggered approach to robust recursive filtering for stochastic discrete time-varying spatial-temporal systems.
Signal Processing, 2018

Wheel Force Sensor-Based Techniques for Wear Detection and Analysis of a Special Road.
Sensors, 2018

Transformerless Ultrasonic Ranging System with the Feature of Intrinsic Safety for Explosive Environment.
Sensors, 2018

Real-Time Traffic Sign Detection and Recognition Method Based on Simplified Gabor Wavelets and CNNs.
Sensors, 2018

Real-Time Phase-Sensitive OTDR Based on Data Matrix Matching Method.
Sensors, 2018

Partial Discharge Ultrasound Detection Using the Sagnac Interferometer System.
Sensors, 2018

Robust linear representation via exploiting structure prior.
Pattern Recognition, 2018

Heterogeneous Similarity Learning for More Practical Kinship Verification.
Neural Processing Letters, 2018

Off-the-shelf CNN features for 3D object retrieval.
Multimedia Tools Appl., 2018

Centralized security-guaranteed filtering in multirate-sensor fusion under deception attacks.
J. Franklin Institute, 2018

Motor Anomaly Detection for Unmanned Aerial Vehicles Using Reinforcement Learning.
IEEE Internet of Things Journal, 2018

Early Diagnosis of plant disease via NIR spectroscopy: a Study in Bursaphelenchus Xylophilus disease.
I. J. Robotics and Automation, 2018

A Regional Mapping Method for Oilseed Rape Based on HSV Transformation and Spectral Features.
ISPRS Int. J. Geo-Information, 2018

Security DV-hop localisation algorithm against wormhole attack in wireless sensor network.
IET Wireless Sensor Systems, 2018

An automatic methodology for analyzing sorting level of rock particles.
Computers & Geosciences, 2018

Smart bacteria-foraging algorithm-based customized kernel support vector regression and enhanced probabilistic neural network for compaction quality assessment and control of earth-rock dam.
Expert Systems, 2018

Reliable routing in IP-based VANET with network gaps.
Computer Standards & Interfaces, 2018

Learning to Navigate for Fine-grained Classification.
CoRR, 2018

BRITS: Bidirectional Recurrent Imputation for Time Series.
CoRR, 2018

Exploring Linear Relationship in Feature Map Subspace for ConvNets Compression.
CoRR, 2018

Mobility management for 6LoWPAN WSN.
Computer Networks, 2018

Dairy goat detection based on Faster R-CNN from surveillance video.
Computers and Electronics in Agriculture, 2018

Detection of ventricular tachycardia and fibrillation using adaptive variational mode decomposition and boosted-CART classifier.
Biomed. Signal Proc. and Control, 2018

iLoc-lncRNA: predict the subcellular location of lncRNAs by incorporating octamer composition into general PseKNC.
Bioinformatics, 2018

SCFM: Social and crowdsourcing factorization machines for recommendation.
Appl. Soft Comput., 2018

EEG-Based Detection of Epileptic Seizures Through the Use of a Directed Transfer Function Method.
IEEE Access, 2018

A Logarithmic Detection Scheme in BOTDR With Low-Bandwidth Requests.
IEEE Access, 2018

All Your GPS Are Belong To Us: Towards Stealthy Manipulation of Road Navigation Systems.
Proceedings of the 27th USENIX Security Symposium, 2018

An empirical study on crash recovery bugs in large-scale distributed systems.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Shot Boundary Detection with Spatial-Temporal Convolutional Neural Networks.
Proceedings of the Pattern Recognition and Computer Vision - First Chinese Conference, 2018

Automatic 3D Garment Fitting Based on Skeleton Driving.
Proceedings of the Advances in Multimedia Information Processing - PCM 2018, 2018

BRITS: Bidirectional Recurrent Imputation for Time Series.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Enhancing the user experience with vertical transportation solutions.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, 2018

Stability of Stator-Flux-Based Controlled DFIG with Weak AC Grids.
Proceedings of the 2018 IEEE PES Innovative Smart Grid Technologies Conference Europe, 2018

Towards Optimized Online Task Allocation in Cost-Sensitive Crowdsensing Applications.
Proceedings of the 37th IEEE International Performance Computing and Communications Conference, 2018

Sea Ice Classification from Hyperspectral Images Based on Self-Paced Boost Learning.
Proceedings of the 2018 IEEE International Geoscience and Remote Sensing Symposium, 2018

Research On Multi-point Calibration Linear Approximation Indoor Positioning Algorithm Based On LED Array.
Proceedings of the 5th International Conference on Systems and Informatics, 2018

Depth-based Subgraph Convolutional Neural Networks.
Proceedings of the 24th International Conference on Pattern Recognition, 2018

Local Image Descriptors with Statistical Losses.
Proceedings of the 2018 IEEE International Conference on Image Processing, 2018

Research on road semantic segmentation based on hybrid auto-encoder.
Proceedings of the 10th International Conference on Internet Multimedia Computing and Service, 2018

Restricted stochastic pooling for convolutional neural network.
Proceedings of the 10th International Conference on Internet Multimedia Computing and Service, 2018

Identifying Transportation Modes Using Gradient Boosting Decision Tree.
Proceedings of the Intelligent Computing Theories and Application, 2018

A Semantic Context Model for Automatic Image Annotation.
Proceedings of the Intelligent Computing Theories and Application, 2018

Multi-information Fusion Based Mobile Attendance Scheme with Face Recognition.
Proceedings of the Intelligent Computing Theories and Application, 2018

Crowd Anomaly Event Detection in Surveillance Video Based on the Evolution of the Spatial Position Relationship Feature.
Proceedings of the 14th IEEE International Conference on Control and Automation, 2018

Gated Convolutional LSTM for Speech Commands Recognition.
Proceedings of the Computational Science - ICCS 2018, 2018

A novel generated method for high quality images.
Proceedings of the Tenth International Conference on Advanced Computational Intelligence, 2018

A calibration method for cuffless continue blood pressure measurement using Gaussian normalized pulse transit time.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2018

Wireless MIMO Switching with Imperfect Channel State Information.
Proceedings of the IEEE Global Communications Conference, 2018

Learning to Navigate for Fine-Grained Classification.
Proceedings of the Computer Vision - ECCV 2018, 2018

VV-Couplet: An open source Chinese couplet generation system.
Proceedings of the Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2018

RACORN-K: Risk-Aversion Pattern Matching-based Portfolio Selection.
Proceedings of the Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2018

An Exploratory Study to Identify Similar Patches: A Case Study in Modern Code Review.
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

Chinese Governmental Named Entity Recognition.
Proceedings of the Information Retrieval Technology, 2018

Deep Feature Fusion over Multi-field Categorical Data for Rating Prediction.
Proceedings of the 2018 Artificial Intelligence and Cloud Computing Conference, 2018

A Scalable FPGA Accelerator for Convolutional Neural Networks.
Proceedings of the Advanced Computer Architecture - 12th Conference, 2018

When Will You Arrive? Estimating Travel Time Based on Deep Neural Networks.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

The Experimental Implementation of GrabCut for Hardcode Subtitle Extraction.
Proceedings of the 17th IEEE/ACIS International Conference on Computer and Information Science, 2018

2017
Performance Analysis of a RTS/CTS-Based Channel Accessing Mechanism for MU-MIMO WLANs.
Wireless Personal Communications, 2017

Denoising of Hyperspectral Images Using Nonconvex Low Rank Matrix Approximation.
IEEE Trans. Geoscience and Remote Sensing, 2017

Data-driven image completion for complex objects.
Sig. Proc.: Image Comm., 2017

Exploiting long-term and short-term preferences and RFID trajectories in shop recommendation.
Softw., Pract. Exper., 2017

An Adaptive Clustering Approach Based on Minimum Travel Route Planning for Wireless Sensor Networks with a Mobile Sink.
Sensors, 2017

The influence of local government decision-making competition on enterprise innovation investment under information asymmetry and multiple risk appetite type.
Kybernetes, 2017

Anti-disturbance proportional integral attitude control and stabilization of rolling hydraulic position system.
J. Systems & Control Engineering, 2017

A Novel Engine: Complex Event Processing with LAIPE.
JCP, 2017

Sector-based Charging Schedule in Rechargeable Wireless Sensor Networks.
TIIS, 2017

Research on the dynamic characteristics of a 3-DOF parallel tool head.
Industrial Robot, 2017

Kinematic calibration of a 3-DOF parallel tool head.
Industrial Robot, 2017

Adopting Sector-Based Replacement (SBR) and Utilizing Air-R to Achieve R-WSN Sustainability.
Information, 2017

Distributed optimisation for multi-agent systems with the first-order integrals under Markovian switching topologies.
Int. J. Systems Science, 2017

Adaptive tracking control for non-affine nonlinear systems with non-affine function possibly being discontinuous.
Int. J. Systems Science, 2017

A control Strategy of a 2-DOF Parallel manipulator with fractional order PDμ control.
I. J. Robotics and Automation, 2017

View-based 3D object retrieval with discriminative views.
Neurocomputing, 2017

Mining intrinsic information by matrix factorization-based approaches for collaborative filtering in recommender systems.
Neurocomputing, 2017

Addressing for 6LoWPAN based on multi-hop clusters.
IJIPT, 2017

Skyline recommendation in distributed networks.
Int. Arab J. Inf. Technol., 2017

Distributed proxy cache technology based on autonomic computing in smart cities.
Future Generation Comp. Syst., 2017

Sentiment community detection: exploring sentiments and relationships in social networks.
Electronic Commerce Research, 2017

Standards News.
IEEE Communications Standards Magazine, 2017

Mobility support for vehicular networks based on vehicle trees.
Computer Standards & Interfaces, 2017

Software Engineering Solutions To Support Vertical Transportation.
CoRR, 2017

Design, Modeling and Dynamic Compensation PID Control of a Fully-Actuated Aerial Manipulation System.
CoRR, 2017

ℒ0 Gradient-Preserving Color Transfer.
Comput. Graph. Forum, 2017

Weed identification based on K-means feature learning combined with convolutional neural network.
Computers and Electronics in Agriculture, 2017

SGMR: Sentiment-Aligned Generative Model for Reviews.
Proceedings of the Web Information Systems Engineering - WISE 2017, 2017

Robust C-RAN Precoder Design for Wireless Fronthaul with Imperfect Channel State Information.
Proceedings of the 2017 IEEE Wireless Communications and Networking Conference, 2017

Research on Coverage Enhancement of Narrowband M2M Communications Based on Unlicensed Spectrum.
Proceedings of the 86th IEEE Vehicular Technology Conference, 2017

Pilot Contamination Attack Detection Using Random Symbols for Massive MIMO Systems.
Proceedings of the 85th IEEE Vehicular Technology Conference, 2017

Sketch Based Model-Like Standing Style Recommendation.
Proceedings of the Advances in Multimedia Information Processing - PCM 2017, 2017

Optimizations of the Whole Function Vectorization Based on SIMD Characteristics.
Proceedings of the Parallel Architecture, Algorithm and Programming, 2017

A Service Oriented Routing Scheme for Internet of Things.
Proceedings of the 2017 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2017

Online Vehicle Tracking in Aerial Imagery.
Proceedings of the Intelligence Science and Big Data Engineering, 2017

SoGeM: Social Based Generative Model for Top-N Recommendation.
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

Design and implementation of a location based service business management platform.
Proceedings of the 4th International Conference on Systems and Informatics, 2017

A Gaussian process regression method for urban road travel time prediction.
Proceedings of the 13th International Conference on Natural Computation, 2017

TIVMM: An effective map algorithm for low-sampling-rate GPS trajectories in road networks.
Proceedings of the 13th International Conference on Natural Computation, 2017

Forecasting of the electric vehicles' charging amount of electricity based on curves clustering.
Proceedings of the 13th International Conference on Natural Computation, 2017

A resolution of sharing private charging piles based on smart contract.
Proceedings of the 13th International Conference on Natural Computation, 2017

A zero human-intervention provisioning for industrial IoT devices.
Proceedings of the IEEE International Conference on Industrial Technology, 2017

Distributed Processing of Continuous Range Queries Over Moving Objects.
Proceedings of the Intelligent Computing Theories and Application, 2017

Identity Authentication Technology of Mobile Terminal Based on Cloud Face Recognition.
Proceedings of the Intelligent Computing Theories and Application, 2017

DeepSD: Supply-Demand Prediction for Online Car-Hailing Services Using Deep Neural Networks.
Proceedings of the 33rd IEEE International Conference on Data Engineering, 2017

Segmentation of Time Series Based on Kinetic Characteristics for Storage Consumption Prediction.
Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

VMS real-time distributed simulation system design.
Proceedings of the 13th IEEE International Conference on Control & Automation, 2017

Asynchronous pilots scheduling in massive MIMO systems.
Proceedings of the IEEE International Conference on Communications, 2017

PipeCNN: An OpenCL-based open-source FPGA accelerator for convolution neural networks.
Proceedings of the International Conference on Field Programmable Technology, 2017

Observer-based dynamic output-feedback protocol for H∞ tracking control of multi-agent systems.
Proceedings of the 11th Asian Control Conference, 2017

Memory-augmented Chinese-Uyghur neural machine translation.
Proceedings of the 2017 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2017

Speaker recognition with cough, laugh and "Wei".
Proceedings of the 2017 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2017

Enhanced neural machine translation by learning from draft.
Proceedings of the 2017 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2017

Cross-lingual speaker verification with deep feature learning.
Proceedings of the 2017 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2017

PHD: A Probabilistic Model of Hybrid Deep Collaborative Filtering for Recommender Systems.
Proceedings of The 9th Asian Conference on Machine Learning, 2017

Discourse Mode Identification in Essays.
Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics, 2017

Implementation of the protein sequence model based on ant colony optimization algorithm.
Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017

2016
Achieving High Energy Efficiency and Physical-Layer Security in AF Relaying.
IEEE Trans. Wireless Communications, 2016

Applying Geometric Function on Sensors 3D Gait Data for Human Identification.
Trans. Computational Science, 2016

Secure Green Communication via Untrusted Two-Way Relaying: A Physical Layer Approach.
IEEE Trans. Communications, 2016

Noninvasive Estimation of Respiratory Mechanics in Spontaneously Breathing Ventilated Patients: A Constrained Optimization Approach.
IEEE Trans. Biomed. Engineering, 2016

Iteration Interleaving-Based SIMD Lane Partition.
TACO, 2016

FaceHunter: A multi-task convolutional neural network based face detector.
Sig. Proc.: Image Comm., 2016

A Topic Space Oriented User Group Discovering Scheme in Social Network: A Trust Chain Based Interest Measuring Perspective.
Scientific Programming, 2016

Robust MIMO radar target localization via nonconvex optimization.
Signal Processing, 2016

Two Lax systems for the Painlevé II Equation, and Two Related Kernels in Random Matrix Theory.
SIAM J. Math. Analysis, 2016

Design and Performance Analysis of an Intrinsically Safe Ultrasonic Ranging Sensor.
Sensors, 2016

Distributed Fiber-Optic Sensors for Vibration Detection.
Sensors, 2016

Inference on the reliability of Weibull distribution with multiply Type-I censored data.
Rel. Eng. & Sys. Safety, 2016

Handling Uncertainties in Fault Tree Analysis by a Hybrid Probabilistic-Possibilistic Framework.
Quality and Reliability Eng. Int., 2016

Extended compressed tracking via random projection based on MSERs and online LS-SVM learning.
Pattern Recognition, 2016

Nonlinear pulse shaping-assisted ultrashort optical pulse generation.
Photonic Network Communications, 2016

Optical time-division multiplexing signal processing using electro-optic modulators.
Photonic Network Communications, 2016

Recent advances on filtering and control for cyber-physical systems under security and resource constraints.
J. Franklin Institute, 2016

Exploring the Performance of Authentication Mechanism in Integrated Cloud Services Environment with CSP.
JCM, 2016

A Novel Complex Event Processing Engine for Intelligent Data Analysis in Integrated Information Systems.
IJDSN, 2016

An Implementation of Multiple-Standard Video Decoder on a Mixed-Grained Reconfigurable Computing Platform.
IEICE Transactions, 2016

Hierarchical Chunking of Sequential Memory on Neuromorphic Architecture with Reduced Synaptic Plasticity.
Front. Comput. Neurosci., 2016

Optimal addressing-based routing for 6LoWPAN.
Computer Standards & Interfaces, 2016

Can Machine Generate Traditional Chinese Poetry? A Feigenbaum Test.
CoRR, 2016

PipeCNN: An OpenCL-Based FPGA Accelerator for Large-Scale Convolution Neuron Networks.
CoRR, 2016

A Universal Update-pacing Framework For Visual Tracking.
CoRR, 2016

Addressing for 6LoWPAN WBAN.
Computer Methods and Programs in Biomedicine, 2016

Weed detection using image processing under different illumination for site-specific areas spraying.
Computers and Electronics in Agriculture, 2016

PharmacoGx: an R package for analysis of large pharmacogenomic datasets.
Bioinformatics, 2016

SocialFM: A Social Recommender System with Factorization Machines.
Proceedings of the Web-Age Information Management - 17th International Conference, 2016

Distributed fiber-optic vibration detection system.
Proceedings of the 13th International Conference on Ubiquitous Robots and Ambient Intelligence, 2016

Research on automatic decision making of UAV based on Plan Goal Graph.
Proceedings of the 2016 IEEE International Conference on Robotics and Biomimetics, 2016

Clustered device-to-device caching based on file preferences.
Proceedings of the 27th IEEE Annual International Symposium on Personal, 2016

Outer-Loop Auto-Vectorization for SIMD Architectures Based on Open64 Compiler.
Proceedings of the 17th International Conference on Parallel and Distributed Computing, 2016

The Battle for singles' Day: How Social Media Marketing Campaigns Boost Sales.
Proceedings of the 20th Pacific Asia Conference on Information Systems, 2016

Relation Classification: CNN or RNN?
Proceedings of the Natural Language Understanding and Intelligent Applications, 2016

Learning from LDA Using Deep Neural Networks.
Proceedings of the Natural Language Understanding and Intelligent Applications, 2016

Game Based Wireless Fronthaul C-RAN Baseband Function Splitting and Placement.
Proceedings of the 12th International Conference on Mobile Ad-Hoc and Sensor Networks, 2016

Exploring Discriminative Views for 3D Object Retrieval.
Proceedings of the MultiMedia Modeling - 22nd International Conference, 2016

Dynamic Per-Warp Reconvergence Stack for Efficient Control Flow Handling in GPUs.
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2016

Traffic signal networks control optimize with PSO algorithm.
Proceedings of the 12th International Conference on Natural Computation, 2016

A universal update-pacing framework for visual tracking.
Proceedings of the 2016 IEEE International Conference on Image Processing, 2016

Integral Nonlinear Fitting and Calibration of High Precision Analog-Digital Converters.
Proceedings of the 13th International Conference on Embedded Software and Systems, 2016

Automatic user identification method across heterogeneous mobility data sources.
Proceedings of the 32nd IEEE International Conference on Data Engineering, 2016

VMF-SNE: Embedding for spherical data.
Proceedings of the 2016 IEEE International Conference on Acoustics, 2016

DESTPRE: a data-driven approach to destination prediction for taxi rides.
Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2016

QoS aware molecular activation and communication scheme in molecular nanoscale sensor networks.
Proceedings of the 18th IEEE International Conference on e-Health Networking, 2016

Characterization and reconstruction of VOG noise with power spectral density analysis.
Proceedings of the Ninth Biennial ACM Symposium on Eye Tracking Research & Applications, 2016

Hip joint geometry effects on cartilage contact stresses during a gait cycle.
Proceedings of the 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2016

ETCPS: An Effective and Scalable Traffic Condition Prediction System.
Proceedings of the Database Systems for Advanced Applications, 2016

An Iterative Maximum Entropy Thresholding Algorithm.
Proceedings of the 2016 International Conference on Cyberworlds, 2016

An improved artificial immune network algorithm for data clustering based on secondary competition selection.
Proceedings of the IEEE Congress on Evolutionary Computation, 2016

Dictionary Co-Learning for Multiple-Shot Person Re-Identification.
Proceedings of the Biometric Recognition - 11th Chinese Conference, 2016

Deep and Sparse Learning in Speech and Language Processing: An Overview.
Proceedings of the Advances in Brain Inspired Cognitive Systems, 2016

Can Machine Generate Traditional Chinese Poetry? A Feigenbaum Test.
Proceedings of the Advances in Brain Inspired Cognitive Systems, 2016

FHSM: Factored Hybrid Similarity Methods for Top-N Recommender Systems.
Proceedings of the Web Technologies and Applications - 18th Asia-Pacific Web Conference, 2016

User Actions and Timestamp Based Personalized Recommendation for E-Commerce System.
Proceedings of the 2016 IEEE International Conference on Computer and Information Technology, 2016

2015
Correction to "An Energy-Efficient Coarse-Grained Reconfigurable Processing Unit for Multiple-Standard Video Decoding".
IEEE Trans. Multimedia, 2015

An Energy-Efficient Coarse-Grained Reconfigurable Processing Unit for Multiple-Standard Video Decoding.
IEEE Trans. Multimedia, 2015

Efficient Graph Similarity Search Over Large Graph Databases.
IEEE Trans. Knowl. Data Eng., 2015

Monitoring the Speed, Configurations, and Weight of Vehicles Using an In-Situ Wireless Sensing Network.
IEEE Trans. Intelligent Transportation Systems, 2015

A Prototype Integrated Monitoring System for Pavement and Traffic Based on an Embedded Sensing Network.
IEEE Trans. Intelligent Transportation Systems, 2015

Energy Efficient Secure Communication Over Decode-and-Forward Relay Channels.
IEEE Trans. Communications, 2015

An Integrator-Based Pipelined ADC With Digital Calibration.
IEEE Trans. on Circuits and Systems, 2015

Improving Atomic Force Microscopy Imaging by a Direct Inverse Asymmetric PI Hysteresis Model.
Sensors, 2015

Design and Implementation of an Intrinsically Safe Liquid-Level Sensor Using Coaxial Cable.
Sensors, 2015

Structural Model of RNA Polymerase II Elongation Complex with Complete Transcription Bubble Reveals NTP Entry Routes.
PLoS Computational Biology, 2015

How to reduce local government decision-making competition in China's new urbanization process.
Kybernetes, 2015

Optimal Control of Semilinear Unbounded Evolution Inclusions with Functional Constraints.
J. Optimization Theory and Applications, 2015

Robust reliable H∞ control for uncertain stochastic spatial-temporal systems: The output feedback case.
J. Franklin Institute, 2015

TripRec: An Efficient Approach for Trip Planning with Time Constraints.
IJDWM, 2015

Top-k queries on RDF graphs.
Inf. Sci., 2015

The Who-To-Follow System at Twitter: Strategy, Algorithms, and Revenue Impact.
Interfaces, 2015

The development of AgCl-H2Ti2O5 nanowires composite as a room temperature sensor for the detection of element mercury.
IJSNet, 2015

Nearest Neighbor Search with the Revised TLAESA.
IEICE Transactions, 2015

B-SCT: Improve SpMV processing on SIMD architectures.
IEICE Electronic Express, 2015

Design and analysis of communication scheduling applied in water inrush perception layer of mine internet of things.
Comput. Syst. Sci. Eng., 2015

Opinion summarization on spontaneous conversations.
Computer Speech & Language, 2015

Relation Classification via Recurrent Neural Network.
CoRR, 2015

Learning from LDA using Deep Neural Networks.
CoRR, 2015

THCHS-30 : A Free Chinese Speech Corpus.
CoRR, 2015

VMF-SNE: Embedding for Spherical Data.
CoRR, 2015

Stochastic Top-k ListNet.
CoRR, 2015

Deep Representation of Facial Geometric and Photometric Attributes for Automatic 3D Facial Expression Recognition.
CoRR, 2015

Application of 3D imaging in the real-time US-CT fusion navigation for minimal invasive tumor therapy.
Int. J. Comput. Assist. Radiol. Surg., 2015

GC3-biased gene domains in mammalian genomes.
Bioinformatics, 2015

Analyze Login and Certification Time Based on SOA with EIP Architecture.
Proceedings of the 2015 IEEE 12th Intl Conf on Ubiquitous Intelligence and Computing and 2015 IEEE 12th Intl Conf on Autonomic and Trusted Computing and 2015 IEEE 15th Intl Conf on Scalable Computing and Communications and Its Associated Workshops (UIC-ATC-ScalCom), 2015

Exploring the User Response Time of Login Application Based on SOAE.
Proceedings of the 2015 IEEE 12th Intl Conf on Ubiquitous Intelligence and Computing and 2015 IEEE 12th Intl Conf on Autonomic and Trusted Computing and 2015 IEEE 15th Intl Conf on Scalable Computing and Communications and Its Associated Workshops (UIC-ATC-ScalCom), 2015

Duplicate Report Detection in Urban Crowdsensing Applications for Smart City.
Proceedings of the 2015 IEEE International Conference on Smart City/SocialCom/SustainCom 2015, 2015

Extensible neuromorphic computing simulator based on a programmable hardware.
Proceedings of the 2015 15th Non-Volatile Memory Technology Symposium (NVMTS), 2015

FPGA-based neuromorphic computing system with a scalable routing network.
Proceedings of the 2015 15th Non-Volatile Memory Technology Symposium (NVMTS), 2015

A new computing rule for neuromorphic engineering.
Proceedings of the 2015 15th Non-Volatile Memory Technology Symposium (NVMTS), 2015

Novel Approaches for Shop Recommendation in Large Shopping Mall Scenario: From Matrix Factorization to Tensor Decomposition.
Proceedings of the Knowledge Science, Engineering and Management, 2015

Click-through Prediction for Advertising in Twitter Timeline.
Proceedings of the 21th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2015

Commentary on Application of Data Mining in Fruit Quality Evaluation.
Proceedings of the Computer and Computing Technologies in Agriculture IX, 2015

A novel circular winding brushless DC(CWBLDC) machine with low torque ripple.
Proceedings of the IECON 2015, 2015

Load commutation of the circular winding brushless DC machine(CWBLDC).
Proceedings of the IECON 2015, 2015

Dual-mode video stabilization based on adaptive motion clustering.
Proceedings of the 7th International Conference on Internet Multimedia Computing and Service, 2015

Hierarchical Convolutional Neural Network for Face Detection.
Proceedings of the Image and Graphics - 8th International Conference, 2015

Low-Rank Matrix Factorization under General Mixture Noise Distributions.
Proceedings of the 2015 IEEE International Conference on Computer Vision, 2015

Design of downlink training sequences for FDD massive MIMO systems.
Proceedings of the 2015 IEEE International Conference on Communications, 2015

Secure green communication for amplify-and-forward relaying with eavesdroppers.
Proceedings of the 2015 IEEE International Conference on Communications, 2015

Energy efficiency maximization for secure data transmission over DF relay networks.
Proceedings of the 2015 IEEE International Conference on Communications, 2015

A Mixed-Grained Reconfigurable Computing Platform for Multiple-Standard Video Decoding (Abstract Only).
Proceedings of the 2015 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2015

Stochastic Top-k ListNet.
Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, 2015

Constrained optimization for noninvasive estimation of work of breathing.
Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015

Multi-view Clustering via Structured Low-rank Representation.
Proceedings of the 24th ACM International Conference on Information and Knowledge Management, 2015

Low-frequency word enhancement with similar pairs in speech recognition.
Proceedings of the IEEE China Summit and International Conference on Signal and Information Processing, 2015

Adaptive multi-view clustering via cross trace lasso.
Proceedings of the 3rd IAPR Asian Conference on Pattern Recognition, 2015

Extraction of Event Elements Based on Event Ontology Reasoning.
Proceedings of the Intelligent Information and Database Systems - 7th Asian Conference, 2015

2014
SimRPU: A Simulation Environment for Reconfigurable Architecture Exploration.
IEEE Trans. VLSI Syst., 2014

(M, p, k)-Friendly Points: A Table-Based Method to Evaluate Trigonometric Function.
IEEE Trans. on Circuits and Systems, 2014

Complex Function Approximation Using Two-Dimensional Interpolation.
IEEE Trans. Computers, 2014

An egocentric semantic reference system for affordances.
Semantic Web, 2014

Cryptanalysis and improvement of three-particle deterministic secure and high bit-rate direct quantum communication protocol.
Quantum Information Processing, 2014

IncOrder: Incremental density-based community detection in dynamic networks.
Knowl.-Based Syst., 2014

Real-time Multiresolution Rendering for Dynamic Terrain.
JSW, 2014

A risk assessment method based on RBF artificial neural network - cloud model for urban water hazard.
Journal of Intelligent and Fuzzy Systems, 2014

Representative selection based on sparse modeling.
Neurocomputing, 2014

Encoder combined video moving object detection.
Neurocomputing, 2014

An extending description logic for action formalism in event ontology.
IJCSE, 2014

Bivariate analysis of typical hydrological series of the yellow river.
Int. J. Comput. Intell. Syst., 2014

Reduced-error constant correction truncated multiplier.
IEICE Electronic Express, 2014

A parallel arithmetic array for accelerating compute-intensive applications.
IEICE Electronic Express, 2014

Verification and validation in railway signalling engineering - an application of enterprise systems techniques.
Enterprise IS, 2014

Decoy state measurement-device-independent quantum key distribution based on the Clauser-Horne-Shimony-Holt inequality.
CoRR, 2014

Field and long-term demonstration of a wide area quantum key distribution network.
CoRR, 2014

Implementation of multi-standard video decoder on a heterogeneous coarse-grained reconfigurable processor.
SCIENCE CHINA Information Sciences, 2014

Learning machines: Rationale and application in ground-level ozone prediction.
Appl. Soft Comput., 2014

Holistic Subgraph Search over Large Graphs.
Proceedings of the Web-Age Information Management - 15th International Conference, 2014

Improved 2DLDA Algorithm and Its Application in Face Recognition.
Proceedings of the 13th IEEE International Conference on Trust, 2014

Real-time summarization of user-generated videos based on semantic recognition.
Proceedings of the ACM International Conference on Multimedia, MM '14, Orlando, FL, USA, November 03, 2014

The diffserv cognitive network node with Controlled-UDP.
Proceedings of the IEEE International Symposium on Circuits and Systemss, 2014

A novel secure MIMO cognitive network.
Proceedings of the IEEE International Symposium on Circuits and Systemss, 2014

Learning Flexible Block based Local Binary Patterns for unconstrained face detection.
Proceedings of the IEEE International Conference on Multimedia and Expo, 2014

Evaluation on Huawei Accurate and Fast Mobile Video Annotation Challenge.
Proceedings of the 2013 IEEE International Conference on Multimedia and Expo Workshops, 2014

Semi-supervised subspace segmentation.
Proceedings of the 2014 IEEE International Conference on Image Processing, 2014

±π/2-Phase-shift spectral phase encoding for security improvement in the optical code based system.
Proceedings of the 2014 IEEE/CIC International Conference on Communications in China, 2014

The Analysis and Research of the Smart Phone's User Interface Based on Chinese Elderly's Cognitive Character.
Proceedings of the Universal Access in Human-Computer Interaction. Aging and Assistive Environments, 2014

gst-Store: An Engine for Large RDF Graph Integrating Spatiotemporal Information.
Proceedings of the 17th International Conference on Extending Database Technology, 2014

The security of link signature: A view from channel models.
Proceedings of the IEEE Conference on Communications and Network Security, 2014

Photonic millimeter-wave-band ultra-wideband signal generation based on a dual-drive Mach-Zehnder modulator.
Proceedings of the 9th International Conference on Communications and Networking in China, 2014

A downlink group pre-coding scheme for MBMS in distributed MIMO system.
Proceedings of the IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, 2014

2013
Multimodal Sparse Representation-Based Classification for Lung Needle Biopsy Images.
IEEE Trans. Biomed. Engineering, 2013

Quantum secure direct communication with optimal quantum superdense coding by using general four-qubit states.
Quantum Information Processing, 2013

A Two-State Model for the Dynamics of the Pyrophosphate Ion Release in Bacterial RNA Polymerase.
PLoS Computational Biology, 2013

Using Bi-level Multi-Objective Programming in Passenger Structure Optimization for Comprehensive Transportation Channel.
JSW, 2013

A Parsing Mode based Method for Malformed SIP Messages Testing for IMS Network.
JNW, 2013

Using Markov Process for Passenger Structure Prediction within Comprehensive Transportation Channel.
JCP, 2013

Security Spectrum Auction Framework for Cognitive Radio Networks.
JCP, 2013

Optimised image retargeting using aesthetic-based cropping and scaling.
IET Image Processing, 2013

A high-throughput fixed-point complex divider for FPGAs.
IEICE Electronic Express, 2013

An Identification of the Growing Area of Longjing Tea Based on the Fisher's Discriminant Analysis with the Combination of Principal Components Analysis.
Intelligent Automation & Soft Computing, 2013

Basophile: Accurate Fragment Charge State Prediction Improves Peptide Identification Rates.
Genomics, Proteomics & Bioinformatics, 2013

ReSSIM: a mixed-level simulator for dynamic coarse-grained reconfigurable processor.
SCIENCE CHINA Information Sciences, 2013

A graph theory-based approach to route location in railway interlocking.
Computers & Industrial Engineering, 2013

Transductive cost-sensitive lung cancer image classification.
Appl. Intell., 2013

WTF: the who to follow service at Twitter.
Proceedings of the 22nd International World Wide Web Conference, 2013

Cluster dynamics analysis of human mobile network in urban environment.
Proceedings of the Tenth International Conference on Wireless and Optical Communications Networks, 2013

Connectivity-enhanced interference-aware cooperative energy spanner in 3D cooperative wireless ad hoc networks.
Proceedings of the Tenth International Conference on Wireless and Optical Communications Networks, 2013

A 25-GHz ultra-short optical pulse source applicable for 200-Gb/s OTDM transmission over 300km.
Proceedings of the 22nd Wireless and Optical Communication Conference, 2013

Subpicosecond pulse generator based on phase modulator and dual-stage nonlinear pulse compressor.
Proceedings of the 22nd Wireless and Optical Communication Conference, 2013

Detecting Opinion Drift from Chinese Web Comments Based on Sentiment Distribution Computing.
Proceedings of the Web Information Systems Engineering - WISE 2013, 2013

Battery-Aware MAC Analytical Modeling for Extending Lifetime of Low Duty-Cycled Wireless Sensor Network.
Proceedings of the IEEE Eighth International Conference on Networking, 2013

Auditory features based on Gammatone filters for robust speech recognition.
Proceedings of the 2013 IEEE International Symposium on Circuits and Systems (ISCAS2013), 2013

Implementation of multi-standard video decoding algorithms on a coarse-grained reconfigurable multimedia processor.
Proceedings of the 2013 IEEE International Symposium on Circuits and Systems (ISCAS2013), 2013

Edge Detection Algorithm Based on Grey System Theory Combined with Directed Graph.
Proceedings of the Seventh International Conference on Image and Graphics, 2013

Fast Shape Matching of Height Functions with Heuristic Search Strategy.
Proceedings of the Seventh International Conference on Image and Graphics, 2013

Understanding computer-directed utterances in multi-user dialog systems.
Proceedings of the IEEE International Conference on Acoustics, 2013

Carbon Dynamics of Pinus Massoniana Plantations Following a Thinning Treatment 5 Years and 10 Years Before.
Proceedings of the Geo-Informatics in Resource Management and Sustainable Ecosystem, 2013

S-store: An Engine for Large RDF Graph Integrating Spatial Information.
Proceedings of the Database Systems for Advanced Applications, 2013

Graph similarity search with edit distance constraint in large graph databases.
Proceedings of the 22nd ACM International Conference on Information and Knowledge Management, 2013

An energy-efficient coarse-grained dynamically reconfigurable fabric for multiple-standard video decoding applications.
Proceedings of the IEEE 2013 Custom Integrated Circuits Conference, 2013

Automatic Matting of Identification Photos.
Proceedings of the 2013 International Conference on Computer-Aided Design and Computer Graphics, 2013

Emerging spectrum regulation for Medical Body Area Network.
Proceedings of the 2013 IEEE International Conference on Body Sensor Networks, 2013

Using Audit Logs to Compare Approaches to Clinical Documentation.
Proceedings of the AMIA 2013, 2013

2012
A Parameter Matrix Based Approach to Computing Minimal Hitting Sets.
Proceedings of the Modern Advances in Intelligent Systems and Tools, 2012

A Radix-16 Combined Complex Division/Square Root Unit with Operand Prescaling.
IEEE Trans. Computers, 2012

A cross-corpus study of subjectivity identification using unsupervised learning.
Natural Language Engineering, 2012

A Fuzzy Evaluation Model for Habitat Suitability of Four Major Chinese Carps.
Multiple-Valued Logic and Soft Computing, 2012

Hybrid Recommendation Models for Binary User Preference Prediction Problem.
Proceedings of KDD Cup 2011 competition, San Diego, CA, USA, 2011, 2012

Interference-Aware Fault-Tolerant Energy Spanner in Wireless Ad Hoc Networks.
IJDSN, 2012

The Eco-Knowledge City Theory and its Practice in Shenzhen of China.
IJABIM, 2012

The relationship between rational drug design and drug side effects.
Briefings in Bioinformatics, 2012

A noise-aware click model for web search.
Proceedings of the Fifth International Conference on Web Search and Web Data Mining, 2012

An enhanced link adaptation for the MB-OFDM UWB system.
Proceedings of the 2012 IEEE Wireless Communications and Networking Conference, 2012

Detecting Positive Opinion Leader Group from Forum.
Proceedings of the Web-Age Information Management - 13th International Conference, 2012

A Novel Two-Level Hybrid Algorithm for Multiple Traveling Salesman Problems.
Proceedings of the Advances in Swarm Intelligence - Third International Conference, 2012

Quantum-Behaved Particle Swarm Optimization Algorithm Based on Border Mutation and Chaos for Vehicle Routing Problem.
Proceedings of the Advances in Swarm Intelligence - Third International Conference, 2012

Fast Pedestrian Detection Based on Sliding Window Filtering.
Proceedings of the Advances in Multimedia Information Processing - PCM 2012, 2012

A Simulation System Based on OGRE and PhysX for Flexible Aircraft Assembly.
Proceedings of the 26th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation, 2012

A fast video event recognition system and its application to video search.
Proceedings of the 20th ACM Multimedia Conference, MM '12, Nara, Japan, October 29, 2012

Effort of Genre Variation and Prediction of System Performance.
Proceedings of the Eighth International Conference on Language Resources and Evaluation, 2012

A sub-2W 10GBase-T analog front-end in 40nm CMOS process.
Proceedings of the 2012 IEEE International Solid-State Circuits Conference, 2012

The Measurement and Analysis of KAD Network.
Proceedings of the Trustworthy Computing and Services - International Conference, ISCTCS 2012, Beijing, China, May 28, 2012

Local color editing using color classification and boundary inpainting.
Proceedings of the 21st International Conference on Pattern Recognition, 2012

A robust multivariate reranking algorithm for Question Answering enrichment.
Proceedings of the 19th IEEE International Conference on Image Processing, 2012

Block relay for physical-layer network coding.
Proceedings of the 2012 IEEE Global Communications Conference, 2012

Decoding wrist kinematics from local field potentials of the ipsilateral primary motor and dorsal premotor cortices.
Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2012

Decoding grasp types with high frequency of local field potentials from primate primary dorsal premotor cortex.
Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2012

Baseline Results for Violence Detection in Still Images.
Proceedings of the Ninth IEEE International Conference on Advanced Video and Signal-Based Surveillance, 2012

Keyword Graph: Answering Keyword Search over Large Graphs.
Proceedings of the Advanced Data Mining and Applications, 8th International Conference, 2012

A Two-step Approach to Sentence Compression of Spoken Utterances.
Proceedings of the 50th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference, July 8-14, 2012, Jeju Island, Korea, 2012

2011
Saliency-driven scaling optimization for image retargeting.
The Visual Computer, 2011

Stochastic Pronunciation Modeling for Out-of-Vocabulary Spoken Term Detection.
IEEE Trans. Audio, Speech & Language Processing, 2011

Letter-to-Sound Pronunciation Prediction Using Conditional Random Fields.
IEEE Signal Process. Lett., 2011

A New Algorithm of Service Discovery Based on DHT for Mobile Application.
JNW, 2011

Organizational culture and knowledge creation capability.
J. Knowledge Management, 2011

FPGA implementation of Kalman filter for neural ensemble decoding of rat's motor cortex.
Neurocomputing, 2011

A new linguistic MCDM method based on multiple-criterion data fusion.
Expert Syst. Appl., 2011

Wavelet-Based Analysis on the Complexity of Hydrologic Series Data under Multi-Temporal Scales.
Entropy, 2011

Effective recognition of MCCs in mammograms using an improved neural classifier.
Eng. Appl. of AI, 2011

Development of an internet based system for modeling biotin metabolism using Bayesian networks.
Computer Methods and Programs in Biomedicine, 2011

RFID based model for an intelligent port.
Computers in Industry, 2011

Wavelet Method for Nonlinear Partial Differential Equations of Fractional Order.
Computer and Information Science, 2011

A Cross-corpus Study of Unsupervised Subjectivity Identification based on Calibrated EM.
Proceedings of the 2nd Workshop on Computational Approaches to Subjectivity and Sentiment Analysis, 2011

Color transfer using scattered point interpolation.
Proceedings of the 10th International Conference on Virtual Reality Continuum and its Applications in Industry, 2011

Atavistic Strategy for Genetic Algorithm.
Proceedings of the Advances in Swarm Intelligence - Second International Conference, 2011

Natural Image Composition with Inhomogeneous Boundaries.
Proceedings of the Advances in Image and Video Technology - 5th Pacific Rim Symposium, 2011

A nanochannel system fabricated by MEMS microfabrication and atomic force microscopy.
Proceedings of the 6th IEEE International Conference on Nano/Micro Engineered and Molecular Systems, 2011

User-click modeling for understanding and predicting search-behavior.
Proceedings of the 17th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2011

Using human experts' gaze data to evaluate image processing algorithms.
Proceedings of the IEEE 10th Image, 2011

Event Similarity Computation in Text.
Proceedings of the 2011 IEEE International Conference on Internet of Things (iThings) & 4th IEEE International Conference on Cyber, 2011

Topic Tracking Based on Event Network.
Proceedings of the 2011 IEEE International Conference on Internet of Things (iThings) & 4th IEEE International Conference on Cyber, 2011

A Method of Combining HSSE-tree and Binary Label to Compute All Minimal Hitting Sets.
Proceedings of the 4th International Symposium on Computational Intelligence and Design, 2011

The Application of Classical Least Square Algorithm in the Quantitative Analysis of Lime in Wheat Flour by ATR-MIR Spectroscopy.
Proceedings of the Computer and Computing Technologies in Agriculture V, 2011

MDS Code Based Signal Space Diversity Techniques with Fast Decoding.
Proceedings of IEEE International Conference on Communications, 2011

Wavefront aberration correction using circulation feedback control based on image boundary definition.
Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011

FPGA implementation of hardware processing modules as coprocessors in brain-machine interfaces.
Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011

Phylogeny and evolution of Carpinus based on nrDNA ITS region sequences.
Proceedings of the 4th International Conference on Biomedical Engineering and Informatics, 2011

Color-based image segmentation on UAV reconnaissance videos with Matlab.
Proceedings of the 2011 International Conference on Innovative Computing and Cloud Computing, 2011

A Pilot Study of Opinion Summarization in Conversations.
Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, 2011

2010
A Compact Dual-Port Diversity Antenna for Long-Term Evolution Handheld Devices.
IEEE Trans. Vehicular Technology, 2010

Signal Space Diversity Techniques with Fast Decoding Based on MDS Codes.
IEEE Trans. Communications, 2010

Design of High-Throughput Fixed-Point Complex Reciprocal/Square-Root Unit.
IEEE Trans. on Circuits and Systems, 2010

Image Based Simulation for Pyrography Style Painting.
JDCTA, 2010

Use of RFID for Intelligent Pre-shipment Inspection.
JDCTA, 2010

Impact of RFID Technology on Tracking of Export Goods in Kenya.
JCIT, 2010

Notes on the Dai-Yuan-Yuan modified spectral gradient method.
J. Computational Applied Mathematics, 2010

Uncertainty Analysis of Decomposition Level Choice in Wavelet Threshold De-Noising.
Entropy, 2010

Entropy-Based Method of Choosing the Decomposition Level in Wavelet Threshold De-noising.
Entropy, 2010

Modeling epigenetic modifications under multiple treatment conditions.
Computational Statistics & Data Analysis, 2010

Inferring the human microRNA functional similarity and functional network based on microRNA-associated diseases.
Bioinformatics, 2010

Extracting 5W1H Event Semantic Elements from Chinese Online News.
Proceedings of the Web-Age Information Management, 11th International Conference, 2010

A Multiple-Stage Framework for Related Entity Finding: FDWIM at TREC 2010 Entity Track.
Proceedings of The Nineteenth Text REtrieval Conference, 2010

Incorporating post-click behaviors into a click model.
Proceedings of the Proceeding of the 33rd International ACM SIGIR Conference on Research and Development in Information Retrieval, 2010

Do clicks measure recommendation relevancy?: an empirical user study.
Proceedings of the 2010 ACM Conference on Recommender Systems, 2010

Improving Blog Polarity Classification via Topic Analysis and Adaptive Methods.
Proceedings of the Human Language Technologies: Conference of the North American Chapter of the Association of Computational Linguistics, 2010

Parallel Numerical Computing of Finite Element Model of Conductors and Floating Potentials.
Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2010

Study on the Near Infrared Model Development of Mixed Liquid Samples by the Algorithm of OSC-PLS.
Proceedings of the Computer and Computing Technologies in Agriculture IV, 2010

A new method of image data fusion based on FNN.
Proceedings of the Sixth International Conference on Natural Computation, 2010

The reconstruction of high resolution image based on compressed sensing.
Proceedings of the International Conference on Machine Learning and Cybernetics, 2010

Stochastic pronunciation modelling and soft match for out-of-vocabulary spoken term detection.
Proceedings of the IEEE International Conference on Acoustics, 2010

Flexible Signal Space Diversity Techniques from MDS Codes with Fast Decoding.
Proceedings of the Global Communications Conference, 2010

Research on Algorithms for Random Permutation with Probability Weight.
Proceedings of the Second International Workshop on Database Technology and Applications, 2010

Research on Warehouses Management Based on RFID and WSN Technology.
Proceedings of the Second International Workshop on Database Technology and Applications, 2010

Learning click models via probit bayesian inference.
Proceedings of the 19th ACM Conference on Information and Knowledge Management, 2010

Explore click models for search ranking.
Proceedings of the 19th ACM Conference on Information and Knowledge Management, 2010

Bidirectional matrix-based algorithm for 4-qubit reversible logic circuits synthesis.
Proceedings of the IEEE Congress on Evolutionary Computation, 2010

Applying Feature Selection for Effective Classification of Microcalcification Clusters in Mammograms.
Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

2009
On Optimal Quasi-Orthogonal Space-Time Block Codes With Minimum Decoding Complexity.
IEEE Trans. Information Theory, 2009

A Level-Crossing Analog-to-Digital Converter With Triangular Dither.
IEEE Trans. on Circuits and Systems, 2009

Model-based Vulnerability Analysis of IMS Network.
JNW, 2009

Winning the KDD Cup Orange Challenge with Ensemble Selection.
Proceedings of KDD-Cup 2009 competition, Paris, France, June 28, 2009, 2009

Entropy-Based Wavelet De-noising Method for Time Series Analysis.
Entropy, 2009

Combining quantitative trait loci analyses and microarray data: An empirical likelihood approach.
Computational Statistics & Data Analysis, 2009

A new heuristic protection algorithm based on survivable integrated auxiliary graph in waveband switching optical networks.
Computer Communications, 2009

Experimental Study on Mobile RFID Performance.
Proceedings of the Wireless Algorithms, 2009

Use of RFID Technologies to Combat Cattle Rustling in the East Africa.
Proceedings of the International Conference on Networked Computing and Advanced Information Management, 2009

Application of RFID Technology to Curb Diversion of Transit Goods in Kenya.
Proceedings of the International Conference on Networked Computing and Advanced Information Management, 2009

A Novel RM-Based Algorithm for Reversible Circuits.
Proceedings of the Advances in Computation and Intelligence, 4th International Symposium, 2009

An RFID Reader Coordination Model for Data Process.
Proceedings of the 2009 Second International Symposium on Computational Intelligence and Design, 2009

Term-dependent confidence for out-of-vocabulary term detection.
Proceedings of the INTERSPEECH 2009, 2009

Stochastic pronunciation modelling for spoken term detection.
Proceedings of the INTERSPEECH 2009, 2009

The Application of PSO Algorithm on PenduBot Control.
Proceedings of the Fifth International Conference on Natural Computation, 2009

Using Parallel Combined Classifiers to Improve Classification of Proteins.
Proceedings of the Fifth International Conference on Natural Computation, 2009

Research on Relation Models of Unexpected Events Oriented to Emergency Decision Support.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

Channel Coding Design to Support Asynchronous Physical Layer Network Coding.
Proceedings of the Global Communications Conference, 2009. GLOBECOM 2009, Honolulu, Hawaii, USA, 30 November, 2009

Study on the WCC Method for Time Series Data Analysis.
Proceedings of the Sixth International Conference on Fuzzy Systems and Knowledge Discovery, 2009

An Improved Wavelet De-noising Method for Time Series Analysis.
Proceedings of the Sixth International Conference on Fuzzy Systems and Knowledge Discovery, 2009

A radix-8 complex divider for FPGA implementation.
Proceedings of the 19th International Conference on Field Programmable Logic and Applications, 2009

Estimating the number of frequent itemsets in a large database.
Proceedings of the EDBT 2009, 2009

CampusWare: An Easy-to-Use, Efficient and Portable Grid Middleware for Compute-Intensive Applications.
Proceedings of the Fourth ChinaGrid Annual Conference, ChinaGrid 2009, Yantai, Shandong, 2009

Network Traffic Anomaly Detection Based on Self-Similarity Using HHT and Wavelet Transform.
Proceedings of the Fifth International Conference on Information Assurance and Security, 2009

2008
Order effect in relevance judgment.
JASIST, 2008

Hierarchical maximal-coverage location-allocation: Case of generalized search-and-rescue.
Computers & OR, 2008

Particle swarm optimization based on neighborhood encoding for traveling salesman problem.
Proceedings of the IEEE International Conference on Systems, 2008

A decentralized relay strategy for asynchoronous cooperative communications.
Proceedings of the IEEE 19th International Symposium on Personal, 2008

An Efficient Motion Adaptive De-interlacing and Its VLSI Architecture Design.
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2008

An Algebra-Based Reliability Prediction Approach for Composite Web Services.
Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

An ACO for Solving RCPSP.
Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, 2008

Monitoring and Early-Warning of the Supply Chain by Using System Dynamics and Neural Networks.
Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, 2008

A posterior approach for microphone array based speech recognition.
Proceedings of the INTERSPEECH 2008, 2008

Growing bottleneck features for tandem ASR.
Proceedings of the INTERSPEECH 2008, 2008

Realization of Workflow Service Invocation Interface for Integration of Agricultural Network Resources.
Proceedings of the Computer and Computing Technologies in Agriculture II, Volume 2, 2008

Exact Heuristic Algorithm for Traveling Salesman Problem.
Proceedings of the 9th International Conference for Young Computer Scientists, 2008

Reconfigurable Business Process Server for RFID.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2008

IMS presence server: Traffic analysis & performance modelling.
Proceedings of the 16th annual IEEE International Conference on Network Protocols, 2008

A Stochastic Model for Mid-to-Long-Term Runoff Forecast.
Proceedings of the Fourth International Conference on Natural Computation, 2008

Skin Detection from Different Color Spaces for Model-Based Face Detection.
Proceedings of the Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques, 2008

Performance Analysis of WiMedia UWB System for Medical Applications with Human Blockage.
Proceedings of the 17th International Conference on Computer Communications and Networks, 2008

Reliability Analysis of Component-Based Software Based on Rewrite Logic.
Proceedings of the 12th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2008

New Method for Estimating Periods in Hydrologic Series Data.
Proceedings of the Fifth International Conference on Fuzzy Systems and Knowledge Discovery, 2008

A New Fuzzy Guaranteed Cost Control Design for a Class of Nonlinear Discrete-Time System with Uncertainties.
Proceedings of the Fifth International Conference on Fuzzy Systems and Knowledge Discovery, 2008

Protection Routing Algorithm Based on Survivable Integrated Auxiliary Graph in Waveband Switching Optical Networks.
Proceedings of the Second International Conference on Future Generation Communication and Networking, 2008

Recognition of hand gesture based on Gaussian Mixture Model.
Proceedings of the International Workshop on Content-Based Multimedia Indexing, 2008

RFID-Based Locating Management.
Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

SPVA: A novel digital signal processor architecture for Software Defined Radio.
Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008

2007
Space-Time Trellis Code Design Based on Super Quasi-Orthogonal Block Codes With Minimum Decoding Complexity.
IEEE Trans. Communications, 2007

Non-Unitary Super Orthogonal Differential Space-Time Trellis Coding and Decoding.
Proceedings of the IEEE Wireless Communications and Networking Conference, 2007

Timing Synchronization for MIMO-OFDM WLAN Systems.
Proceedings of the IEEE Wireless Communications and Networking Conference, 2007

Development of an autonomous flight control system for small size unmanned helicopter.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2007

Design and Performance of Multi-Band OFDM UWB System with Multiple Antennas.
Proceedings of the IEEE 18th International Symposium on Personal, 2007

Cooperative MAC Protocol with Automatic Relay Selection in Distributed Wireless Networks.
Proceedings of the Fifth Annual IEEE International Conference on Pervasive Computing and Communications, 2007

Design an OSGi Extension Service for Mobile RFID Applications.
Proceedings of ICEBE 2007, 2007

A Highly Efficient Parallel Algorithm for H.264 Encoder Based on Macro-Block Region Partition.
Proceedings of the High Performance Computing and Communications, 2007

Formal model construction using HDL simulation semantics.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2007

Asynchronous Cooperative Communications with STBC Coded Single Carrier Block Transmission.
Proceedings of the Global Communications Conference, 2007

Ultra-Wideband Channel Measurement Characterization for Wireless Magnetic Resonance Imaging Applications.
Proceedings of the 41st Annual Conference on Information Sciences and Systems, 2007

Exploiting Thread-Level Parallelism of Irregular LDPC Decoder with Simultaneous Multi-threading Technique.
Proceedings of the Advanced Parallel Processing Technologies, 7th International Symposium, 2007

FCC-SDP: A Fast Close-Coupled Shared Data Pool for Multi-core DSPs.
Proceedings of the Advances in Computer Systems Architecture, 2007

2006
Knowledge Discovery of Improved Apriori-Based High-Rise Structure Intelligent Form Selection.
Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), 2006

A New Architecture of Grid Security System Construction.
Proceedings of the 2006 International Conference on Parallel Processing Workshops (ICPP Workshops 2006), 2006

Painterly Rendering with Vector Field Based Feature Extraction.
Proceedings of the Advances in Artificial Reality and Tele-Existence, 2006

Elastic Algorithm: A New Path Planning Algorithm About Auto-navigation in 3D Virtual Scene.
Proceedings of the Advances in Artificial Reality and Tele-Existence, 2006

A Novel Unicast based Multiplexing Scheme to Guarantee the QoS of VoWLAN.
Proceedings of the Global Telecommunications Conference, 2006. GLOBECOM '06, San Francisco, CA, USA, 27 November, 2006

Bandwidth Optimization of the EMCI for a High Performance 32-bit DSP.
Proceedings of the Advances in Computer Systems Architecture, 11th Asia-Pacific Conference, 2006

2005
An orthogonal space-time coded partial response CPM system with fast decoding for two transmit antennas.
IEEE Trans. Wireless Communications, 2005

Super-orthogonal differential space-time trellis coding and decoding.
IEEE Journal on Selected Areas in Communications, 2005

Optimal diversity product rotations for quasiorthogonal STBC with MPSK symbols.
IEEE Communications Letters, 2005

describer: Service-Oriented Multiagent Architecture for Mobile Environment.
Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

On optimal quasi-orthogonal space-time block codes with minimum decoding complexity.
Proceedings of the 2005 IEEE International Symposium on Information Theory, 2005

Convergence analysis of a background interstage gain calibration technique for pipelined ADCs.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005

S frame design for multiple description video coding.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005

Slice group based multiple description video coding with three motion compensation loops.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005

Error concealment for slice group based multiple description video coding.
Proceedings of the 2005 International Conference on Image Processing, 2005

Mobile RFID Technology for Improving M-Commerce.
Proceedings of the 2005 IEEE International Conference on e-Business Engineering (ICEBE 2005), 2005

Public RFID Service Platform Based on ASP Model.
Proceedings of the 2005 IEEE International Conference on e-Business Engineering (ICEBE 2005), 2005

Super orthogonal differential space-time trellis coding and decoding.
Proceedings of the 2005 IEEE International Conference on Acoustics, 2005

Space-time trellis code design based on super QOSTBC with minimum decoding complexity.
Proceedings of the Global Telecommunications Conference, 2005. GLOBECOM '05, St. Louis, Missouri, USA, 28 November, 2005

Radiometric Compensation in a Projector-Camera System Based Properties of Human Vision System.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2005

Automatic assume guarantee analysis for assertion-based formal verification.
Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

2004
SrAl2O4: Eu2+, Dy3+ phosphors derived from a new sol-gel route.
Microelectronics Journal, 2004

Electroluminescence of SrAl2O4: Eu2+ phosphor.
Microelectronics Journal, 2004

Digital signature of multicast streams secure against adaptive chosen message attack.
Computers & Security, 2004

Multiple description video coding based on zero padding.
Proceedings of the 2004 International Symposium on Circuits and Systems, 2004

Slice group based multiple description video coding using motion vector estimation.
Proceedings of the 2004 International Conference on Image Processing, 2004

Embedded speech recognition system on 8-bit MCU core.
Proceedings of the 2004 IEEE International Conference on Acoustics, 2004

2003
Temporal compensated motion estimation with simple block-based prediction.
TBC, 2003

Fault detection in Rule-based Software systems.
Information & Software Technology, 2003

SAT Based Predicate Abstraction for Hardware Verification.
Proceedings of the Theory and Applications of Satisfiability Testing, 2003

High Level Verification of Control Intensive Systems Using Predicate Abstraction.
Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003

Speech segmentation without speech recognition.
Proceedings of the 2003 IEEE International Conference on Multimedia and Expo, 2003

A Framework on Feature Interactions in Optical Network Protocols.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003

Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002
Extending WSDL to Facilitate Web Services Testing.
Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002

Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis.
Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

2001
Scanning thermal microscopy studies of local temperature distribution of micron-sized metallization lines.
Microelectronics Reliability, 2001

Non-linear Quantification Scheduling in Image Computation.
Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001

Using cutwidth to improve symbolic simulation and Boolean satisfiability.
Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, 2001

Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines.
Proceedings of the 38th Design Automation Conference, 2001

Using Combinatorial Optimization Methods for Quantification Scheduling.
Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000
Executable Protocol Specification in ESL.
Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

1999
Abstract BDDs: A Technique for Using Abstraction in Model Checking.
Proceedings of the Correct Hardware Design and Verification Methods, 1999

1996
Correcting Topological Defects of Tessellations.
Proceedings of the 8th Canadian Conference on Computational Geometry, 1996


  Loading...