Hai Wang

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

Bibliography

2024
Bidirectional Multi-scale Deformable Attention for Video Super-Resolution.
Multim. Tools Appl., March, 2024

Ensemble Learning Method for the Continuous Decoding of Hand Joint Angles.
Sensors, January, 2024

Application of Nonlinear Big Data Analysis Techniques in Computer Software Reliability Prediction.
Scalable Comput. Pract. Exp., January, 2024

A Flexible Pressure Sensor Based on an Interlocked Micropillars Array With Secondary Nanoprotrusions for Health Monitoring.
IEEE Trans. Instrum. Meas., 2024

Multimodal Gen-AI for Fundamental Investment Research.
CoRR, 2024

Customizing 360-Degree Panoramas through Text-to-Image Diffusion Models.
Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2024

2023
Strolling in Room-Scale VR: Hex-Core-MK1 Omnidirectional Treadmill.
IEEE Trans. Vis. Comput. Graph., December, 2023

Visualization and classification of Radar Emitter Pulse Sequences based on 2D feature map.
Phys. Commun., December, 2023

Spatial and temporal variation patterns of summer grazing trajectories of Sunit sheep.
Ecol. Informatics, December, 2023

Near-threshold-voltage operation in flash-based high-precision computing-in-memory to implement Poisson image editing.
Sci. China Inf. Sci., December, 2023

Introduction to the special section on emerging technologies in navigation, control and sensing for agricultural robots: Computational intelligence and artificial intelligence solutions.
Comput. Electr. Eng., December, 2023

Multi-criteria three-way decisions considering requirements and targets based on qualitative and quantitative information.
Expert Syst. Appl., August, 2023

γ radiation image denoising method based on speckle splitting.
Signal Image Video Process., June, 2023

Three-way investment decisions during the epidemic with Choquet-based bi-projection method.
Fuzzy Optim. Decis. Mak., June, 2023

Mobile robot path planning using improved mayfly optimization algorithm and dynamic window approach.
J. Supercomput., May, 2023

An Improved Real-Time Object Tracking Algorithm Based on Deep Learning Features.
IEICE Trans. Inf. Syst., May, 2023

Joint UAV deployment, SF placement, and collaborative task scheduling in heterogeneous multi-UAV-empowered edge intelligence.
IET Commun., March, 2023

A combination network of CNN and transformer for interference identification.
Frontiers Comput. Neurosci., February, 2023

Generation of highly retrievable atom photon entanglement with a millisecond lifetime via a spatially multiplexed cavity.
Quantum, January, 2023

Bi-RSTU: Bidirectional Recurrent Upsampling Network for Space-Time Video Super-Resolution.
IEEE Trans. Multim., 2023

Optimal Pressure Sensor Deployment for Leak Identification in Water Distribution Networks.
Sensors, 2023

Research on classification method of painting features based on stochastic forest algorithm.
Int. J. Inf. Commun. Technol., 2023

Virtual Prompt Injection for Instruction-Tuned Large Language Models.
CoRR, 2023

Instruction-following Evaluation through Verbalizer Manipulation.
CoRR, 2023

AlpaGasus: Training A Better Alpaca with Fewer Data.
CoRR, 2023

FairCod: A Fairness-aware Concurrent Dispatch System for Large-scale Instant Delivery Services.
Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2023

Second Order Nonsingular Terminal Sliding Robot Mode Control of Permanent Magnet Linear Synchronous Motor Based on Robust Compensator.
Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023

A Novel Predefined-Time Sliding Mode Control Scheme for Mecanum-Wheeled Omnidirectional Mobile Robot.
Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023

Barrier Function-based Adaptive Super Twisting Active Fault Tolerant Control for Robotic Manipulators with Actuator Faults.
Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023

A Topic Modelling Method for Automated Text Analysis of the Adoption of Enterprise Risk Management.
Proceedings of the 18th International Conference on Software Technologies, 2023

Influence of Covid-19 Outbreak Control Policies on the China Stock Market Price Investigated by LSTM Forecasting Models.
Proceedings of the 2023 9th International Conference on e-Society, 2023

