Li Tan

Zhou Ting

Huang Zheng

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.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Security - 7th International Conference, 2021

Improving Wildfire Simulations by Estimation of Wildfire Wind Conditions from Fire Perimeter Measurements.

[BibT_eX]

[DOI]

Raymond A. de Callafon

Jessica Block

Daniel Crawl

Ilkay Altintas

Proceedings of the Computational Science - ICCS 2021, 2021

Rumor Detection Based on Generalized Text Feature.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Wireless Sensor Networks - 15th China Conference, 2021

2020

Asymptotically Linear Analysis and Gate Probability Allocation Schemes in Probabilistic Circuits.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEICE Trans. Commun., 2020

Scalable HPC and AI Infrastructure for COVID-19 Therapeutics.

[BibT_eX]

[DOI]

CoRR, 2020

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

[BibT_eX]

[DOI]

CoRR, 2020

Deep Learning Video Action Recognition Method Based on Key Frame Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Security - 6th International Conference, 2020

Video Action Recognition Based on Hybrid Convolutional Network.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Security - 6th International Conference, 2020

Recursive Updates of Wildfire Perimeters Using Barrier Points and Ensemble Kalman Filtering.

[BibT_eX]

[DOI]

Abhishek Subramanian

Raymond A. de Callafon

Daniel Crawl

Ilkay Altintas

Proceedings of the Computational Science - ICCS 2020, 2020

Expanding Training Set for Graph-Based Semi-supervised Classification.

[BibT_eX]

[DOI]

Wenbin Yao

Xiaoyong Li

Proceedings of the Database and Expert Systems Applications, 2020

2019

Path self-deployment algorithm of three-dimensional space in directional sensor networks.

[BibT_eX]

[DOI]

Int. J. High Perform. Comput. Netw., 2019

Failure Analysis and Quantification for Contemporary and Future Supercomputers.

[BibT_eX]

[DOI]

Nathan DeBardeleben

CoRR, 2019

Soft Error Resilience and Failure Recovery for Continuum Dynamics Applications.

[BibT_eX]

[DOI]

CoRR, 2019

Three-dimensional Voronoi Diagram-based Self-deployment Algorithm in IoT Sensor Networks.

[BibT_eX]

[DOI]

Ann. des Télécommunications, 2019

Virtual Garment Using Joint Landmark Prediction and Part Segmentation.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Virtual Reality and 3D User Interfaces, 2019

3D Virtual Garment Modeling from RGB Images.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Symposium on Mixed and Augmented Reality, 2019

Weakly-Supervised Semantic Segmentation with Mean Teacher Learning.

[BibT_eX]

[DOI]

Wenfeng Luo

Meng Yang

Proceedings of the Intelligence Science and Big Data Engineering. Visual Data Engineering, 2019

ME-CCHP: Copy Cluster Head Routing Protocol Based on Maximum Energy.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Wireless Sensor Networks - 13th China Conference, 2019

Improved LEACH-M Protocol for Aerial Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Conference on Computer, 2019

Persistent Excitation Condition for MIMO Volterra System Identification with Gaussian Distributed Input Signals.

[BibT_eX]

[DOI]

Yangsheng Hu

Raymond A. de Callafon

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

Sparse Modeling of Nonlinear Secondary Path for Nonlinear Active Noise Control.

[BibT_eX]

[DOI]

IEEE Trans. Instrum. Meas., 2018

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

[BibT_eX]

[DOI]

Symmetry, 2018

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

[BibT_eX]

[DOI]

Parallel Comput., 2018

Almost sure convergence rate of θ-EM scheme for neutral SDDEs.

[BibT_eX]

[DOI]

J. Comput. Appl. Math., 2018

Strong convergence of a tamed theta scheme for NSDDEs with one-sided Lipschitz drift.

[BibT_eX]

[DOI]

Chenggui Yuan

Appl. Math. Comput., 2018

Large-scale hierarchical k-means for heterogeneous many-core supercomputers.

[BibT_eX]

[DOI]

Proceedings of the International Conference for High Performance Computing, 2018

Inter-cell Interference Coordination in LTE Self Organizing Network.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Systems and Applications, 2018

Channel Sparsity-Aware Diagonal Structure Volterra Filters for Nonlinear Acoustic Echo Cancellation.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Electro/Information Technology, 2018

Development of a Piano Frequency Detecting System Using the Goertzel Algorithm.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Electro/Information Technology, 2018

Speech Recognition Using Sparse Discrete Wavelet Decomposition Feature Extraction.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Electro/Information Technology, 2018

A Multiple Object Tracking Algorithm Based on YOLO Detection.

[BibT_eX]

[DOI]

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

