Fei Xie

According to our database1, Fei Xie authored at least 227 papers between 1990 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2022
An Adaptive Surrogate-Assisted Endmember Extraction Framework Based on Intelligent Optimization Algorithms for Hyperspectral Remote Sensing Images.
Remote. Sens., 2022

A Robot Pose Estimation Optimized Visual SLAM Algorithm Based on CO-HDC Instance Segmentation Network for Dynamic Scenes.
Remote. Sens., 2022

Convolutionally evaluated gradient first search path planning algorithm without prior global maps.
Robotics Auton. Syst., 2022

Defending local poisoning attacks in multi-party learning via immune system.
Knowl. Based Syst., 2022

Enhance prototypical networks with hybrid attention and confusing loss function for few-shot relation classification.
Neurocomputing, 2022

Modelling, simulation and optimisation of medical enterprise warehousing process based on FlexSim model and greedy algorithm.
Int. J. Bio Inspired Comput., 2022

States and Internal States on Ehoops.
FLAP, 2022

Collaborative Attention Memory Network for Video Object Segmentation.
CoRR, 2022

Correlation-Aware Deep Tracking.
CoRR, 2022

Effect of different anesthetic dose of pentobarbital on respiratory activity in rabbits.
Comput. Biol. Medicine, 2022

Extending Tensor Virtual Machine to Support Deep-Learning Accelerators with Convolution Cores.
Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022

2021
Combining Machine Learning and Dynamic Time Wrapping for Vehicle Driving Event Detection Using Smartphones.
IEEE Trans. Intell. Transp. Syst., 2021

High-Precision Trajectory Tracking Control of Cable-Driven Parallel Robots Using Robust Synchronization.
IEEE Trans. Ind. Informatics, 2021

Specification-Driven Conformance Checking for Virtual/Silicon Devices Using Mutation Testing.
IEEE Trans. Computers, 2021

A Two-Step Method for Remote Sensing Images Registration Based on Local and Global Constraints.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2021

The Prediction of Atherosclerosis Index Based on Photoplethysmograph.
Sci. Program., 2021

High Quantum Efficiency and Broadband Photodetector Based on Graphene/Silicon Nanometer Truncated Cone Arrays.
Sensors, 2021

Attention-Based Spatial and Spectral Network with PCA-Guided Self-Supervised Feature Extraction for Change Detection in Hyperspectral Images.
Remote. Sens., 2021

Predicting therapeutic drugs for hepatocellular carcinoma based on tissue-specific pathways.
PLoS Comput. Biol., 2021

Ehoops.
J. Multiple Valued Log. Soft Comput., 2021

Enhanced three-dimensional U-Net with graph-based refining for segmentation of gastrointestinal stromal tumours.
IET Comput. Vis., 2021

Suffix array for multi-pattern matching with variable length wildcards.
Intell. Data Anal., 2021

Complex Electrical Stimulation Systems in Motor Function Rehabilitation after Spinal Cord Injury.
Complex., 2021

Deriving drought indices from MODIS vegetation indices (NDVI/EVI) and Land Surface Temperature (LST): Is data reconstruction necessary?
Int. J. Appl. Earth Obs. Geoinformation, 2021

Power Allocation for Minimizing Outage Probability of Cognitive Multi-Hop Relay Networks.
Proceedings of the 13th International Conference on Wireless Communications and Signal Processing, 2021

Outage Probability Analysis of RIS-assisted Wireless Powered Multi-user Communications.
Proceedings of the 13th International Conference on Wireless Communications and Signal Processing, 2021

Automatic Testing Methods for Response Time of Information Systems.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Hardware Design of Automatic Painting System Based on PLC.
Proceedings of the ICITEE 2021: The 4th International Conference on Information Technologies and Electrical Engineering, Changde, Hunan, China, October 29, 2021

Learning Spatio-Appearance Memory Network for High-Performance Visual Tracking.
Proceedings of the IEEE/CVF International Conference on Computer Vision Workshops, 2021

Learning Tracking Representations via Dual-Branch Fully Transformer Networks.
Proceedings of the IEEE/CVF International Conference on Computer Vision Workshops, 2021

