Fei Xie

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2025
P2P: Part-to-Part Motion Cues Guide a Strong Tracking Framework for LiDAR Point Clouds.
Int. J. Comput. Vis., August, 2025

Multi-Turn Jailbreaks Are Simpler Than They Seem.
CoRR, August, 2025

VRM: Knowledge Distillation via Virtual Relation Matching.
CoRR, February, 2025

Vulnerabilities and Security Patches Detection in OSS: A Survey.
ACM Comput. Surv., January, 2025

Fairness modeling for topics with different scales in short texts.
PeerJ Comput. Sci., 2025

Fault diagnosis and remaining life prediction of key industrial equipment based on machine learning.
Int. J. Inf. Commun. Technol., 2025

Tiered matching model considering quality compatibility in two-sided markets.
Expert Syst. Appl., 2025

Coronary artery disease severity and location detection using deep-mining-based magnetocardiography pattern features.
Comput. Methods Programs Biomed., 2025

Co-registration method of wearable magnetocardiography system and CT.
Biomed. Signal Process. Control., 2025

High-Performance Noise Whitening Filter for 112-Gbps PAM-4 IMDD Transmission with Severe Bandwidth Limitation.
Proceedings of the Optical Fiber Communications Conference and Exhibition, 2025

Resource Allocation for UAV Swarms Based on Major-Minor Mean Field Game.
Proceedings of the Advanced Intelligent Computing Technology and Applications, 2025

Mamba-Adaptor: State Space Model Adaptor for Visual Recognition.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2025

Mixterm Topic Model: A Short Text Topic Model in Low-Resource Scenarios.
Proceedings of the IEEE International Conference on Big Data and Smart Computing, 2025

2024
Correlation-Embedded Transformer Tracking: A Single-Branch Framework.
IEEE Trans. Pattern Anal. Mach. Intell., December, 2024

Revisiting the potential value of vital signs in the real-time prediction of mortality risk in intensive care unit patients.
J. Big Data, December, 2024

An Improved Constant Active Power Control for Three-Phase Buck Rectifier Under Unbalanced Input Voltages and Wide AC Input Frequency.
IEEE Trans. Circuits Syst. II Express Briefs, July, 2024

Cut-set matrix methods for frequency response analysis curves of lumped parameter equivalent circuit model of three-winding power transformer.
Int. J. Circuit Theory Appl., March, 2024

Star-XP: A simulation framework for Polar-2/ low energy X-ray polarization detector.
SoftwareX, February, 2024

GA-Net: A geographical attention neural network for the segmentation of body torso tissue composition.
Medical Image Anal., January, 2024

CRTrack: Learning Correlation-Refine network for visual object tracking.
Pattern Recognit., 2024

A novel scenic spots assessment and recommendation method based on network attention: augmented mining model using probabilistic linguistic term set combined with VIKOR.
Kybernetes, 2024

Research on the Geographical Pattern, Evolution Model, and Driving Mechanism of Carbon Emission Density from Urban Industrial Land in the Yangtze River Economic Belt of China.
ISPRS Int. J. Geo Inf., 2024

Multi-scale feature extraction for energy-efficient object detection in remote sensing images.
IET Comput. Vis., 2024

A Contrastive Learning Framework for Keyphrase Extraction.
Data Intell., 2024

PredFormer: Transformers Are Effective Spatial-Temporal Predictive Learners.
CoRR, 2024

Concolic Testing of JavaScript using Sparkplug.
CoRR, 2024

Enhancing Compiler Transformation Robustness with Large Language Models.
CoRR, 2024

Diagnosing Fault Types and Degrees of Transformer Winding Combining FRA Method With SOA-KELM.
IEEE Access, 2024

Multiplication-Free Equalization Schemes for 244-Gbps PAM-4 Transmission.
Proceedings of the Optical Fiber Communications Conference and Exhibition, 2024

QuadMamba: Learning Quadtree-based Selective Scan for Visual State Space Model.
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

Towards Category Unification of 3D Single Object Tracking on Point Clouds.
Proceedings of the Twelfth International Conference on Learning Representations, 2024

A Community Detection Algorithm for Multi-View Attributed Network.
Proceedings of the 16th International Conference on Computer and Automation Engineering, 2024

A BDI Agent-Based Asynchronous Scheduling Framework For Cloud Computing.
Proceedings of the IEEE International Conference on Agents, 2024

The Collaborative Intelligent Mathematics Tutoring Agent Platform.
Proceedings of the IEEE International Conference on Agents, 2024

DiffusionTrack: Point Set Diffusion Model for Visual Object Tracking.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024

2023
A Small Intestinal Stromal Tumor Detection Method Based on an Attention Balance Feature Pyramid.
Sensors, December, 2023

A hybrid computing framework for risk-oriented reliability analysis in dynamic PSA context: A case study.
Qual. Reliab. Eng. Int., December, 2023