[BibT_eX]

[DOI]

Run Wen

计算机科学, 2017

Connecting priority algorithm for node deployment in directional sensor networks.

[BibT_eX]

[DOI]

Int. J. Grid Util. Comput., 2017

Using k-Mix-Neighborhood Subdigraphs to Compute Canonical Labelings of Digraphs.

[BibT_eX]

[DOI]

Entropy, 2017

Channel sparsity-aware recursive least squares algorithms for nonlinear system modeling and active noise control.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE Annual Ubiquitous Computing, 2017

Development of a radiation detecting rover system.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE Annual Ubiquitous Computing, 2017

Development of a motion controlled robotic arm.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE Annual Ubiquitous Computing, 2017

A novel dynamic clustering strategy on energy efficiency for dense network deployment.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Natural Computation, 2017

Comparative study of simple feature extraction for single-channel EEG based classification.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Electro Information Technology, 2017

RSVP: Soft Error Resilient Power Savings at Near-Threshold Voltage Using Register Vulnerability.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Computational Science and Engineering, 2017

Reference-free compression of next-generation sequencing data in FASTQ format.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Information Reuse and Integration, 2016

Scalable Energy Efficiency with Resilience for High Performance Computing Systems: A Quantitative Methodology.

[BibT_eX]

[DOI]

Zizhong Chen

Shuaiwen Leon Song

ACM Trans. Archit. Code Optim., 2016

Partly random multiple weighting matrices selection for orthogonal random beamforming.

[BibT_eX]

[DOI]

J. Commun. Networks, 2016

Cloud-based harvest management information system for hand-harvested specialty crops.

[BibT_eX]

[DOI]

Comput. Electron. Agric., 2016

Finite two-distance-transitive graphs of valency 6.

[BibT_eX]

[DOI]

Wei Jin

Ars Math. Contemp., 2016

Two-Distance-Transitve Graphs Of Valency 7.

[BibT_eX]

Wei Jin

Ars Comb., 2016

Design, Use and Evaluation of P-FSEFI: A Parallel Soft Error Fault Injection Framework for Emulating Soft Errors in Parallel Applications.

[BibT_eX]

[DOI]

Proceedings of the 9th EAI International Conference on Simulation Tools and Techniques, 2016

GreenLA: green linear algebra software for GPU-accelerated heterogeneous computing.

[BibT_eX]

[DOI]

Proceedings of the International Conference for High Performance Computing, 2016

An Extensible Software Platform for Cloud-Based Decision Support and Automation in Precision Agriculture.

[BibT_eX]

[DOI]

Hongfei Hou

Qin Zhang

Proceedings of the 17th IEEE International Conference on Information Reuse and Integration, 2016

Efficient adaptive bilinear filters for nonlinear active noise control.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Formalisms for Reuse and Systems Integration, 2015

The Interplay Between Energy Efficiency and Resilience for Scalable High Performance Computing Systems.

[BibT_eX]

[DOI]

PhD thesis, 2015

A hybrid particle swarm optimization based memetic algorithm for DNA sequence compression.

[BibT_eX]

[DOI]

Xueke Tong

Soft Comput., 2015

Slow Down or Halt: Saving the Optimal Energy for Scalable HPC Systems.

[BibT_eX]

[DOI]

Zizhong Chen

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.

[BibT_eX]

[DOI]

Ronald Haley

Riley Wortman

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium, 2015

A complex adaptive Harmonic IIR notch filter.

[BibT_eX]

[DOI]

Haiyan Henry Zhang

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.

[BibT_eX]

[DOI]

IEEE Trans. Instrum. Meas., 2014

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

[BibT_eX]

[DOI]

Parallel Comput., 2014

A unified framework for evaluating test criteria in model-checking-assisted test case generation.

[BibT_eX]

[DOI]

Inf. Syst. Frontiers, 2014

TX: algorithmic energy saving for distributed dense matrix factorizations.

[BibT_eX]

[DOI]

Zizhong Chen

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

Cloud-based monitoring and analysis of yield efficiency in precision farming.

[BibT_eX]

[DOI]

Riley Wortman

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

HP-DAEMON: High Performance Distributed Adaptive Energy-efficient Matrix-multiplicatiON.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computational Science, 2014

K-means clustering based compression algorithm for the high-throughput DNA sequence.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Audio, 2014

2013

Exact Solutions of a Generalized Weighted Scale Free Network.

[BibT_eX]

[DOI]

Dingyou Lei

J. Appl. Math., 2013

An efficient scheduling scheme based on MET for MIMO systems.

[BibT_eX]

[DOI]

Int. J. Wirel. Mob. Comput., 2013