The Ninth Visual Object Tracking VOT2021 Challenge Results.
, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,
Proceedings of the IEEE/CVF International Conference on Computer Vision Workshops, 2021

Software Selection Test of Enterprise-Level Big Data Analysis Platform.
Proceedings of the 8th International Conference on Dependable Systems and Their Applications, 2021

Concolic Execution of NMap Scripts for Honeyfarm Generation.
Proceedings of the MTD@CCS 2021: Proceedings of the 8th ACM Workshop on Moving Target Defense, 2021

2020
Adaptive Cross-Coupled Control of Cable-Driven Parallel Robots With Model Uncertainties.
IEEE Robotics Autom. Lett., 2020

A Systematic Investigation of State-of-the-Art SystemC Verification.
J. Circuits Syst. Comput., 2020

Human Emotion Recognition Based on Face and Facial Expression Detection Using Deep Belief Network Under Complicated Backgrounds.
Int. J. Pattern Recognit. Artif. Intell., 2020

Automatic evaluation of facial nerve paralysis by dual-path LSTM with deep differentiated network.
Neurocomputing, 2020

Backstepping-Based Adaptive Control for Nonlinear Systems with Actuator Failures and Uncertain Parameters.
Circuits Syst. Signal Process., 2020

Symbolic Techniques for Deep Learning: Challenges and Opportunities.
CoRR, 2020

Discriminative Segmentation Tracking Using Dual Memory Banks.
CoRR, 2020

Driver Attribute Filling for Genes in Interaction Network via Modularity Subspace-Based Concept Learning from Small Samples.
Complex., 2020

A Novel Method to Evaluate Patient-Ventilator Synchrony during Mechanical Ventilation.
Complex., 2020

A Novel Multiface Recognition Method With Short Training Time and Lightweight Based on ABASNet and H-Softmax.
IEEE Access, 2020

Active Supervision Strategies of Online Ride-Hailing Based on the Tripartite Evolutionary Game Model.
IEEE Access, 2020

Automated Bug Detection and Replay for COTS Linux Kernel Modules with Concolic Execution.
Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

Hierarchical Representations with Discriminative Meta-filters in Dual Path Network for Tracking.
Proceedings of the Pattern Recognition and Computer Vision - Third Chinese Conference, 2020

SpectreCheck: An Approach to Detecting Speculative Execution Side Channels in Data Cache.
Proceedings of the 2020 IEEE International Conference on Embedded Software and Systems, 2020

Graph-based Keyphrase Extraction Using Word and Document Em beddings.
Proceedings of the 2020 IEEE International Conference on Knowledge Graph, 2020

The Eighth Visual Object Tracking VOT2020 Challenge Results.
, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,
Proceedings of the Computer Vision - ECCV 2020 Workshops, 2020

Selective Concolic Testing for Hardware Trojan Detection in Behavioral SystemC Designs.
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

A Utility-Based Fault Handling Approach for Efficient Job Rescue in Clouds.
Proceedings of the Cloud Computing - CLOUD 2020, 2020

Linear Elements Separation via Vision System Feature and Seed Spreading from Topographic Maps.
Proceedings of the 16th International Conference on Computational Intelligence and Security, 2020

A New Polarized Image Fusion Algorithm Based on Two-scale Guided Filtering.
Proceedings of the Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2020

A Bandwidth and Latency Based Replica Selection Mechanism for Data-Intensive Workflow Applications in the Multi-Cloud Environment.
Proceedings of the Australasian Computer Science Week, 2020

2019
Heterogeneous-Length Text Topic Modeling for Reader-Aware Multi-Document Summarization.
ACM Trans. Knowl. Discov. Data, 2019

Robust delay-dependent <i>H</i><sub>∞</sub> filtering for uncertain Takagi-Sugeno fuzzy neutral stochastic time-delay systems.
J. Frankl. Inst., 2019

A Novel Multi-Pattern Solder Joint Simultaneous Segmentation Algorithm for PCB Selective Packaging Systems.
Int. J. Pattern Recognit. Artif. Intell., 2019

