Li Tan

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

Bibliography

2024
RIS-Aided Wireless Communications: Can RIS Beat Flat Metal Plate?
IEEE Trans. Veh. Technol., October, 2024

Multi-User Passive Beamforming in RIS-Aided Communications and Experimental Validations.
IEEE Trans. Commun., October, 2024

RIS With Insufficient Phase Shifting Capability: Modeling, Beamforming, and Experimental Validations.
IEEE Trans. Commun., September, 2024

An adaptive Q-learning based particle swarm optimization for multi-UAV path planning.
Soft Comput., July, 2024

CGMNet: Semantic Change Detection via a Change-Aware Guided Multi-Task Network.
Remote. Sens., July, 2024

A transformer-based UAV instance segmentation model TF-YOLOv7.
Signal Image Video Process., June, 2024

Innovative Decision Fusion for Accurate Crop/Vegetation Classification with Multiple Classifiers and Multisource Remote Sensing Data.
Remote. Sens., May, 2024

Multimodal dual emotion with fusion of visual sentiment for rumor detection.
Multim. Tools Appl., March, 2024

Motion Control of Two Mobile Robots Under Allowable Collisions.
IEEE Robotics Autom. Lett., January, 2024

Strong convergence of a tamed theta scheme for McKean-Vlasov NSDDEs driven by fractional Brownian motion.
CoRR, 2024

Methodological Explainability Evaluation of an Interpretable Deep Learning Model for Post-Hepatectomy Liver Failure Prediction Incorporating Counterfactual Explanations and Layerwise Relevance Propagation: A Prospective In Silico Trial.
CoRR, 2024

Convergence rate of nonlinear delayed McKean-Vlasov SDEs driven by fractional Brownian motions.
CoRR, 2024

Event Vision-based Corner Detection with Count-normalized Multi-Layer Perceptron and Throughput Indicator.
Comput. Electr. Eng., 2024

Energy-Efficient Multi-UAV Collaborative Path Planning using Levy Flight and Improved Gray Wolf Optimization.
Proceedings of the International Joint Conference on Neural Networks, 2024

A Real-Time Unmanned Aerial Vehicle (UAV) Aerial Image Object Detection Model.
Proceedings of the International Joint Conference on Neural Networks, 2024

2023
Applying Artificial Intelligence Technology to Analyze the Athletes' Training Under Sports Training Monitoring System.
Int. J. Humanoid Robotics, December, 2023

MC-Net: multi-scale contextual information aggregation network for image captioning on remote sensing images.
Int. J. Digit. Earth, December, 2023

Quality-based irregular area coverage algorithm in aerial sensor networks.
Comput. Electr. Eng., December, 2023

Optimal decision-making in high-throughput virtual screening pipelines.
Patterns, November, 2023

A robust multiple Unmanned Aerial Vehicles 3D path planning strategy via improved particle swarm optimization.
Comput. Electr. Eng., October, 2023

UAV image object recognition method based on small sample learning.
Multim. Tools Appl., July, 2023

Adaptively feature matching via joint transformational-spatial clustering.
Multim. Syst., June, 2023

Dynamic multi-site graph convolutional network for autism spectrum disorder identification.
Comput. Biol. Medicine, May, 2023

Multi-UAV path planning based on IB-ABC with restricted planned arrival sequence.
Robotica, April, 2023

A super-resolution network using channel attention retention for pathology images.
PeerJ Comput. Sci., 2023

Research status of deep learning methods for rumor detection.
Multim. Tools Appl., 2023

Dense Voxel 3D Reconstruction Using a Monocular Event Camera.
CoRR, 2023

Crowd counting in dense UAV images based on multiscale feature fusion.
Proceedings of the 4th International Conference on Computer Engineering and Intelligent Control, 2023

Wildfire Perimeter Detection via Iterative Trimming Method.
Proceedings of the Computational Science - ICCS 2023, 2023