GCRL: Efficient Delivery Area Assignment for Last-mile Logistics with Group-based Cooperative Reinforcement Learning.
Proceedings of the 39th IEEE International Conference on Data Engineering, 2023

A UAV-based Geographic Location Routing Protocol Based on Fuzzy Logic Beacon and Neighbor Node Detection Adaptation.
Proceedings of the 23rd IEEE International Conference on Communication Technology, 2023

Numerical Semantic Modeling for Implicit Discourse Relation Recognition.
Proceedings of the IEEE International Conference on Acoustics, 2023

Robust Intelligent Control of Second Order Nonlinear System With Application to MEMS Gyroscopes.
Proceedings of the International Conference on Advanced Robotics and Mechatronics, 2023

Time-Aware Language Modeling for Historical Text Dating.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

HST-GT: Heterogeneous Spatial-Temporal Graph Transformer for Delivery Time Estimation in Warehouse-Distribution Integration E-Commerce.
Proceedings of the 32nd ACM International Conference on Information and Knowledge Management, 2023

Urban-scale POI Updating with Crowd Intelligence.
Proceedings of the 32nd ACM International Conference on Information and Knowledge Management, 2023

TGT: Churn Prediction in O2O Logistics with Two-tower Gated Transformer.
Proceedings of the IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2023

An IoT Service Development Framework Driven by Business Event Description.
Proceedings of the Web Information Systems and Applications, 2023

2022
Characterizing Spatiotemporal Patterns of Land Deformation in the Santa Ana Basin, Los Angeles, from InSAR Time Series and Independent Component Analysis.
Remote. Sens., 2022

Adaptive finite-time direct fuzzy control for a nonlinear system with an unknown control gain based on an observer.
Inf. Sci., 2022

Study on extraction method of image's line shape feature parameters based on Canny operator.
Int. J. Inf. Commun. Technol., 2022

Role of surface microstructure and shape on light extraction efficiency enhancement of GaN micro-LEDs: A numerical simulation study.
Displays, 2022

Fundamental Limits on Detection With a Dual-function Radar Communication System.
CoRR, 2022

STDAN: Deformable Attention Network for Space-Time Video Super-Resolution.
CoRR, 2022

Robust model selection for positive and unlabeled learning with constraints.
Sci. China Inf. Sci., 2022

Multi-Task Learning STAP via Spatial Smoothness and Group Sparsity Regularizations.
IEEE Access, 2022

Toward Multi-sided Fairness: A Fairness-Aware Order Dispatch System for Instant Delivery Service.
Proceedings of the Wireless Algorithms, Systems, and Applications, 2022

UAV Charging Path Planning Based on Adaptive Hover-Improved Particle Swarm Algorithm.
Proceedings of the 2022 5th International Conference on Signal Processing and Machine Learning, 2022

A New Approach to Waiting Time and Dispatch Frequency Guided Bus Timetable Optimization.
Proceedings of the IEEE International Conference on Industrial Technology, 2022

PATR: Periodicity-Aware Trajectory Recovery for Express System via Seq2Seq Model.
Proceedings of the IEEE Global Communications Conference, 2022

Single Image Defogging Method Based on optimized Double Dark Channel with Gaussian Weighting.
Proceedings of the 2022 6th International Conference on Electronic Information Technology and Computer Engineering, 2022

Simulation of High Voltage DC Power Supply Based on MATLAB.
Proceedings of the 2022 6th International Conference on Electronic Information Technology and Computer Engineering, 2022

Simulation of basic digital signal processing operations.
Proceedings of the 2022 6th International Conference on Electronic Information Technology and Computer Engineering, 2022

Simulation and Shape Optimization of the Bleeding Pipe in Aero-Engine Internal Air System to Improve Mass Flow Measurement Accuracy.
Proceedings of the Methods and Applications for Modeling and Simulation of Complex Systems, 2022