Frequent Patterns Algorithm of Biological Sequences based on Pattern Prefix-tree.
Int. J. Comput. Commun. Control, 2019

An importance sampling-based smoothing approach for quasi-Monte Carlo simulation of discrete barrier options.
Eur. J. Oper. Res., 2019

Hardware/Software Co-monitoring.
CoRR, 2019

FLAS: fast and high-throughput algorithm for PacBio long-read self-correction.
Bioinform., 2019

Fault-Tolerant Adaptive Control for a Class of Nonlinear Systems With Uncertain Parameters and Unknown Control Directions.
IEEE Access, 2019

Automatic Degree Evaluation of Facial Nerve Paralysis Based on Triple-stream Long Short Term Memory.
Proceedings of the Third International Symposium on Image Computing and Digital Medicine, 2019

End-to-End Concolic Testing for Hardware/Software Co-Validation.
Proceedings of the 15th IEEE International Conference on Embedded Software and Systems, 2019

2018
A Hybrid Beam-Forming and Direction-Finding Method for Wind Direction Sensing Based on HF Radar.
IEEE Trans. Geosci. Remote. Sens., 2018

Validation of Sensing Ocean Surface Currents Using Multi-Frequency HF Radar Based on a Circular Receiving Array.
Remote. Sens., 2018

An Orthogonal Projection Algorithm to Suppress Interference in High-Frequency Surface Wave Radar.
Remote. Sens., 2018

Multi-pattern matching with variable-length wildcards using suffix tree.
Pattern Anal. Appl., 2018

Radio Frequency Interference Cancelation in High-Frequency Surface Wave Radar Using Orthogonal Projection Filtering.
IEEE Geosci. Remote. Sens. Lett., 2018

Radio Frequency Interference Mitigation for High-Frequency Surface Wave Radar.
IEEE Geosci. Remote. Sens. Lett., 2018

Scheduling non-preemptive tasks with strict periods in multi-core real-time systems.
J. Syst. Archit., 2018

Fuzzy observer-based sampled-data control for a class of pure-feedback nonlinear systems.
J. Frankl. Inst., 2018

Optimal Sculling Velocity Algorithms for the Gyros With Angular Rate Output.
IEEE Access, 2018

Novel Time Series Modeling Methods for Gyro Random Noise Used in Internet of Things.
IEEE Access, 2018

Study on the Test Scenarios of Level 2 Automated Vehicles.
Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018

Will Advanced Public Charging Infrastructure Speed Up Electrification of Future Transportation?
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Concolic testing of SystemC designs.
Proceedings of the 19th International Symposium on Quality Electronic Design, 2018

Degree Evaluation of Facial Nerve Paralysis by Combining LBP and Gabor Features.
Proceedings of the ISICDM 2018: The 2nd International Symposium on Image Computing and Digital Medicine 2018, 2018

Tag-based Weakly-supervised Hashing for Image Retrieval.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

A Data Dependency and Access Threshold Based Replication Strategy for Multi-cloud Workflow Applications.
Proceedings of the Service-Oriented Computing - ICSOC 2018 Workshops, 2018

Depth Recovery from a Single Image Based on L0 Gradient Minimization.
Proceedings of the 2018 IEEE International Conference on Big Knowledge, 2018

Deep Stock Representation Learning: From Candlestick Charts to Investment Decisions.
Proceedings of the 2018 IEEE International Conference on Acoustics, 2018

CRETE: A Versatile Binary-Level Concolic Testing Framework.
Proceedings of the Fundamental Approaches to Software Engineering, 2018

Ionic Conduction in Biological Nanopores Created by Ultrashort9 High-Intensity Pulses.
Proceedings of the 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2018

A Theoretical Analysis on the Reliability of Multigenerational IoT.
Proceedings of the 2018 IEEE International Conference on Electro/Information Technology, 2018

Specification-driven automated conformance checking for virtual prototype and post-silicon designs.
Proceedings of the 55th Annual Design Automation Conference, 2018