Ensemble Based Learning for Automated Safety Labeling of Prescribed Fires.
Proceedings of the Computational Science - ICCS 2023, 2023

Food23: A Chinese Food Safety Dataset for Fake News Detection.
Proceedings of the 2023 7th International Conference on Advances in Artificial Intelligence, 2023

Large-Scale Rank Aggregation from Multiple Data Sources Based D<sup>3</sup>MOPSO Method.
Proceedings of the Web and Big Data - 7th International Joint Conference, 2023

2022
Estimation of wildfire wind conditions via perimeter and surface area optimization.
J. Comput. Sci., 2022

High-Throughput Virtual Screening and Validation of a SARS-CoV-2 Main Protease Noncovalent Inhibitor.
J. Chem. Inf. Model., 2022

Two-geodesic-transitive graphs which are locally self-complementary.
Discret. Math., 2022

A 3D Positioning-based Channel Estimation Method for RIS-aided mmWave Communications.
CoRR, 2022

Adaptive multi-UAV path planning method based on improved gray wolf algorithm.
Comput. Electr. Eng., 2022

A multi- unmanned aerial vehicle dynamic task assignment method based on bionic algorithms.
Comput. Electr. Eng., 2022

A Unified Test for the AR Error Structure of an Autoregressive Model.
Axioms, 2022

On diameter two Cayley graphs.
Appl. Math. Comput., 2022

Subpixel edge contour extraction based on Zernike orthogonal moments.
Proceedings of the 7th International Conference on Intelligent Information Processing, 2022

Characterizing Wildfire Perimeter Polygons from QUIC-Fire.
Proceedings of the Computational Science - ICCS 2022, 2022

Piecewise fitting of distorted image edge contour.
Proceedings of the 5th International Conference on E-Business, 2022

2021
RIS-Aided Wireless Communications: Prototyping, Adaptive Beamforming, and Indoor/Outdoor Field Trials.
IEEE Trans. Commun., 2021

Co-design Center for Exascale Machine Learning Technologies (ExaLearn).
Int. J. High Perform. Comput. Appl., 2021

A note on strong convergence of implicit scheme for SDEs under local one-sided Lipschitz conditions.
Int. J. Comput. Math., 2021

Improved LEACH-M Protocol for Processing Outlier Nodes in Aerial Sensor Networks.
IEICE Trans. Commun., 2021

Pandemic Drugs at Pandemic Speed: Accelerating COVID-19 Drug Discovery with Hybrid Machine Learning- and Physics-based Simulations on High Performance Computers.
CoRR, 2021

YOLOv4_Drone: UAV image target detection based on an improved YOLOv4 algorithm.
Comput. Electr. Eng., 2021

A Received Power Model for Reconfigurable Intelligent Surface and Measurement-based Validations.
Proceedings of the 22nd IEEE International Workshop on Signal Processing Advances in Wireless Communications, 2021

Scalable HPC & AI infrastructure for COVID-19 therapeutics.
Proceedings of the PASC '21: Platform for Advanced Scientific Computing Conference, 2021


The effect of organizational justice on knowledge workers' job crafting - - A chain mediation model of psychological ownership and organizational trust.
Proceedings of the ICEME 2021: The 12th International Conference on E-business, Management and Economics, Beijing, China, July 17, 2021

Multi-UAV Task Allocation Method Based on Improved Bat Algorithm.
Proceedings of the Artificial Intelligence and Security - 7th International Conference, 2021

Improving Wildfire Simulations by Estimation of Wildfire Wind Conditions from Fire Perimeter Measurements.
Proceedings of the Computational Science - ICCS 2021, 2021

Rumor Detection Based on Generalized Text Feature.
Proceedings of the EITCE 2021: 5th International Conference on Electronic Information Technology and Computer Engineering, Xiamen, China, October 22, 2021

Data-driven Anomaly Detection and Forewarning Based on Grey Prediction Model.
Proceedings of the EBIMCS 2021: 4th International Conference on E-Business, Information Management and Computer Science, Hong Kong, SAR, China, December 29, 2021