A spring oscillator model used for particle swarm optimizer.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Symposium on Swarm Intelligence, 2013

An integrated cloud-based platform for labor monitoring and data analysis in precision agriculture.

[BibT_eX]

[DOI]

Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

A2E: Adaptively aggressive energy efficient DVFS scheduling for data intensive applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE 32nd International Performance Computing and Communications Conference, 2013

Obtaining higher-order derivatives of low-frequency signals using multirate signal processing.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2013

Improving performance and energy efficiency of matrix multiplication via pipeline broadcast.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Cluster Computing, 2013

Lightweight fault detection in parallelized programs.

[BibT_eX]

[DOI]

Min Feng

Rajiv Gupta

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.

[BibT_eX]

[DOI]

Proceedings of the Advances in Social Networks Analysis and Mining 2013, 2013

Simulation Job Scheduling on Clusters with Heterogeneous Scheduling Systems.

[BibT_eX]

[DOI]

Proceedings of the AsiaSim 2013, 2013

A Novel Stopping Criterion for LTE-A High Speed Turbo Decoder.

[BibT_eX]

[DOI]

Bin Hao

Gang Su

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.

[BibT_eX]

[DOI]

Wirel. Pers. Commun., 2012

Pole-Radius-Varying IIR Notch Filter With Transient Suppression.

[BibT_eX]

[DOI]

IEEE Trans. Instrum. Meas., 2012

Analysis of adaptive proportional fair scheduling method on BD-GMD scheme for MIMO systems.

[BibT_eX]

[DOI]

Int. J. Wirel. Mob. Comput., 2012

An extensible object-oriented and agent-based framework for modelling and simulating supply chains.

[BibT_eX]

[DOI]

Int. J. Inf. Decis. Sci., 2012

Intelligent Recognition of Lung Nodule Combining Rule-based and C-SVM Classifiers.

[BibT_eX]

[DOI]

Int. J. Comput. Intell. Syst., 2012

A Well-typed Lightweight Situation Calculus

[BibT_eX]

[DOI]

Bojana Ginovska-Pangovska

CoRR, 2012

ImageHive: Interactive Content-Aware Image Summarization.

[BibT_eX]

[DOI]

IEEE Computer Graphics and Applications, 2012

In silico identification software (ISIS): a machine learning approach to tandem mass spectral identification of lipids.

[BibT_eX]

[DOI]

Bioinform., 2012

Test criteria for model-checking-assisted test case generation: A computational study.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE 13th International Conference on Information Reuse & Integration, 2012

A study on application of semi-supervised collaborative classification algorithm.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Conference on Cloud Computing and Intelligence Systems, 2012

2011

TextFlow: Towards Better Understanding of Evolving Topics in Text.

[BibT_eX]

[DOI]

IEEE Trans. Vis. Comput. Graph., 2011

Oversampling Technique for Obtaining Higher Order Derivative of Low-Frequency Signals.

[BibT_eX]

[DOI]

IEEE Trans. Instrum. Meas., 2011

A Novel Dynamic Proportional Fair Scheduling Based on Block Diagonal Geometric Mean Decomposition.

[BibT_eX]

[DOI]

J. Networks, 2011

A practical heterogeneous network optimisation algorithm based on reinforcement learning.

[BibT_eX]

[DOI]

Int. J. Commun. Networks Distributed Syst., 2011

Graph coloring based spectrum allocation for femtocell downlink interference mitigation.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE Wireless Communications and Networking Conference, 2011

Complete interference solution with MWSC consideration for OFDMA macro/femtocell hierarchical networks.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE Wireless Communications and Networking Conference, 2011

Joint Power Control and Scheduling Strategies for OFDMA Femtocells in Hierarchical Networks.

[BibT_eX]

[DOI]

Proceedings of the 73rd IEEE Vehicular Technology Conference, 2011

State Coverage Metrics for Specification-Based Testing with Büchi Automata.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 5th International Conference, 2011

An Adaptive N-Variant Software Architecture for Multi-Core Platforms: Models and Performance Analysis.

[BibT_eX]

[DOI]

Axel W. Krings

Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011

A bridge structural health data analysis model based on semi-supervised learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Automation and Logistics, 2011

Design and Implimentation of Rural New Energy Source Gis System Based on Kml.

[BibT_eX]

[DOI]

Proceedings of the Applied Informatics and Communication - International Conference, 2011

2010

Bit-Error Aware Lossless Compression of Waveform Data.

[BibT_eX]

[DOI]

Yunlong Zhang

IEEE Signal Process. Lett., 2010

Distributed Self-Healing for Reconfigurable WLANs.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE Wireless Communications and Networking Conference, 2010