SCBench: A benchmark design suite for SystemC verification and validation.
Proceedings of the 23rd Asia and South Pacific Design Automation Conference, 2018

2017
Hysteresis Compensation Method for Magnetoresistive Sensors Based on Single Polar Controlled Magnetic Field Pulses.
IEEE Trans. Ind. Electron., 2017

S-Band Doppler Wave Radar System.
Remote. Sens., 2017

Radio Frequency Interference Mitigation in High-Frequency Surface Wave Radar Based on CEMD.
IEEE Geosci. Remote. Sens. Lett., 2017

Enhanced Target Detection for HFSWR by 2-D MUSIC Based on Sparse Recovery.
IEEE Geosci. Remote. Sens. Lett., 2017

Using SVD-FRFT Filtering to Suppress First-Order Sea Clutter in HFSWR.
IEEE Geosci. Remote. Sens. Lett., 2017

Efficient sequential pattern mining with wildcards for keyphrase extraction.
Knowl. Based Syst., 2017

A survey on the industrial readiness for Internet of Things.
Proceedings of the 8th IEEE Annual Ubiquitous Computing, 2017

Interference Suppression Based on Joint Time-Frequency Analysis and Fractional Fourier Domain in LFM HF Radar.
Proceedings of the Fuzzy Systems and Data Mining III, 2017

A Survey on Smart Wearables in the Application of Fitness.
Proceedings of the 15th IEEE Intl Conf on Dependable, 2017

Towards Cost Reduction in Cloud-Based Workflow Management through Data Replication.
Proceedings of the Fifth International Conference on Advanced Cloud and Big Data, 2017

2016
Schedulability analysis of non-preemptive strictly periodic tasks in multi-core real-time systems.
Real Time Syst., 2016

Multi-document summarization using closed patterns.
Knowl. Based Syst., 2016

Web video topics discovery and structuralization with social network.
Neurocomputing, 2016

OpenRISC System-on-Chip Design Emulation.
CoRR, 2016

Research on spatial and temporal characteristics of drought based on GIS using Remote Sensing Big Data.
Clust. Comput., 2016

Allocation and Scheduling of Strictly Periodic Tasks in Multi-core Real-Time Systems.
Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016

The key technologies of pedestrian navigation based on micro inertial system and biological kinematics.
Proceedings of the IEEE/ION Position, Location and Navigation Symposium, 2016

Topic Discovery from Heterogeneous Texts.
Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

WEFEST: Word Embedding Feature Extension for Short Text Classification.
Proceedings of the IEEE International Conference on Data Mining Workshops, 2016

Validating scheduling transformation for behavioral synthesis.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Generating high coverage tests for SystemC designs using symbolic execution.
Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016

2015
Giant-Magnetoresistance-Based Galvanically Isolated Voltage and Current Measurements.
IEEE Trans. Instrum. Meas., 2015

Hysteresis Compensation Based on Controlled Current Pulses for Magnetoresistive Sensors.
IEEE Trans. Ind. Electron., 2015

基于局部和全局特征视觉单词的人物行为识别 (Human Action Recognition by Visual Word Based on Local and Global Features).
计算机科学, 2015

A two-step matrix splitting iteration for computing PageRank.
J. Comput. Appl. Math., 2015

Real-Time News Cer tification System on Sina Weibo.
Proceedings of the 24th International Conference on World Wide Web Companion, 2015

Orientational Spatial Part Modeling for Fine-Grained Visual Categorization.
Proceedings of the 2015 IEEE International Conference on Mobile Services, MS 2015, New York City, NY, USA, June 27, 2015

CNME: A System for Chinese News Meta-Data Extraction.
Proceedings of the Semantic Technology - 5th Joint International Conference, 2015

Automatic fault injection for driver robustness testing.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Prediction of rice brown planthoppers based on system dynamics.
Proceedings of the 12th International Conference on Fuzzy Systems and Knowledge Discovery, 2015

A Novel Recognition Method of Multimedia Data for Social Network.
Proceedings of the 3rd International Conference on Applied Computing and Information Technology, 2015