Two-dimensional Steel Cutting Based on Recursive Algorithm.
Proceedings of the EBIMCS 2021: 4th International Conference on E-Business, Information Management and Computer Science, Hong Kong, SAR, China, December 29, 2021

UAV Task Allocation Method Using Swarm Intelligence Optimization Algorithm.
Proceedings of the Wireless Sensor Networks - 15th China Conference, 2021

2020
Asymptotically Linear Analysis and Gate Probability Allocation Schemes in Probabilistic Circuits.
IEEE Trans. Very Large Scale Integr. Syst., 2020

A Weighted Voronoi Diagram-Based Self-Deployment Algorithm for Heterogeneous Directional Mobile Sensor Networks in Three-Dimensional Space.
IEICE Trans. Commun., 2020

Scalable HPC and AI Infrastructure for COVID-19 Therapeutics.
CoRR, 2020

Strong convergence rate of the truncated Euler-Maruyama method for stochastic differential delay equations with Poisson jumps.
CoRR, 2020

Deep Learning Video Action Recognition Method Based on Key Frame Algorithm.
Proceedings of the Artificial Intelligence and Security - 6th International Conference, 2020

Video Action Recognition Based on Hybrid Convolutional Network.
Proceedings of the Artificial Intelligence and Security - 6th International Conference, 2020

Recursive Updates of Wildfire Perimeters Using Barrier Points and Ensemble Kalman Filtering.
Proceedings of the Computational Science - ICCS 2020, 2020

Expanding Training Set for Graph-Based Semi-supervised Classification.
Proceedings of the Database and Expert Systems Applications, 2020

2019
Path self-deployment algorithm of three-dimensional space in directional sensor networks.
Int. J. High Perform. Comput. Netw., 2019

Failure Analysis and Quantification for Contemporary and Future Supercomputers.
CoRR, 2019

Soft Error Resilience and Failure Recovery for Continuum Dynamics Applications.
CoRR, 2019

Three-dimensional Voronoi Diagram-based Self-deployment Algorithm in IoT Sensor Networks.
Ann. des Télécommunications, 2019

Virtual Garment Using Joint Landmark Prediction and Part Segmentation.
Proceedings of the IEEE Conference on Virtual Reality and 3D User Interfaces, 2019

3D Virtual Garment Modeling from RGB Images.
Proceedings of the 2019 IEEE International Symposium on Mixed and Augmented Reality, 2019

Weakly-Supervised Semantic Segmentation with Mean Teacher Learning.
Proceedings of the Intelligence Science and Big Data Engineering. Visual Data Engineering, 2019

ME-CCHP: Copy Cluster Head Routing Protocol Based on Maximum Energy.
Proceedings of the 19th IEEE International Conference on Communication Technology, 2019

A Weighted Voronoi Diagram Based Self-deployment Algorithm for Heterogeneous Mobile Sensor Network in Three-Dimensional Space.
Proceedings of the Wireless Sensor Networks - 13th China Conference, 2019

Improved LEACH-M Protocol for Aerial Sensor Networks.
Proceedings of the 2019 International Conference on Computer, 2019

Persistent Excitation Condition for MIMO Volterra System Identification with Gaussian Distributed Input Signals.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018
Sparse Modeling of Nonlinear Secondary Path for Nonlinear Active Noise Control.
IEEE Trans. Instrum. Meas., 2018

Optimal Reliable Point-in-Polygon Test and Differential Coding Boolean Operations on Polygons.
Symmetry, 2018

Using virtualization to quantify power conservation via near-threshold voltage reduction for inherently resilient applications.
Parallel Comput., 2018

Almost sure convergence rate of θ-EM scheme for neutral SDDEs.
J. Comput. Appl. Math., 2018

Strong convergence of a tamed theta scheme for NSDDEs with one-sided Lipschitz drift.
Appl. Math. Comput., 2018