An Information Accuracy Based Mesh Division Mechanism for Cognitive Pilot Channel.

[BibT_eX]

[DOI]

Proceedings of the 71st IEEE Vehicular Technology Conference, 2010

Cognitive Optimization Scheme of Coverage for Femtocell Using Multi-Element Antenna.

[BibT_eX]

[DOI]

Proceedings of the 72nd IEEE Vehicular Technology Conference, 2010

Entropy and software systems: towards an information-theoretic foundation of software testing.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Future of Software Engineering Research, 2010

TIARA: a visual exploratory text analytic system.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Information Sciences and Interaction Sciences (ICIS 2010), 2010

Understanding text corpora with multiple facets.

[BibT_eX]

[DOI]

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

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE Conference on Visual Analytics Science and Technology, 2010

Relationship of eigenvalue between MPSD iterative matrix and Jacobi iterative matrix.

[BibT_eX]

[DOI]

Zhuan-De Wang

Chuan-Sheng Yang

Proceedings of the International Conference on Machine Learning and Cybernetics, 2010

A Hierarchical Formal Framework for Adaptive N-variant Programs in Multi-core Systems.

[BibT_eX]

[DOI]

Axel W. Krings

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

[BibT_eX]

[DOI]

IEEE Signal Process. Mag., 2009

A Novel Fusion Method for Semantic Concept Classification in Video.

[BibT_eX]

[DOI]

J. Softw., 2009

A model-checking-based approach to risk analysis in supply chain consolidations.

[BibT_eX]

[DOI]

Shenghan Xu

Integr. Comput. Aided Eng., 2009

Q-learning based heterogenous network self-optimization for reconfigurable network with CPC assistance.

[BibT_eX]

[DOI]

Sci. China Ser. F Inf. Sci., 2009

A Multiple Weighting Matrices Selection Scheme Based on Orthogonal Random Beamforming for MIMO Downlink System.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Networks, 2009

Proportional Fair Scheduling Based on Genetic Algorithms for Multi-user MIMO Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Networks, 2009

An Improved Margin Adaptive Subcarrier Allocation with Fairness for Multiuser OFDMA System.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Networks, 2009

An Agent-based Formal Framework for Modeling and Simulating Supply Chains.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2009

Resilient multi-core systems: a hierarchical formal model for N-variant executions.

[BibT_eX]

[DOI]

Proceedings of the Fifth Cyber Security and Information Intelligence Research Workshop, 2009

HiMap: Adaptive visualization of large-scale online social networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE Pacific Visualization Symposium PacificVis 2009, 2009

2008

Model check stochastic supply chains.

[BibT_eX]

[DOI]

Shenghan Xu

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2008

Modeling Objects with Local Descriptors of Biologically Motivated Selective Attention.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Natural Computation, 2008

Research and Application on Virtualization Service Oriented Infrastructure for Networkitized M&S.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Grid and Cooperative Computing, 2008

2007

TRECVID 2007 High-Level Feature Extraction By MCG-ICT-CAS.

[BibT_eX]

[DOI]

Proceedings of the TRECVID 2007 workshop participants notebook papers, 2007

Heterogeneous Agent Beliefs and Clustered Volatility in Commodity Futures Market.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Conference on Intelligent Pervasive Computing, 2007

A New Multi-quality Image Fusion Method in Visual Sensor Network.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2006 TREC Video Retrieval Evaluation, 2006

Model-Based Self-Adaptive Embedded Programs with Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

2005

Research on Security Architecture and Privacy Policy of Grid Computing System.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Conference on Semantics, 2005

Model-based self-monitoring embedded programs with temporal logic specifications.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

2004

Specification-based Testing with Linear Temporal Logic.

[BibT_eX]

[DOI]

Oleg Sokolsky

Insup Lee

Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

Model-based Testing and Monitoring for Hybrid Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

PlayGame: A Platform for Diagnostic Games.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

Testing and Monitoring Model-based Generated Program.

[BibT_eX]

[DOI]

Jesung Kim

Insup Lee

Proceedings of the Third Workshop on Run-time Verification, 2003

Simplified navigation and traverse planning for a long-range planetary rover.

[BibT_eX]

[DOI]

David P. Miller

Scott Swindell

Proceedings of the 2003 IEEE International Conference on Robotics and Automation, 2003

2002

An Abstract Schema for Equivalence-Checking Games.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2002

Evidence-Based Model Checking.

[BibT_eX]

[DOI]

Rance Cleaveland

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

Adaptive Volterra filters for active control of nonlinear noise processes.

[BibT_eX]

[DOI]

IEEE Trans. Signal Process., 2001

Simulation Revisited.

[BibT_eX]

[DOI]