Spread influence algorithm of news website based on PageRank.
Proceedings of the 14th IEEE/ACIS International Conference on Computer and Information Science, 2015

2014
Pattern Matching with Flexible Wildcards.
J. Comput. Sci. Technol., 2014

Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis.
Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014

Bounded Model Checking of Hybrid Automata Pushdown System.
Proceedings of the 2014 14th International Conference on Quality Software, 2014

Mechanical Certification of Loop Pipelining Transformations: A Preview.
Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

Document-Specific Keyphrase Extraction Using Sequential Patterns with Wildcards.
Proceedings of the 2014 IEEE International Conference on Data Mining, 2014

Validating direct memory access interfaces with conformance checking.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014

Equivalence checking for function pipelining in behavioral synthesis.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Coverage evaluation of post-silicon validation tests with virtual prototypes.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Scalable Certification Framework for Behavioral Synthesis Front-End.
Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Giant magnetoresistive based galvanically isolated voltage measurement.
Proceedings of the IEEE International Workshop on Applied Measurements for Power Systems Proceedings, 2014

2013
Freight train gauge-exceeding detection based on three-dimensional stereo vision measurement.
Mach. Vis. Appl., 2013

Service-oriented SMP2 modeling and simulation for GNSS.
Int. J. Online Biomed. Eng., 2013

High fidelity Virtualization of Cyber-Physical Systems.
Int. J. Model. Simul. Sci. Comput., 2013

MAIL: mining sequential patterns with wildcards.
Int. J. Data Min. Bioinform., 2013

Pnfs: Personalized Web News Filtering and Summarization.
Int. J. Artif. Intell. Tools, 2013

Pattern matching with wildcards and gap-length constraints based on a centrality-degree graph.
Appl. Intell., 2013

Estimating Duplication by Content-based Sampling.
Proceedings of the 2013 USENIX Annual Technical Conference, 2013

Symbolic Execution of Virtual Devices.
Proceedings of the 2013 13th International Conference on Quality Software, 2013

Improving Short Text Classification Using Public Search Engines.
Proceedings of the Integrated Uncertainty in Knowledge Modelling and Decision Making, 2013

The preliminary inquiry of Chlorophyll-a inversion algorithms applicable to guanting reservoir.
Proceedings of the 2013 IEEE International Geoscience and Remote Sensing Symposium, 2013

Equivalence checking for compiler transformations in behavioral synthesis.
Proceedings of the 2013 IEEE 31st International Conference on Computer Design, 2013

Optimizing post-silicon conformance checking.
Proceedings of the 2013 IEEE 31st International Conference on Computer Design, 2013

Automatic concolic test generation with virtual prototypes for post-silicon validation.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013

Handling design and implementation optimizations in equivalence checking for behavioral synthesis.
Proceedings of the 50th Annual Design Automation Conference 2013, 2013

Post-silicon conformance checking with virtual prototypes.
Proceedings of the 50th Annual Design Automation Conference 2013, 2013

Cyber/Physical Co-verification for Developing Reliable Cyber-physical Systems.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

A wearable health monitoring system with multi-parameters.
Proceedings of the 6th International Conference on Biomedical Engineering and Informatics, 2013

2012
A Logistic Regression Model for Predicting Axillary Lymph Node Metastases in Early Breast Carcinoma Patients.
Sensors, 2012

Research on Semantic Interoperability for Business Collaboration.
Proceedings of the Enterprise Interoperability - 4th International IFIP Working Conference, 2012

Novel Wireless Routers for Seamless Sharing of Video Access in Multihop Networks.
Proceedings of the 2012 IEEE International Conference on Multimedia and Expo Workshops, 2012

A new rumor propagation model on SNS structure.
Proceedings of the 2012 IEEE International Conference on Granular Computing, 2012

Equivalence checking for behaviorally synthesized pipelines.
Proceedings of the 49th Annual Design Automation Conference 2012, 2012

2011
Study of Patching-based and Caching-based video-on-demand in multi-hop WiMax mesh networks.
Wirel. Commun. Mob. Comput., 2011