2021
Combining Probabilistic Logic and Deep Learning for Self-Supervised Learning.
Proceedings of the Neuro-Symbolic Artificial Intelligence: The State of the Art, 2021

Constrained Radar Waveform Design for Range Profiling.
IEEE Trans. Signal Process., 2021

A Novel Quality-Guided Two-Dimensional InSAR Phase Unwrapping Method via GAUNet.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2021

Improvement of hybrid entanglement by dual-way photon polarization measurement.
Quantum Inf. Process., 2021

CSMC: Cellular Signal Map Construction via Mobile Crowdsensing.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2021

Wideband MIMO Radar Transmit Beampattern Synthesis via Majorization-Minimization.
Circuits Syst. Signal Process., 2021

Combining Probabilistic Logic and Deep Learning for Self-Supervised Learning.
CoRR, 2021

NTIRE 2021 Challenge on Perceptual Image Quality Assessment.
CoRR, 2021

NTIRE 2021 Challenge on Quality Enhancement of Compressed Video: Methods and Results.
CoRR, 2021

Artificial Intelligence-Assisted Fresco Restoration with Multiscale Line Drawing Generation.
Complex., 2021

A wireless weak-connected network routing algorithm inspired by Physarum polycephalum.
Comput. Electr. Eng., 2021

An improved hierarchical clustering routing algorithm for Wireless Sensor Networks based on the integration of space-air-ground network.
Proceedings of the HP3C 2021: 5th International Conference on High Performance Compilation, Computing and Communications, Guangzhou, China, June 18, 2021

2020
Azimuth-Only Estimation for TDOA-Based Direction Finding With 3-D Acoustic Array.
IEEE Trans. Instrum. Meas., 2020

Research on the Examination Value of High-Frequency Ultrasound in the Postoperative Rehabilitation Treatment of Sports Injury Achilles Tendon Rupture.
J. Medical Imaging Health Informatics, 2020

Dual triplet network for image zero-shot learning.
Neurocomputing, 2020

A causal model for type 2 diabetes and its comparison with other modelling methods.
Int. J. Electron. Heal., 2020

Knowledge Efficient Deep Learning for Natural Language Processing.
CoRR, 2020

Competitive ride-sourcing market with a third-party integrator.
CoRR, 2020

MixPUL: Consistency-based Augmentation for Positive and Unlabeled Learning.
CoRR, 2020

Azimuth Estimation for Sectorized Base Station With Improved Soft-Margin Classification.
IEEE Access, 2020

Cross-Modal N-Pair Network for Generalized Zero-Shot Learning.
Proceedings of the Neural Computing for Advanced Applications, 2020

Waveform Design for Dual-function MIMO Radar-communication Systems.
Proceedings of the 11th IEEE Sensor Array and Multichannel Signal Processing Workshop, 2020

Contextual Heterogeneous Graph Network for Human-Object Interaction Detection.
Proceedings of the Computer Vision - ECCV 2020, 2020

On-The-Fly Information Retrieval Augmentation for Language Models.
Proceedings of the First Joint Workshop on Narrative Understanding, Storylines, and Events, 2020

2019
Self-Organizing Relay Selection in UAV Communication Networks: A Matching Game Perspective.
IEEE Wirel. Commun., 2019

Big Data-Driven Cellular Information Detection and Coverage Identification.
Sensors, 2019

免声速迭代式TDOA测向研究 (Study on TDOA Direction Finding of Iterative Model Without Sound Speed).
计算机科学, 2019

Semi-Analytical Model for Design and Analysis of On-Orbit Servicing Architecture.
CoRR, 2019

Transmit Beamspace Design for Bistatic MIMO Radar With Improved Angle Estimation.
IEEE Access, 2019

Research on Measurement Matrix Based on Compressed Sensing Theory.
Proceedings of the Communications, Signal Processing, and Systems, 2019

Analysis of the Matching Pursuit Reconstruction Algorithm Based on Compression Sensing.
Proceedings of the Communications, Signal Processing, and Systems, 2019