Few-shot relation classification based on the BERT model, hybrid attention and fusion networks.
Appl. Intell., September, 2023

Spatial-temporal correlated graph neural networks based on neighborhood feature selection for traffic data prediction.
Appl. Intell., February, 2023

A new adaptive window-based guided filtering and interpolation for polarization image demosaicing.
IET Image Process., 2023

Smart Fuzzing of 5G Wireless Software Implementation.
CoRR, 2023

Backflow Power Optimization of DAB Based on Asymmetric Duty Cycle and Internal Phase Shift Control.
IEEE Access, 2023

In-Situ Concolic Testing of JavaScript.
Proceedings of the IEEE International Conference on Software Analysis, 2023

Attacks are Forwarded: Breaking the Isolation of MicroVM-based Containers Through Operation Forwarding.
Proceedings of the 32nd USENIX Security Symposium, 2023

Certifying Sequential Consistency of Machine Learning Accelerators.
Proceedings of the Formal Methods and Software Engineering, 2023

Non-Autoregressive Speech Synthesis by Fusion of CoordConv and Sound Quality.
Proceedings of the IEEE International Conference on Knowledge Graph, 2023

Layer Sparse Transformer for Speech Recognition.
Proceedings of the IEEE International Conference on Knowledge Graph, 2023

Concolic Testing of Front-end JavaScript.
Proceedings of the Fundamental Approaches to Software Engineering, 2023

VideoTrack: Learning to Track Objects via Video Transformer.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

2022
Offspring regeneration method based on bi-level sampling for large-scale evolutionary multi-objective optimization.
Swarm Evol. Comput., 2022

Monitoring Surface Water Inundation of Poyang Lake and Dongting Lake in China Using Sentinel-1 SAR Images.
Remote. Sens., 2022

Vegetation Dynamics under Rapid Urbanization in the Guangdong-Hong Kong-Macao Greater Bay Area Urban Agglomeration during the Past Two Decades.
Remote. Sens., 2022

Trust, Incomplete Contracting, and Corporate Innovation.
Manag. Sci., 2022

Graph-based cognitive diagnosis for intelligent tutoring systems.
Knowl. Based Syst., 2022

Siamese Transformer Network: Building an autonomous real-time target tracking system for UAV.
J. Syst. Archit., 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

Keyphrase extraction using deep and wide learning features.
Intell. Data Anal., 2022

States and Internal States on Ehoops.
FLAP, 2022

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

VideoPipe 2022 Challenge: Real-World Video Understanding for Urban Pipe Inspection.
Proceedings of the 26th International Conference on Pattern Recognition, 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

Weighted Transformer for Dialect Speech Recognition.
Proceedings of the IEEE International Conference on Knowledge Graph, 2022

Foreign Accent Conversion using Concentrated Attention.
Proceedings of the IEEE International Conference on Knowledge Graph, 2022

The Tenth Visual Object Tracking VOT2022 Challenge Results.
, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,
Proceedings of the Computer Vision - ECCV 2022 Workshops, 2022

An Ontology-based Knowledge Base System for Military Software Testing.
Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

Correlation-Aware Deep Tracking.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022

High-quality development assessment and spatial difference analysis of new urbanization in Guangdong Province based on multi-source data.
Proceedings of the 18th International Conference on Computational Intelligence and Security, 2022

A two-stage multi-objective evolutionary algorithm for large-scale multi-objective optimization.
Proceedings of the IEEE Congress on Evolutionary Computation, 2022

2021
Specification-Driven Conformance Checking for Virtual/Silicon Devices Using Mutation Testing.
IEEE Trans. Computers, 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

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

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

A Novel PageRank-Based Fault Handling Strategy for Workflow Scheduling in Cloud Data Centers.
Int. J. Web Serv. Res., 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

2020
A Systematic Investigation of State-of-the-Art SystemC Verification.
J. Circuits Syst. Comput., 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

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

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

Adaptive dynamic sliding mode control for space manipulator with external disturbance.
J. Control. Decis., 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

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

2018
Scheduling non-preemptive tasks with strict periods in multi-core real-time systems.
J. Syst. Archit., 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

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

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

A survey on the industrial readiness for Internet of Things.
Proceedings of the 8th IEEE Annual Ubiquitous Computing, 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

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

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

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
Bounded Model Checking of Hybrid Automata Pushdown System.
Proceedings of the 2014 14th International Conference on Quality Software, 2014

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

Coverage evaluation of post-silicon validation tests with virtual prototypes.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 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

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

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

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

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

Architecture strategy of personalized information environment.
Proceedings of the iConference 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

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

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

Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification.
Proceedings of the Computer Aided Verification, 22nd International Conference, 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

ESIDE: An Integrated Development Environment for Component-Based Embedded Systems.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 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

Component-Based Abstraction and Refinement.
Proceedings of the High Confidence Software Reuse in Large Systems, 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

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

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

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...