Realization and synthesis of reversible functions.
Theor. Comput. Sci., 2011

A hybrid communication solution to distributed moving query monitoring systems.
Electron. Commer. Res. Appl., 2011

Formalizing hardware/software interface specifications.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Personalized News Filtering and Summarization on the Web.
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

Architecture strategy of personalized information environment.
Proceedings of the iConference 2011, 2011

Keyword extraction based on sequential pattern mining.
Proceedings of the ICIMCS 2011, 2011

Sharing Online Video Streams in Wireless Mesh Access Networks.
Proceedings of the Global Communications Conference, 2011

Model Checking Büchi Pushdown Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2011

A novel piezoelectric device with dual functions of studying biological soft tissues.
Proceedings of the 4th International Conference on Biomedical Engineering and Informatics, 2011

2010
Embedded architecture description language.
J. Syst. Softw., 2010

Optimizing Patching-based multicast for video-on-demand in wireless mesh networks.
Int. J. Commun. Syst., 2010

News Filtering and Summarization on the Web.
IEEE Intell. Syst., 2010

A Dynamic Stream Merging Technique for Video-on-Demand Services over Wireless Mesh Access Networks.
Proceedings of the Seventh Annual IEEE Communications Society Conference on Sensor, 2010

Sequential Pattern Mining with Wildcards.
Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

Pattern Matching with Flexible Wildcards and Recurring Characters.
Proceedings of the 2010 IEEE International Conference on Granular Computing, 2010

An Automata-Theoretic Approach to Hardware/Software Co-verification.
Proceedings of the Fundamental Approaches to Software Engineering, 2010

Optimizing equivalence checking for behavioral synthesis.
Proceedings of the Design, Automation and Test in Europe, 2010

Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Keyphrase extraction based on semantic relatedness.
Proceedings of the 9th IEEE International Conference on Cognitive Informatics, 2010

2009
Small-Scale and Large-Scale Routing in Vehicular Ad Hoc Networks.
IEEE Trans. Veh. Technol., 2009

Cooperation Enforcement in a Highly Dynamic Mobile Ad Hoc Network.
J. Univers. Comput. Sci., 2009

An Internet Framework for Pervasive Sensor Computing.
Int. J. Adv. Pervasive Ubiquitous Comput., 2009

Method for Joining Intersected Contour Lines Intelligently.
Proceedings of the International Forum on Information Technology and Applications, 2009

Componentizing hardware/software interface design.
Proceedings of the Design, Automation and Test in Europe, 2009

Mining Frequent Patterns with Gaps and One-Off Condition.
Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

ESIDE: An Integrated Development Environment for Component-Based Embedded Systems.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Formal Verification for High-Assurance Behavioral Synthesis.
Proceedings of the Automated Technology for Verification and Analysis, 2009

2008
A cross-layer framework for video-on-demand service in multi-hop WiMax mesh networks.
Comput. Commun., 2008

Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems.
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008

On Reducing Communication Cost for Distributed Moving Query Monitoring Systems.
Proceedings of the 9th International Conference on Mobile Data Management (MDM 2008), 2008

Dynamic Route Diversion in Connectionless Mobile Ad Hoc Networks.
Proceedings of The 2008 IEEE International Conference on Networking, 2008

Keyphrase Extraction from Chinese News Web Pages Based on Semantic Relations.
Proceedings of the Intelligence and Security Informatics, 2008

Component-Based Abstraction and Refinement.
Proceedings of the High Confidence Software Reuse in Large Systems, 2008

Keyword Extraction Based on Lexical Chains and Word Co-occurrence for Chinese News Web Pages.
Proceedings of the Workshops Proceedings of the 8th IEEE International Conference on Data Mining (ICDM 2008), 2008

Design and Development Methodology for Resilient Cyber-Physical Systems.
Proceedings of the 28th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2008 Workshops), 2008

Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation.
Proceedings of the 45th Design Automation Conference, 2008

A Service-Oriented Approach to Storage Backup.
Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008

2007
Component-based hardware/software co-verification for building trustworthy embedded systems.
J. Syst. Softw., 2007