Large-scale hierarchical <i>k-means</i> for heterogeneous many-core supercomputers.
Proceedings of the International Conference for High Performance Computing, 2018

Inter-cell Interference Coordination in LTE Self Organizing Network.
Proceedings of the Intelligent Systems and Applications, 2018

Channel Sparsity-Aware Diagonal Structure Volterra Filters for Nonlinear Acoustic Echo Cancellation.
Proceedings of the 2018 IEEE International Conference on Electro/Information Technology, 2018

Development of a Piano Frequency Detecting System Using the Goertzel Algorithm.
Proceedings of the 2018 IEEE International Conference on Electro/Information Technology, 2018

Speech Recognition Using Sparse Discrete Wavelet Decomposition Feature Extraction.
Proceedings of the 2018 IEEE International Conference on Electro/Information Technology, 2018

A Multiple Object Tracking Algorithm Based on YOLO Detection.
Proceedings of the 11th International Congress on Image and Signal Processing, 2018

2017
结合HS算法与ESN算法的光伏发电短期出力预测 (Short-term Power Forecasting for Photovoltaic Generation Based on HS-ESN).
计算机科学, 2017

Connecting priority algorithm for node deployment in directional sensor networks.
Int. J. Grid Util. Comput., 2017

Using <i>k</i>-Mix-Neighborhood Subdigraphs to Compute Canonical Labelings of Digraphs.
Entropy, 2017

Channel sparsity-aware recursive least squares algorithms for nonlinear system modeling and active noise control.
Proceedings of the 8th IEEE Annual Ubiquitous Computing, 2017

Development of a radiation detecting rover system.
Proceedings of the 8th IEEE Annual Ubiquitous Computing, 2017

Development of a motion controlled robotic arm.
Proceedings of the 8th IEEE Annual Ubiquitous Computing, 2017

A novel dynamic clustering strategy on energy efficiency for dense network deployment.
Proceedings of the 13th International Conference on Natural Computation, 2017

Comparative study of simple feature extraction for single-channel EEG based classification.
Proceedings of the IEEE International Conference on Electro Information Technology, 2017

RSVP: Soft Error Resilient Power Savings at Near-Threshold Voltage Using Register Vulnerability.
Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2017

A Target Tracking Algorithm Based on Path Virtual Force.
Proceedings of the 2017 IEEE International Conference on Computational Science and Engineering, 2017

Reference-free compression of next-generation sequencing data in FASTQ format.
Proceedings of the IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology, 2017

2016
Test Reactive Systems with Büchi-Automaton-Based Temporal Requirements.
Proceedings of the Theoretical Information Reuse and Integration, 2016

Scalable Energy Efficiency with Resilience for High Performance Computing Systems: A Quantitative Methodology.
ACM Trans. Archit. Code Optim., 2016

Partly random multiple weighting matrices selection for orthogonal random beamforming.
J. Commun. Networks, 2016

Cloud-based harvest management information system for hand-harvested specialty crops.
Comput. Electron. Agric., 2016

Finite two-distance-transitive graphs of valency 6.
Ars Math. Contemp., 2016

Two-Distance-Transitve Graphs Of Valency 7.
Ars Comb., 2016

Design, Use and Evaluation of P-FSEFI: A Parallel Soft Error Fault Injection Framework for Emulating Soft Errors in Parallel Applications.
Proceedings of the 9th EAI International Conference on Simulation Tools and Techniques, 2016

GreenLA: green linear algebra software for GPU-accelerated heterogeneous computing.
Proceedings of the International Conference for High Performance Computing, 2016

An Extensible Software Platform for Cloud-Based Decision Support and Automation in Precision Agriculture.
Proceedings of the 17th IEEE International Conference on Information Reuse and Integration, 2016

Efficient adaptive bilinear filters for nonlinear active noise control.
Proceedings of the 10th International Conference on Signal Processing and Communication Systems, 2016

2015
Testing with Büchi Automata: Transition Coverage Metrics, Performance Analysis, and Property Refinement.
Proceedings of the Formalisms for Reuse and Systems Integration, 2015