Design of Wind Pendulum Control System Based on STM32F407.
Proceedings of the Communications, Signal Processing, and Systems, 2019

Optimal Design of an S-Band Low Noise Amplifier.
Proceedings of the Communications, Signal Processing, and Systems, 2019

Ethereum Behavior Analysis with NetFlow Data.
Proceedings of the 20th Asia-Pacific Network Operations and Management Symposium, 2019

Towards Automated Semi-Supervised Learning.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Temperature trajectory control of cryogenic wind tunnel with robust L1 adaptive control.
Trans. Inst. Meas. Control, 2018

Sequence-Based Indoor Localization with Channel Status Information.
Sensors, 2018

A Crowdsensing Based Analytical Framework for Perceptional Degradation of OTT Web Browsing.
Sensors, 2018

Numerical Analysis near Singularities in RBF Networks.
J. Mach. Learn. Res., 2018

An assertion graph based abstraction algorithm in GSTE and Its application.
Integr., 2018

Online pricing with bundling and coupon discounts.
Int. J. Prod. Res., 2018

A parallel stereovision method used for monitoring the collapse of a three-story frame model subjected to seismic loading.
Int. J. Distributed Sens. Networks, 2018

Channel state information-based multi-level fingerprinting for indoor localization with deep learning.
Int. J. Distributed Sens. Networks, 2018

Study on seals of subsea production gate valves.
Int. J. Comput. Appl. Technol., 2018

Instance selection method for improving graph-based semi-supervised learning.
Frontiers Comput. Sci., 2018

Learning to Globally Edit Images with Textual Description.
CoRR, 2018

The Experiment and Performance Analysis of Multi-node UAV Ad Hoc Network Based on Swarm Tactics.
Proceedings of the 10th International Conference on Wireless Communications and Signal Processing, 2018

Fast Real-Time Scheduling for Ethernet-Based Train Control Networks.
Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2018

SS/PBCH Block Design in 5G New Radio (NR).
Proceedings of the IEEE Globecom Workshops, 2018

Deep Probabilistic Logic: A Unifying Framework for Indirect Supervision.
Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, Brussels, Belgium, October 31, 2018

An Overview of Blockchain Security Analysis.
Proceedings of the Cyber Security - 15th International Annual Conference, 2018

2017
Understanding systematic and collaborative code changes by mining evolutionary trajectory patterns.
J. Softw. Evol. Process., 2017

Sum and difference coarray based MIMO radar array optimization with its application for DOA estimation.
Multidimens. Syst. Signal Process., 2017