From Semanticobjects to Structured Natural Language.
Int. J. Semantic Comput., 2007

Performance Study of Live Video Streaming Over Highway Vehicular Ad Hoc Networks.
Proceedings of the 66th IEEE Vehicular Technology Conference, 2007

TOPO: Routing in Large Scale Vehicular Networks.
Proceedings of the 66th IEEE Vehicular Technology Conference, 2007

Semi-Split TCP: Maintaining End-to-End Semantics for Split TCP.
Proceedings of the 32nd Annual IEEE Conference on Local Computer Networks (LCN 2007), 2007

Achieving True Video-on-Demand Service in Multi-Hop WiMax Mesh Networks.
Proceedings of the 32nd Annual IEEE Conference on Local Computer Networks (LCN 2007), 2007

Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation.
Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

Guiding Component-Based Hardware/Software Co-Verification with Patterns.
Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007), 2007

Component-Based Hardware/Software Co-Simulation.
Proceedings of the Tenth Euromicro Conference on Digital System Design: Architectures, 2007

Unified Property Specification for Hardware/Software Co-Verification.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006
Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits.
Proceedings of the Implementation and Application of Automata, 2006

Maximal Models of Assertion Graph in GSTE.
Proceedings of the Theory and Applications of Models of Computation, 2006

Group Theory Based Synthesis of Binary Reversible Circuits.
Proceedings of the Theory and Applications of Models of Computation, 2006

Component-based hardware/software co-verification.
Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

Routing Performance in CDMA-based Sensor Networks for Different Energy Metrics.
Proceedings of the LCN 2006, 2006

Integrating Semantic Web Services for Declarative Accesses in Natural Language.
Proceedings of the Eigth IEEE International Symposium on Multimedia (ISM 2006), 2006

A Constructive Algorithm for Reversible Logic Synthesis.
Proceedings of the IEEE International Conference on Evolutionary Computation, 2006

Verification of Component-Based Software Application Families.
Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006

Compositional Reasoning for Hardware/Software Co-verification.
Proceedings of the Automated Technology for Verification and Analysis, 2006

2005
Semantic Analysis and Synthesis of Complex Biological Systems.
Int. J. Softw. Eng. Knowl. Eng., 2005

Translation-based co-verification.
Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

A Theoretical Upper Bound for IP-Based Floorplanning.
Proceedings of the Computing and Combinatorics, 11th Annual International Conference, 2005

2004
Lessons Learned from Model Checking a NASA Robot Controller.
Formal Methods Syst. Des., 2004

Automatic Creation of Environment Models via Training.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Translating Software Designs for Model Checking.
Proceedings of the Fundamental Approaches to Software Engineering, 2004

2003
Verified systems by composition from verified components.
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Translation-Based Compositional Reasoning for Software Systems.
Proceedings of the FME 2003: Formal Methods, 2003

2002
A multi-protocol cross-domain communication model for metacomputing systems.
ACM SIGOPS Oper. Syst. Rev., 2002

Web Search with Personalization and Knowledge.
Proceedings of the 4th International Symposium on Multimedia Software Engineering, 2002

ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs.
Proceedings of the Fundamental Approaches to Software Engineering, 2002

Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs.
Proceedings of the Fundamental Approaches to Software Engineering, 2002

2001
Model Checking for an Executable Subset of UML.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

1997
A comparative study of speech detection methods.
Proceedings of the Fifth European Conference on Speech Communication and Technology, 1997

1996
Speech enhancement by spectral magnitude estimation - A unifying approach.
Speech Commun., 1996

Spectral estimation and normalisation for robust speech recognition.
Proceedings of the 4th International Conference on Spoken Language Processing, 1996

1994
A family of MLP based nonlinear spectral estimators for noise reduction.
Proceedings of ICASSP '94: IEEE International Conference on Acoustics, 1994

1993
Speech enhancement by nonlinear spectral estimation - a unifying approach.
Proceedings of the Third European Conference on Speech Communication and Technology, 1993

1990
Speech recognition in noisy environments with the aid of microphone arrays.
Speech Commun., 1990


  Loading...