The Interplay Between Energy Efficiency and Resilience for Scalable High Performance Computing Systems.
PhD thesis, 2015

A hybrid particle swarm optimization based memetic algorithm for DNA sequence compression.
Soft Comput., 2015

Slow Down or Halt: Saving the Optimal Energy for Scalable HPC Systems.
Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, Austin, TX, USA, January 31, 2015

Cloud-Based Harvest Management System for Specialty Crops.
Proceedings of the Fourth IEEE Symposium on Network Cloud Computing and Applications, 2015

Test Reactive Systems with Buchi Automata: Acceptance Condition Coverage Criteria and Performance Evaluation.
Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 2015

Investigating the Interplay between Energy Efficiency and Resilience in High Performance Computing.
Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium, 2015

A complex adaptive Harmonic IIR notch filter.
Proceedings of the IEEE International Conference on Electro/Information Technology, 2015

2014
Multirate Processing Technique for Obtaining Integer and Fractional-Order Derivatives of Low-Frequency Signals.
IEEE Trans. Instrum. Meas., 2014

A survey of power and energy efficient techniques for high performance numerical linear algebra operations.
Parallel Comput., 2014

A unified framework for evaluating test criteria in model-checking-assisted test case generation.
Inf. Syst. Frontiers, 2014

TX: algorithmic energy saving for distributed dense matrix factorizations.
Proceedings of the 5th Workshop on Latest Advances in Scalable Algorithms for Large-Scale Systems, 2014

Nonlinear active noise control using diagonal-channel LMS and RLS bilinear filters.
Proceedings of the IEEE 57th International Midwest Symposium on Circuits and Systems, 2014

Specification-based testing with buchi automata: Transition coverage criteria and property refinement.
Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

Cloud-based monitoring and analysis of yield efficiency in precision farming.
Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

HP-DAEMON: High Performance Distributed Adaptive Energy-efficient Matrix-multiplicatiON.
Proceedings of the International Conference on Computational Science, 2014

K-means clustering based compression algorithm for the high-throughput DNA sequence.
Proceedings of the International Conference on Audio, 2014

2013
Exact Solutions of a Generalized Weighted Scale Free Network.
J. Appl. Math., 2013

An efficient scheduling scheme based on MET for MIMO systems.
Int. J. Wirel. Mob. Comput., 2013

A spring oscillator model used for particle swarm optimizer.
Proceedings of the 2013 IEEE Symposium on Swarm Intelligence, 2013

An integrated cloud-based platform for labor monitoring and data analysis in precision agriculture.
Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

A2E: Adaptively aggressive energy efficient DVFS scheduling for data intensive applications.
Proceedings of the IEEE 32nd International Performance Computing and Communications Conference, 2013

Obtaining higher-order derivatives of low-frequency signals using multirate signal processing.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2013

Improving performance and energy efficiency of matrix multiplication via pipeline broadcast.
Proceedings of the 2013 IEEE International Conference on Cluster Computing, 2013

Lightweight fault detection in parallelized programs.
Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, 2013

Analyzing the impact of social media on social movements: a computational study on Twitter and the occupy wall street movement.
Proceedings of the Advances in Social Networks Analysis and Mining 2013, 2013

Simulation Job Scheduling on Clusters with Heterogeneous Scheduling Systems.
Proceedings of the AsiaSim 2013, 2013

A Novel Stopping Criterion for LTE-A High Speed Turbo Decoder.
Proceedings of the 2013 The Second International Conference on Innovative Computing and Cloud Computing, 2013

2012
Novel Research on Cognitive Pilot Channel in Cognitive Wireless Network.
Wirel. Pers. Commun., 2012

Pole-Radius-Varying IIR Notch Filter With Transient Suppression.
IEEE Trans. Instrum. Meas., 2012

Analysis of adaptive proportional fair scheduling method on BD-GMD scheme for MIMO systems.
Int. J. Wirel. Mob. Comput., 2012

