Fei Xie

According to our database1, Fei Xie authored at least 158 papers between 1990 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
An importance sampling-based smoothing approach for quasi-Monte Carlo simulation of discrete barrier options.
European Journal of Operational Research, 2019

Fault-Tolerant Adaptive Control for a Class of Nonlinear Systems With Uncertain Parameters and Unknown Control Directions.
IEEE Access, 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. Geoscience and Remote Sensing, 2018

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

An Orthogonal Projection Algorithm to Suppress Interference in High-Frequency Surface Wave Radar.
Remote Sensing, 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 Sensing Lett., 2018

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

Scheduling non-preemptive tasks with strict periods in multi-core real-time systems.
Journal of Systems Architecture - Embedded Systems Design, 2018

Fuzzy observer-based sampled-data control for a class of pure-feedback nonlinear systems.
J. Franklin Institute, 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

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

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. Industrial Electronics, 2017

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

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

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

Using SVD-FRFT Filtering to Suppress First-Order Sea Clutter in HFSWR.
IEEE Geosci. Remote Sensing 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 Systems, 2016

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

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

Research on spatial and temporal characteristics of drought based on GIS using Remote Sensing Big Data.
Cluster Computing, 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

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. Instrumentation and Measurement, 2015

Hysteresis Compensation Based on Controlled Current Pulses for Magnetoresistive Sensors.
IEEE Trans. Industrial Electronics, 2015

A two-step matrix splitting iteration for computing PageRank.
J. Computational Applied Mathematics, 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

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

High fidelity Virtualization of Cyber-Physical Systems.
IJMSSC, 2013

MAIL: mining sequential patterns with wildcards.
IJDMB, 2013

Pnfs: Personalized Web News Filtering and Summarization.
International Journal on Artificial Intelligence 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

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.
Wireless Communications and Mobile Computing, 2011

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

A hybrid communication solution to distributed moving query monitoring systems.
Electronic Commerce Research and Applications, 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
Optimizing Patching-based multicast for video-on-demand in wireless mesh networks.
Int. J. Communication Systems, 2010

News Filtering and Summarization on the Web.
IEEE Intelligent Systems, 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. Vehicular Technology, 2009

Cooperation Enforcement in a Highly Dynamic Mobile Ad Hoc Network.
J. UCS, 2009

An Internet Framework for Pervasive Sensor Computing.
IJAPUC, 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.
Computer Communications, 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

Embedded Architecture Description Language.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications 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.
Journal of Systems and Software, 2007

From Semanticobjects to Structured Natural Language.
Int. J. Semantic Computing, 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
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 in System Design, 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

Semantic Analysis and Synthesis of Complex Biological Systems.
Proceedings of the 4th IEEE International Symposium on BioInformatics and BioEngineering (BIBE 2004), 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.
Operating Systems Review, 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 Communication, 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 Communication, 1990


  Loading...