Dong Wang
According to our database1,
Dong Wang
authored at least 547 papers
between 1996 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
On csauthors.net:
Bibliography
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
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
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
An Efficient Boundary Integral Scheme for the MBO Threshold Dynamics Method via the NUFFT.
J. Sci. Comput., 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
Adaptive deep feature learning network with Nesterov momentum and its application to rotating machinery fault diagnosis.
Neurocomputing, 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
Reliable routing in IP-based VANET with network gaps.
Computer Standards & Interfaces, 2018
Learning to Navigate for Fine-grained Classification.
CoRR, 2018
AP18-OLR Challenge: Three Tasks and Their Baselines.
CoRR, 2018
BRITS: Bidirectional Recurrent Imputation for Time Series.
CoRR, 2018
Exploring Linear Relationship in Feature Map Subspace for ConvNets Compression.
CoRR, 2018
Deep factorization for speech signal.
CoRR, 2018
A diffusion generated method for computing Dirichlet partitions.
CoRR, 2018
Mobility management for 6LoWPAN WSN.
Computer Networks, 2018
Detection of ventricular tachycardia and fibrillation using adaptive variational mode decomposition and boosted-CART classifier.
Biomed. Signal Proc. and Control, 2018
SCFM: Social and crowdsourcing factorization machines for recommendation.
Appl. Soft Comput., 2018
Joint Operational and Financial Collaboration in a Capital-Constrained Supply Chain Under Manufacturer Collateral.
APJOR, 2018
EEG-Based Detection of Epileptic Seizures Through the Use of a Directed Transfer Function Method.
IEEE Access, 2018
SGRS: A sequential gesture recognition system using COTS RFID.
Proceedings of the 2018 IEEE Wireless Communications and Networking Conference, 2018
All Your GPS Are Belong To Us: Towards Stealthy Manipulation of Road Navigation Systems.
Proceedings of the 27th USENIX Security Symposium, 2018
CRH: A Contactless Respiration and Heartbeat Monitoring System with COTS RFID Tags.
Proceedings of the 15th Annual IEEE International Conference on Sensing, 2018
RFree-ID: An Unobtrusive Human Identification System Irrespective of Walking Cofactors Using COTS RFID.
Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications, 2018
Automatic 3D Garment Fitting Based on Skeleton Driving.
Proceedings of the Advances in Multimedia Information Processing - PCM 2018, 2018
Dynamical Analysis of a Stochastic Neuron Spiking Activity in the Biological Experiment and Its Simulation by INa, P + I K Model.
Proceedings of the Advances in Neural Networks - ISNN 2018, 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
The Wide and Deep Flexible Neural Tree and Its Ensemble in Predicting Long Non-coding RNA Subcellular Localization.
Proceedings of the Intelligent Computing Theories and Application, 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
Research on Auto-Generating Test-Paper Model Based on Spatial-Temporal Clustering Analysis.
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
ReaderTrack: Reader-Book Interaction Reasoning Using RFID and Smartwatch.
Proceedings of the 27th International Conference on Computer Communication and Networks, 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
Cross-Modal Message Passing for Two-Stream Fusion.
Proceedings of the 2018 IEEE International Conference on Acoustics, 2018
Deep Factorization for Speech Signal.
Proceedings of the 2018 IEEE International Conference on Acoustics, 2018
Full-Info Training for Deep Speaker Feature Learning.
Proceedings of the 2018 IEEE International Conference on Acoustics, 2018
A novel generated method for high quality images.
Proceedings of the Tenth International Conference on Advanced Computational Intelligence, 2018
Learning to Navigate for Fine-Grained Classification.
Proceedings of the Computer Vision - ECCV 2018, 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
Anomaly Detection in Traffic Scenes via Spatial-Aware Motion Reconstruction.
IEEE Trans. Intelligent Transportation Systems, 2017
Denoising of Hyperspectral Images Using Nonconvex Low Rank Matrix Approximation.
IEEE Trans. Geoscience and Remote Sensing, 2017
Classification of Protein Structure Classes on Flexible Neutral Tree.
IEEE/ACM Trans. Comput. Biology Bioinform., 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
The Dynamics of Three-Phase Triple Junction and Contact Points.
SIAM Journal of Applied Mathematics, 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
A generalized MBO diffusion generated motion for orthogonal matrix-valued fields.
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
Stacked Sparse Autoencoder-Based Deep Network for Fault Diagnosis of Rotating Machinery.
IEEE Access, 2017
A novel accurate synthetic aperture RFID localization method with high radial accuracy.
Proceedings of the 18th IEEE International Symposium on A World of Wireless, 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
Real-time and Nearly Ideal Hologram for RFID-based Indoor Localization.
Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems, 2017
Sketch Based Model-Like Standing Style Recommendation.
Proceedings of the Advances in Multimedia Information Processing - PCM 2017, 2017
RFlow-ID: Unobtrusive Workflow Recognition with COTS RFID.
Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, 2017
TagController: A Universal Wireless and Battery-free Remote Controller using Passive RFID Tags.
Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, 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
Credit Risk Assessment Based on Flexible Neural Tree Model.
Proceedings of the Advances in Neural Networks - ISNN 2017 - 14th International Symposium, 2017
An Improved Symbol Entropy Algorithm Based on EMD for Detecting VT and VF.
Proceedings of the Advances in Neural Networks - ISNN 2017 - 14th International Symposium, 2017
Detection of Epileptic Seizure in EEG Using Sparse Representation and EMD.
Proceedings of the Advances in Neural Networks - ISNN 2017 - 14th International Symposium, 2017
The Feature Extraction Method of EEG Signals Based on Transition Network.
Proceedings of the Advances in Neural Networks - ISNN 2017 - 14th International Symposium, 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 Stochastic Neural Firing Generated at a Hopf Bifurcation and Its Biological Relevance.
Proceedings of the Neural Information Processing - 24th International Conference, 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
Distributed Processing of Continuous Range Queries Over Moving Objects.
Proceedings of the Intelligent Computing Theories and Application, 2017
Safety Inter-vehicle Policy Based on the Longitudinal Dynamics Behaviors.
Proceedings of the Intelligent Computing Theories and Application, 2017
Credit Risk Assessment Based on Long Short-Term Memory Model.
Proceedings of the Intelligent Computing Theories and Application, 2017
Prediction and Analysis of Mature microRNA with Flexible Neural Tree Model.
Proceedings of the Intelligent Computing Theories and Application, 2017
Predicting Multisite Protein Sub-cellular Locations Based on Correlation Coefficient.
Proceedings of the Intelligent Computing Theories and Application, 2017
Using a Hierarchical Classification Model to Predict Protein Tertiary Structure.
Proceedings of the Intelligent Computing Theories and Application, 2017
Classifying DNA Microarray for Cancer Diagnosis via Method Based on Complex Networks.
Proceedings of the Intelligent Computing Theories and Application, 2017
Improved Convolutional Neural Networks for Identifying Subcellular Localization of Gram-Negative Bacterial Proteins.
Proceedings of the Intelligent Computing Theories and Application, 2017
Prediction of Subcellular Localization of Multi-site Virus Proteins Based on Convolutional Neural Networks.
Proceedings of the Intelligent Computing Theories and Application, 2017
Dynamic Analysis and Simulation for Two Different Chaos-Like Stochastic Neural Firing Patterns Observed in Real Biological System.
Proceedings of the Intelligent Computing Theories and Application, 2017
Learning Bayesian Networks Structure Based Part Mutual Information for Reconstructing Gene Regulatory Networks.
Proceedings of the Intelligent Computing Theories and Application, 2017
The Feature Extraction Method of EEG Signals Based on the Loop Coefficient of Transition Network.
Proceedings of the Intelligent Computing Theories and Application, 2017
Global Adaptive and Local Scheduling Control for Smart Isolated Intersection Based on Real-Time Phase Saturability.
Proceedings of the Intelligent Computing Theories and Application, 2017
The Study on Grade Categorization Model of Question Based on on-Line Test Data.
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
Discrete-time distributed optimization for multi-agent systems under Markovian switching topologies.
Proceedings of the 13th IEEE International Conference on Control & Automation, 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
Optimizing VNF live migration via para-virtualization driver and QuickAssist technology.
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
Unbiased Sampling of Social Media Networks for Well-connected Subgraphs.
Proceedings of the 2017 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining 2017, Sydney, Australia, July 31, 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
AP17-OLR challenge: Data, plan, and baseline.
Proceedings of the 2017 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2017
A free Kazakh speech database and a speech recognition baseline.
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
Predicting the Subcellular Localization of Proteins with Multiple Sites Based on Multiple Features Fusion.
IEEE/ACM Trans. Comput. Biology Bioinform., 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
K-medoids method based on divergence for uncertain data clustering.
Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 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
Adwords management for third-parties in SEM: An optimisation model and the potential of Twitter.
Proceedings of the 35th Annual IEEE International Conference on Computer Communications, 2016
Linear modeling of the three-phase diode front-ends with reduced capacitance considering the continuous conduction mode.
Proceedings of the IECON 2016, 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
Detecting Ventricular Fibrillation and Ventricular Tachycardia for Small Samples Based on EMD and Symbol Entropy.
Proceedings of the Intelligent Computing Theories and Application, 2016
Feature Combination Methods for Prediction of Subcellular Locations of Proteins with Both Single and Multiple Sites.
Proceedings of the Intelligent Computing Theories and Application, 2016
Predicting Subcellular Localization of Multiple Sites Proteins.
Proceedings of the Intelligent Computing Theories and Application, 2016
A Novel Feature Extraction Method for Epileptic Seizure Detection Based on the Degree Centrality of Complex Network and SVM.
Proceedings of the Intelligent Computing Theories and Application, 2016
Prediction of Phosphorylation Sites Using PSO-ANNs.
Proceedings of the Intelligent Computing Theories and Application, 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
Analyse et application de la diffusion d'information dans les microblogs. (The analysis and applications of information diffusion in microblogs).
PhD thesis, 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. Computer Assisted Radiology and Surgery, 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
Adaptive Distributed Reader Activation Approach for Large-Scale RFID Systems.
Proceedings of the 12th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 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
A distributed RFID reader activation approach.
Proceedings of the 23rd IEEE International Symposium on Quality of Service, 2015
Commentary on Application of Data Mining in Fruit Quality Evaluation.
Proceedings of the Computer and Computing Technologies in Agriculture IX, 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
Prediction of Pre-miRNA with Multiple Stem-Loops Using Feedforward Neural Network.
Proceedings of the Intelligent Computing Theories and Methodologies, 2015
Prediction of Protein Structural Classes Based on Predicted Secondary Structure.
Proceedings of the Intelligent Computing Theories and Methodologies, 2015
Automatic Seizure Detection in EEG Based on Sparse Representation and Wavelet Transform.
Proceedings of the Intelligent Computing Theories and Methodologies, 2015
Prediction of Protein Structure Classes.
Proceedings of the Intelligent Computing Theories and Methodologies, 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
Feedforward and feedback optimal vibration rejection for active suspension discrete-time systems under in-vehicle networks.
Proceedings of the 2014 Sixth World Congress on Nature and Biologically Inspired Computing, 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
Predicting the Subcellular Localization of Proteins with Multiple Sites Based on Multiple Features Fusion.
Proceedings of the Intelligent Computing in Bioinformatics - 10th International Conference, 2014
Evolving Additive Tree Model for Inferring Gene Regulatory Networks.
Proceedings of the Intelligent Computing in Bioinformatics - 10th International Conference, 2014
Prediction of Protein Structure Classes with Ensemble Classifiers.
Proceedings of the Intelligent Computing in Bioinformatics - 10th International Conference, 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 new protein structure classification model.
Proceedings of the 6th International Conference on Computational Aspects of Social Networks, 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
Learning a Contextual Multi-Thread Model for Movie/TV Scene Segmentation.
IEEE Trans. Multimedia, 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
A genealogy of information spreading on microblogs: A Galton-Watson-based explicative model.
Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14-19, 2013, 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
Analysis and Comparison of Interaction Patterns in Online Social Network and Social Media.
Proceedings of the 21st International Conference on Computer Communications and Networks, 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
Towards Unbiased Sampling of Online Social Networks.
Proceedings of IEEE International Conference on Communications, 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
Co-optimization of multiple relevance metrics in web search.
Proceedings of the 19th International Conference on World Wide Web, 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
Robust semantic sketch based specific image retrieval.
Proceedings of the 2010 IEEE International Conference on Multimedia and Expo, 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
Query representation by structured concept threads with application to interactive video retrieval.
J. Visual Communication and Image Representation, 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
Histogram matching for music repetition detection.
Proceedings of the 2009 IEEE International Conference on Multimedia and Expo, 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
A general magnitude-preserving boosting algorithm for search ranking.
Proceedings of the 18th ACM Conference on Information and Knowledge Management, 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
THU and ICRC at TRECVID 2008.
Proceedings of the TRECVID 2008 workshop participants notebook papers, 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
SemanGist: A Local Semantic Image Representation.
Proceedings of the Advances in Multimedia Information Processing, 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
Learning structured concept-segments for interactive video retrieval.
Proceedings of the 7th ACM International Conference on Image and Video Retrieval, 2008
Interactive video retrieval with rich features and friendly interface.
Proceedings of the 7th ACM International Conference on Image and Video Retrieval, 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
THU and ICRC at TRECVID 2007.
Proceedings of the TRECVID 2007 workshop participants notebook papers, 2007
Mapping Query to Semantic Concepts: Leveraging Semantic Indices for Automatic and Interactive Video Retrieval.
Proceedings of the First IEEE International Conference on Semantic Computing (ICSC 2007), 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
The importance of query-concept-mapping for automatic video retrieval.
Proceedings of the 15th International Conference on Multimedia 2007, 2007
Video diver: generic video indexing with diverse features.
Proceedings of the 9th ACM SIGMM International Workshop on Multimedia Information Retrieval, 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
The feature and spatial covariant kernel: adding implicit spatial constraints to histogram.
Proceedings of the 6th ACM International Conference on Image and Video Retrieval, 2007
Video search in concept subspace: a text-like paradigm.
Proceedings of the 6th ACM International Conference on Image and Video Retrieval, 2007
Video retrieval with multi-modal features.
Proceedings of the 6th ACM International Conference on Image and Video Retrieval, 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
Stability analysis and L2-gain of switched delay systems with stable and unstable subsystems.
Proceedings of the 22nd IEEE International Symposium on Intelligent Control, 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
Visual Object Recognition in Diverse Scenes with Multiple Instance Learning.
Proceedings of the 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, 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
Multiple-Instance Learning Via Random Walk.
Proceedings of the Machine Learning: ECML 2006, 2006
Relay Boost Fusion for Learning Rare Concepts in Multimedia.
Proceedings of the Image and Video Retrieval, 5th International Conference, 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
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
Two kinds of timing cues and their usage in concept detection in news video.
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
AP-Based Borda Voting Method for Feature Extraction in TRECVID-2004.
Proceedings of the Advances in Information Retrieval, 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
Speech segmentation without speech recognition.
Proceedings of the 2003 IEEE International Conference on Acoustics, 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