An extensible object-oriented and agent-based framework for modelling and simulating supply chains.
Int. J. Inf. Decis. Sci., 2012

Intelligent Recognition of Lung Nodule Combining Rule-based and C-SVM Classifiers.
Int. J. Comput. Intell. Syst., 2012

A Well-typed Lightweight Situation Calculus
CoRR, 2012

ImageHive: Interactive Content-Aware Image Summarization.
IEEE Computer Graphics and Applications, 2012

<i>In silico</i> identification software (ISIS): a machine learning approach to tandem mass spectral identification of lipids.
Bioinform., 2012

Test criteria for model-checking-assisted test case generation: A computational study.
Proceedings of the IEEE 13th International Conference on Information Reuse & Integration, 2012

An extensible and integrated software architecture for data analysis and visualization in precision agriculture.
Proceedings of the IEEE 13th International Conference on Information Reuse & Integration, 2012

A study on application of semi-supervised collaborative classification algorithm.
Proceedings of the 2nd IEEE International Conference on Cloud Computing and Intelligence Systems, 2012

2011
TextFlow: Towards Better Understanding of Evolving Topics in Text.
IEEE Trans. Vis. Comput. Graph., 2011

Oversampling Technique for Obtaining Higher Order Derivative of Low-Frequency Signals.
IEEE Trans. Instrum. Meas., 2011

A Novel Dynamic Proportional Fair Scheduling Based on Block Diagonal Geometric Mean Decomposition.
J. Networks, 2011

A practical heterogeneous network optimisation algorithm based on reinforcement learning.
Int. J. Commun. Networks Distributed Syst., 2011

Graph coloring based spectrum allocation for femtocell downlink interference mitigation.
Proceedings of the 2011 IEEE Wireless Communications and Networking Conference, 2011

Complete interference solution with MWSC consideration for OFDMA macro/femtocell hierarchical networks.
Proceedings of the 2011 IEEE Wireless Communications and Networking Conference, 2011

Joint Power Control and Scheduling Strategies for OFDMA Femtocells in Hierarchical Networks.
Proceedings of the 73rd IEEE Vehicular Technology Conference, 2011

State Coverage Metrics for Specification-Based Testing with Büchi Automata.
Proceedings of the Tests and Proofs - 5th International Conference, 2011

An Adaptive N-Variant Software Architecture for Multi-Core Platforms: Models and Performance Analysis.
Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011

A bridge structural health data analysis model based on semi-supervised learning.
Proceedings of the IEEE International Conference on Automation and Logistics, 2011

Design and Implimentation of Rural New Energy Source Gis System Based on Kml.
Proceedings of the Applied Informatics and Communication - International Conference, 2011

2010
Bit-Error Aware Lossless Compression of Waveform Data.
IEEE Signal Process. Lett., 2010

Distributed Self-Healing for Reconfigurable WLANs.
Proceedings of the 2010 IEEE Wireless Communications and Networking Conference, 2010

An Information Accuracy Based Mesh Division Mechanism for Cognitive Pilot Channel.
Proceedings of the 71st IEEE Vehicular Technology Conference, 2010

Cognitive Optimization Scheme of Coverage for Femtocell Using Multi-Element Antenna.
Proceedings of the 72nd IEEE Vehicular Technology Conference, 2010

Entropy and software systems: towards an information-theoretic foundation of software testing.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

TIARA: a visual exploratory text analytic system.
Proceedings of the 16th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2010

Distortion data research of bridge structure health monitoring based on LS-SVM classification.
Proceedings of the 3rd International Conference on Information Sciences and Interaction Sciences (ICIS 2010), 2010

Understanding text corpora with multiple facets.
Proceedings of the 5th IEEE Conference on Visual Analytics Science and Technology, 2010

VisWorks text and network visual analytics: VAST 2010 Mini Challenge 1 award: "Effective interactive visualization of document contents".
Proceedings of the 5th IEEE Conference on Visual Analytics Science and Technology, 2010