基于开发者行为分析的Web资源推荐 (Web Resource Recommendation Based on Analysis of Developer's Behavior).
计算机科学, 2017

Mechanical analysis of a dual derrick.
Int. J. Model. Identif. Control., 2017

Dynamic coupling analysis for the design of hybrid mooring lines of truss spar in deep sea.
Int. J. Model. Identif. Control., 2017

Learning a Semantically Discriminative Joint Space for Attribute Based Person Re-identification.
CoRR, 2017

Cost-aware virtual machine allocation for off-grid green data centers.
Proceedings of the 2017 IEEE International Conference on Pervasive Computing and Communications Workshops, 2017

Artificial-noise-aided nonlinear secure transmission for MU-MISO wiretap channel with quantized CSIT.
Proceedings of the IEEE International Conference on Communications, 2017

2016
A Novel Sensory Data Processing Framework to Integrate Sensor Networks With Mobile Cloud.
IEEE Syst. J., 2016

Reducing Runtime by Recycling Samples.
CoRR, 2016

Dynamic TDD Testbed and Field Measurements.
Proceedings of the IEEE 83rd Vehicular Technology Conference, 2016

Dialog state tracking with attention-based sequence-to-sequence learning.
Proceedings of the 2016 IEEE Spoken Language Technology Workshop, 2016

2015
Single-view reconstruction via joint analysis of image and shape collections.
ACM Trans. Graph., 2015

基于3D动画的软件演化信息可视化 (Software Evolution Visualization Based on 3D Animation).
计算机科学, 2015

基于向量场的移动机器人动态路径规划 (Dynamic Path Planning for Mobile Robot Based on Vector Field).
计算机科学, 2015

Detecting anomalies from big network traffic data using an adaptive detection approach.
Inf. Sci., 2015

Design research and finite element analysis of composite coiled tubing.
Int. J. Model. Identif. Control., 2015

Fatigue life estimate for composite coiled tubing.
Int. J. Model. Identif. Control., 2015

Extended hesitant fuzzy linguistic term sets and their aggregation in group decision making.
Int. J. Comput. Intell. Syst., 2015

Summarizing Evolutionary Trajectory by Grouping and Aggregating relevant code changes.
Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015

A stochastic geometry based performance analysis framework for massive MIMO systems with data-assisted uplink detection scheme.
Proceedings of the 2015 IEEE International Conference on Digital Signal Processing, 2015

Inferring Block Structure of Graphical Models in Exponential Families.
Proceedings of the Eighteenth International Conference on Artificial Intelligence and Statistics, 2015

2014
Characterization of miRNomes in Acute and Chronic Myeloid Leukemia Cell Lines.
Genom. Proteom. Bioinform., 2014

A novel traffic identification approach based on multifractal analysis and combined neural network.
Ann. des Télécommunications, 2014

Field Measurements of Uplink MU-MIMO.
Proceedings of the IEEE 79th Vehicular Technology Conference, 2014

Inter-Cell Interference Field Test Results and Coordination Methods with the Deployment of TD-LTE In-Band Relay.
Proceedings of the IEEE 79th Vehicular Technology Conference, 2014

An evaluation of user importance when integrating social networks and mobile cloud computing.
Proceedings of the IEEE Global Communications Conference, 2014

2013
Predicting consumer sentiments using online sequential extreme learning machine and intuitionistic fuzzy sets.
Neural Comput. Appl., 2013

Fast moving object detection with non-stationary background.
Multim. Tools Appl., 2013

Generalized hesitant fuzzy sets and their application in decision support system.
Knowl. Based Syst., 2013

Speed Up Learning based Descriptor for Face Verification.
Proceedings of the VISAPP 2013, 2013

Improving outdoor to indoor coverage by use of TD-LTE in-band relay.
Proceedings of the 24th IEEE Annual International Symposium on Personal, 2013

Large Scale Image Retrieval with Practical Spatial Weighting for Bag-of-Visual-Words.
Proceedings of the Advances in Multimedia Modeling, 19th International Conference, 2013

Towards contextual and on-demand code clone management by continuous monitoring.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

A fast point spread function for particle in fluorescent images with GPU acceleration.
Proceedings of the Fifth International Conference on Digital Image Processing, 2013

An adaptive node partition clustering protocol using particle swarm optimization.
Proceedings of the 10th IEEE International Conference on Control and Automation, 2013

Providing Desirable Data to Users When Integrating Wireless Sensor Networks with Mobile Cloud.
Proceedings of the IEEE 5th International Conference on Cloud Computing Technology and Science, 2013

Human Activity Recognition Model Based on Decision Tree.
Proceedings of the International Conference on Advanced Cloud and Big Data, 2013

PFW: A Face Database in the Wild for Studying Face Identification and Verification in Uncontrolled Environment.
Proceedings of the 2nd IAPR Asian Conference on Pattern Recognition, 2013

2012
Intuitionistic Fuzzy Reasoning for Multiple Two-Class Classifiers Fusion.
Int. J. Pattern Recognit. Artif. Intell., 2012

Multiple-layer scalable video coding technology based on MB-level data partition for wireless sensor networking.
Comput. Commun., 2012

LTE In-Band Relay Prototype and Field Measurement.
Proceedings of the 75th IEEE Vehicular Technology Conference, 2012

A Study on Novelty Evaluation in Biomedical Information Retrieval.
Proceedings of the String Processing and Information Retrieval, 2012

Spatial connected component pre-locating algorithm for rapid logo detection.
Proceedings of the 2012 IEEE International Conference on Acoustics, 2012

Abnormal Object Detection Using Feedforward Model and Sequential Filters.
Proceedings of the Ninth IEEE International Conference on Advanced Video and Signal-Based Surveillance, 2012

Scale-Adaptive Feature Points Extraction and Dual-Scale Based High-Precision Image Registration.
Proceedings of the 12th IEEE International Conference on Computer and Information Technology, 2012

2011
Multi-Domain Parallel Computing for Strength Analysis of Whole Aircraft Model.
J. Softw. Eng. Appl., 2011

Application of Monte Carlo method on NIRS physiological inspection analysis.
Int. J. Comput. Appl. Technol., 2011

Evaluation of Global Descriptors for Large Scale Image Retrieval.
Proceedings of the Image Analysis and Processing - ICIAP 2011, 2011

An Android Multimedia Framework Based on Gstreamer.
Proceedings of the Green Communications and Networking - First International Conference, 2011

2010
An online motion planning algorithm for a 7DOF redundant manipulator.
Proceedings of the 2010 IEEE International Conference on Robotics and Biomimetics, 2010

Human/robot interaction for human support system by using a mobile manipulator.
Proceedings of the 2010 IEEE International Conference on Robotics and Biomimetics, 2010

MindFinder: interactive sketch-based image search on millions of images.
Proceedings of the 18th International Conference on Multimedia 2010, 2010

2009
Uncertain inference control in privacy protection.
Int. J. Inf. Sec., 2009

Query-Focused Multi-Document Summarization Using Co-Training Based Semi-Supervised Learning.
Proceedings of the 23rd Pacific Asia Conference on Language, Information and Computation, 2009

Multi-target cell tracking based on classic kinetics.
Proceedings of the International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly, 2009

Comparison of Artificial Neural Networks with Response Surface Models in Characterizing the Impact Damage Resistance of Sandwich Airframe Structures.
Proceedings of the 2009 Second International Symposium on Computational Intelligence and Design, 2009

FD-MAC: A Flow-Driven MAC Protocol for Mobile Ad Hoc Networks.
Proceedings of the Global Communications Conference, 2009. GLOBECOM 2009, Honolulu, Hawaii, USA, 30 November, 2009

2008
Application of Project-Based Cooperative Learning in Computer Education.
Proceedings of the 9th International Conference for Young Computer Scientists, 2008

Collaborative Research-Based Learning under the Network Environment.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

A Pragmatics Web Service Oriented Approach to Understanding the Semantics of Concepts.
Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, 2008

2007
Study on teleoperated home care mobile robot.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2007

A Lightweight Method of Web Service Ontology Merging Based on Concept Lattice.
Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, 2007

A Context-Aware Service Matchmaking Method Using Description Logic.
Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, 2007

2006
An Unabridged Method Concerning Capability Matchmaking of Web Services.
Proceedings of the 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 2006

A solution of multi-target tracking based on FCM Algorithm in WSN.
Proceedings of the 4th IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2006 Workshops), 2006

Modeling of pollution in p2p file sharing systems.
Proceedings of the 3rd IEEE Consumer Communications and Networking Conference, 2006

A Semantic Matchmaking Method of Web Services Based on SHOIN^+ (D).
Proceedings of The 1st IEEE Asia-Pacific Services Computing Conference, 2006

2005
Finding Closed Itemsets in Data Streams.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2005

A Novel Genetic Algorithm for Variable Partition of Dual Memory Bank DSPs.
Proceedings of the Advances in Natural Computation, First International Conference, 2005

2003
An Estimation Based Adaptive Fairness Algorithm for Ad Hoc Networks.
Proceedings of the 17th International Conference on Advanced Information Networking and Applications (AINA'03), 2003

2002
Comparison between the periodic and event-triggered compressed mode.
Proceedings of the 55th IEEE Vehicular Technology Conference, 2002

2000
Bisimulation analysis of SDL-expressed protocols: a case study.
Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative Research, 2000


  Loading...