Relationship of eigenvalue between MPSD iterative matrix and Jacobi iterative matrix.
Proceedings of the International Conference on Machine Learning and Cybernetics, 2010

A Hierarchical Formal Framework for Adaptive N-variant Programs in Multi-core Systems.
Proceedings of the 30th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2010 Workshops), 2010

2009
Novel adaptive IIR filter for frequency estimation and tracking [DSP Tips&Tricks].
IEEE Signal Process. Mag., 2009

A Novel Fusion Method for Semantic Concept Classification in Video.
J. Softw., 2009

A model-checking-based approach to risk analysis in supply chain consolidations.
Integr. Comput. Aided Eng., 2009

Q-learning based heterogenous network self-optimization for reconfigurable network with CPC assistance.
Sci. China Ser. F Inf. Sci., 2009

A Multiple Weighting Matrices Selection Scheme Based on Orthogonal Random Beamforming for MIMO Downlink System.
Proceedings of the Advances in Neural Networks, 2009

Proportional Fair Scheduling Based on Genetic Algorithms for Multi-user MIMO Systems.
Proceedings of the Advances in Neural Networks, 2009

An Improved Margin Adaptive Subcarrier Allocation with Fairness for Multiuser OFDMA System.
Proceedings of the Advances in Neural Networks, 2009

An Agent-based Formal Framework for Modeling and Simulating Supply Chains.
Proceedings of the IEEE International Conference on Information Reuse and Integration, 2009

Resilient multi-core systems: a hierarchical formal model for N-variant executions.
Proceedings of the Fifth Cyber Security and Information Intelligence Research Workshop, 2009

HiMap: Adaptive visualization of large-scale online social networks.
Proceedings of the IEEE Pacific Visualization Symposium PacificVis 2009, 2009

2008
Model check stochastic supply chains.
Proceedings of the IEEE International Conference on Information Reuse and Integration, 2008

Modeling Objects with Local Descriptors of Biologically Motivated Selective Attention.
Proceedings of the Fourth International Conference on Natural Computation, 2008

Research and Application on Virtualization Service Oriented Infrastructure for Networkitized M&S.
Proceedings of the Seventh International Conference on Grid and Cooperative Computing, 2008

2007
TRECVID 2007 High-Level Feature Extraction By MCG-ICT-CAS.
Proceedings of the TRECVID 2007 workshop participants notebook papers, 2007

Heterogeneous Agent Beliefs and Clustered Volatility in Commodity Futures Market.
Proceedings of the 2007 International Conference on Intelligent Pervasive Computing, 2007

A New Multi-quality Image Fusion Method in Visual Sensor Network.
Proceedings of the 3rd International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2007), 2007

2006
TRECVID 2006 Rushes Exploitation by CAS MCG.
Proceedings of the 2006 TREC Video Retrieval Evaluation, 2006

Model-Based Self-Adaptive Embedded Programs with Temporal Logic Specifications.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

2005
Research on Security Architecture and Privacy Policy of Grid Computing System.
Proceedings of the 2005 International Conference on Semantics, 2005

Model-based self-monitoring embedded programs with temporal logic specifications.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

2004
Specification-based Testing with Linear Temporal Logic.
Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

Model-based Testing and Monitoring for Hybrid Embedded Systems.
Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

PlayGame: A Platform for Diagnostic Games.
Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003
Testing and Monitoring Model-based Generated Program.
Proceedings of the Third Workshop on Run-time Verification, 2003

Simplified navigation and traverse planning for a long-range planetary rover.
Proceedings of the 2003 IEEE International Conference on Robotics and Automation, 2003

2002
An Abstract Schema for Equivalence-Checking Games.
Proceedings of the Verification, 2002

Evidence-Based Model Checking.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001
Adaptive Volterra filters for active control of nonlinear noise processes.
IEEE Trans. Signal Process., 2001

Simulation Revisited.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001


  Loading...