Ming Xu

According to our database1, Ming Xu authored at least 196 papers between 1988 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Assessing the Effects of Photovoltaic Powerplants on Surface Temperature Using Remote Sensing Techniques.
Remote. Sens., 2020

Remote Sensing-Based Mapping of Senescent Leaf C: N Ratio in the Sundarbans Reserved Forest Using Machine Learning Techniques.
Remote. Sens., 2020

Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time.
Proc. ACM Program. Lang., 2020

基于Logistic模型和随机差分变异的正弦余弦算法 (Sine Cosine Algorithm Based on Logistic Model and Stochastic Differential Mutation).
计算机科学, 2020

Network-wide traffic signal control based on the discovery of critical nodes and deep reinforcement learning.
J. Intell. Transp. Syst., 2020

Erratum: The Design of the Biomagnetic Field Sensor without Magnetic Shielding.
Int. J. Humanoid Robotics, 2020

Double-Layered Random Coding for Secret Key Generation in Gaussian Wiretap Channels.
IEEE Communications Letters, 2020

Refraction-learning-based whale optimization algorithm for high-dimensional problems and parameter estimation of PV model.
Eng. Appl. Artif. Intell., 2020

Triaging moderate COVID-19 and other viral pneumonias from routine blood tests.
CoRR, 2020

EPINE: Enhanced Proximity Information Network Embedding.
CoRR, 2020

Quantized H<sub>∞</sub> Feedback Control of Semi-Markov Jump Systems With Limited Mode Information.
IEEE Access, 2020

An Event-Based Interaction Sampled-Control for Consensus of Multi-Agents With Multiple Time-Varying Delays.
IEEE Access, 2020

10Gb/s Two-User Spatial Diversity FSO-CDMA Wiretap Channel Based on Reconfigurable Optical Encoder/Decoders.
IEEE Access, 2020

Simplified Theoretical Model based Self-adaptive Packet Reception Rate Estimation in Sensor Networks.
Proceedings of the 2020 IEEE Wireless Communications and Networking Conference, 2020

An Image Cipher Based on Latin Cubes.
Proceedings of the 3rd International Conference on Information and Computer Technologies, 2020

2019
Deep Attentive Features for Prostate Segmentation in 3D Transrectal Ultrasound.
IEEE Trans. Medical Imaging, 2019

A lower bound of reliability calculating method for lattice system with non-homogeneous components.
Reliab. Eng. Syst. Saf., 2019

Fast Feature Extraction Based on Multi-feature Classification for Color Image.
J. Inf. Hiding Multim. Signal Process., 2019

Research on evaluating brand marketing of leisure tourism city with fuzzy information.
J. Intell. Fuzzy Syst., 2019

A finite element method of the self-consistent field theory on general curved surfaces.
J. Comput. Phys., 2019

A novel image cipher based on 3D bit matrix and latin cubes.
Inf. Sci., 2019

Multiple model-based event-triggered adaptive control of a class of discrete-time nonlinear systems.
Int. J. Syst. Sci., 2019

The Design of the Biomagnetic Field Sensor without Magnetic Shielding.
Int. J. Humanoid Robotics, 2019

Towards a Hybrid BCI Gaming Paradigm Based on Motor Imagery and SSVEP.
Int. J. Hum. Comput. Interact., 2019

A universal compression strategy using sorting transformation.
Int. J. Comput. Sci. Eng., 2019

Proving Expected Sensitivity of Probabilistic Programs with Randomized Execution Time.
CoRR, 2019

A Review on Energy, Environmental, and Sustainability Implications of Connected and Automated Vehicles.
CoRR, 2019

No-wait resource allocation flowshop scheduling with learning effect under limited cost availability.
Comput. J., 2019

An Effective Encrypted Scheme Over Outsourcing Data for Query on Cloud Platform.
IEEE Access, 2019

A Novel Grey Wolf Optimizer Algorithm With Refraction Learning.
IEEE Access, 2019

A Random Opposition-Based Learning Grey Wolf Optimizer.
IEEE Access, 2019

Design and Investigation on Image Transmission in Multi-User Cross-Layer Security Network.
IEEE Access, 2019

Rogue Base Station Detection Using A Machine Learning Approach.
Proceedings of the 28th Wireless and Optical Communications Conference, 2019

Deep Android Malware Classification with API-Based Feature Graph.
Proceedings of the 18th IEEE International Conference On Trust, 2019

Multi-label Classification Method Based on the Labeling-Importance Degree.
Proceedings of the 20th IEEE/ACIS International Conference on Software Engineering, 2019

pRide: private ride request for online ride hailing service with secure hardware enclave.
Proceedings of the International Symposium on Quality of Service, 2019

Overview of Control and Matching Design of Hydraulic Retarder.
Proceedings of the ICITEE-2019: 2nd International Conference on Information Technologies and Electrical Engineering, 2019

PLSTM: Long Short-Term Memory Neural Networks for Propagatable Traffic Congested States Prediction.
Proceedings of the Genetic and Evolutionary Computing, 2019

Hierarchical Encoding of Sequential Data With Compact and Sub-Linear Storage Cost.
Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision, 2019

Heterogeneous Information Network Embedding with Meta-path Based Graph Attention Networks.
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2019 - 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17-19, 2019, Proceedings, 2019

PDCS: A Privacy-Preserving Distinct Counting Scheme for Mobile Sensing.
Proceedings of the Database Systems for Advanced Applications, 2019

BDNE: A Method of Bi-Directional Distance Network Embedding.
Proceedings of the 2019 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2019

Achieve Privacy-Preserving Truth Discovery in Crowdsensing Systems.
Proceedings of the 28th ACM International Conference on Information and Knowledge Management, 2019

Variance reduction properties of the reparameterization trick.
Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics, 2019

Sea trial of a real-time submerged buoy communication system based on wireless networking.
Proceedings of the International Conference on Artificial Intelligence, 2019

2018
A new chaos-based image encryption algorithm.
Int. Arab J. Inf. Technol., 2018

On some variance reduction properties of the reparameterization trick.
CoRR, 2018

Surface-plasmonic right-angle waveguide amplifiers.
Sci. China Inf. Sci., 2018

Value of flaccid penile ultrasound in screening for arteriogenic impotence: a preliminary prospective study.
BMC Medical Imaging, 2018

Secure Session Key Management Scheme for Meter-Reading System Based on LoRa Technology.
IEEE Access, 2018

Algorithm Research on Endmember Extraction Combined With Distribution Statistics.
Proceedings of the 9th Workshop on Hyperspectral Image and Signal Processing: Evolution in Remote Sensing, 2018

Task-Oriented Path Planning Algorithm Considering POIs and Dynamic Collaborative Targets Distribution.
Proceedings of the Sensor Data Fusion: Trends, Solutions, Applications, 2018

From Uncertain Photos to Certain Coverage: a Novel Photo Selection Approach to Mobile Crowdsensing.
Proceedings of the 2018 IEEE Conference on Computer Communications, 2018

HetEOTL: An Algorithm for Heterogeneous Online Transfer Learning.
Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

Toward a Resilient System: The Inspiration from Information Security Management Appliance.
Proceedings of the 13th Asia Joint Conference on Information Security, 2018

2017
On Secure Underlay MIMO Cognitive Radio Networks With Energy Harvesting and Transmit Antenna Selection.
IEEE Trans. Green Commun. Netw., 2017

Stable and Fast-Response Capacitive Humidity Sensors Based on a ZnO Nanopowder/PVP-RGO Multilayer.
Sensors, 2017

Hard drive failure prediction using Decision Trees.
Reliab. Eng. Syst. Saf., 2017

DWNAF: 带门限的动态窗口的NAF标量乘法 (DWNAF: A Dynamic Window NAF Scalar Multiplication with Threshold).
计算机科学, 2017

Extracting compact representation of knowledge from gene expression data for protein-protein interaction.
Int. J. Data Min. Bioinform., 2017

Sound image externalization for headphone based real-time 3D audio.
Frontiers Comput. Sci., 2017

Finite element method-based study for effect of adult degenerative scoliosis on the spinal vibration characteristics.
Comp. in Bio. and Med., 2017

A VLC-Based 3-D Indoor Positioning System Using Fingerprinting and K-Nearest Neighbor.
Proceedings of the 85th IEEE Vehicular Technology Conference, 2017

Energy harvesting circuit with input matching in boundary conduction mode for electromagnetic generators.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2017

Multi-label Learning by Exploiting Label Correlations with LDA.
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

A Novel File Carving Algorithm for EVTX Logs.
Proceedings of the Digital Forensics and Cyber Crime - 9th International Conference, 2017

Development of a new urban heat island modeling tool: Kent Vale case study.
Proceedings of the International Conference on Computational Science, 2017

Impacts of Building Geometries and Radiation Properties on Urban Thermal Environment.
Proceedings of the International Conference on Computational Science, 2017

Interpolation of Minimum-Phase HRIRs Using RBF Artificial Neural Network.
Proceedings of the Fuzzy Systems and Data Mining III, 2017

A 3600 × 3600 large-scale ISFET sensor array for high-throughput pH sensing.
Proceedings of the 12th IEEE International Conference on ASIC, 2017

Intensity of Relationship Between Words: Using Word Triangles in Topic Discovery for Short Texts.
Proceedings of the Web and Big Data - First International Joint Conference, 2017

2016
Towards Personalized Statistical Deformable Model and Hybrid Point Matching for Robust MR-TRUS Registration.
IEEE Trans. Medical Imaging, 2016

基于簇的水声传感器网络的安全认证协议 (Security Authentication Protocol Based on Cluster for Underwater Acoustic Sensor Networks).
计算机科学, 2016

路网中基于地理位置和区域封闭性的最短路径的查询算法 (Shortest Path Searching Algorithm Based on Geographical Coordinates and Closed Attribute in Road Network).
计算机科学, 2016

An Improved Regional Traffic Volume Dynamic Feedback Control.
Int. J. Softw. Eng. Knowl. Eng., 2016

An Improved MFD based Regional Traffic Volume Dynamic Control.
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

Biterm Pseudo Document Topic Model for Short Text.
Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

3D image segmentation based on feature-sensitive and adaptive tetrahedral meshes.
Proceedings of the 2016 IEEE International Conference on Image Processing, 2016

Research of STUPF filter algorithm on GPS/SINS.
Proceedings of the IEEE International Conference on Information and Automation, 2016

Tracking loops design and bandwidth optimization for SINS-aided GPS receiver.
Proceedings of the IEEE International Conference on Information and Automation, 2016

Secrecy Outage Performance for Underlay MIMO CRNs with Energy Harvesting and Transmit Antenna Selection.
Proceedings of the 2016 IEEE Globecom Workshops, Washington, DC, USA, December 4-8, 2016, 2016

2015
A Modified Chaos-Based Image Encryption Algorithm.
J. Softw., 2015

Combinations of <i>Stit</i> with <i>Ought</i> and <i>Know</i>.
J. Philos. Log., 2015

Three-dimensional coordinated path-following control for second-order multi-agent networks.
J. Frankl. Inst., 2015

Investigations of the high-temperature deformation behaviour and fatigue mechanisms of cemented carbide inserts during cutting 508III steel.
IJMR, 2015

Adaptive Model for Background Extraction Using Depth Map.
Proceedings of the Advances in Multimedia Information Processing - PCM 2015, 2015

Never Ignore the Significance of Different Anomalies: A Cost-Sensitive Algorithm Based on Loss Function for Anomaly Detection.
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

Channel-Max, Channel-Drop and Stochastic Max-pooling.
Proceedings of the 2015 IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2015

Construction and Research of Braille Corpus.
Proceedings of the Fifth IEEE International Conference on Big Data and Cloud Computing, 2015

Ultra-sensitive and responsive capacitive humidity sensor based on graphene oxide.
Proceedings of the 2015 IEEE 11th International Conference on ASIC, 2015

2014
Interactive object-based image retrieval and annotation on iPad.
Multim. Tools Appl., 2014

Discovering non-terminating inputs for multi-path polynomial programs.
J. Syst. Sci. Complex., 2014

Leveraging SDN and OpenFlow to Mitigate Interference in Enterprise WLAN.
J. Networks, 2014

Inequalities for the Minimum Eigenvalue of Doubly Strictly Diagonally Dominant M-Matrices.
J. Appl. Math., 2014

Adaptive Mesh Representation and Restoration of Biomedical Images.
CoRR, 2014

New software developments for quality mesh generation and optimization from biomedical imaging data.
Comput. Methods Programs Biomed., 2014

Spectrum- and energy-efficient D2DWRAN.
IEEE Communications Magazine, 2014

Supporting "One Big AP" illusion in enterprise WLAN: An SDN-based solution.
Proceedings of the Sixth International Conference on Wireless Communications and Signal Processing, 2014

Towards Personalized Biomechanical Model and MIND-Weighted Point Matching for Robust Deformable MR-TRUS Registration.
Proceedings of the Computer-Assisted and Robotic Endoscopy - First International Workshop, 2014

Time synchronization for underwater sensor networks based on multi-source beacon fusion.
Proceedings of the 20th IEEE International Conference on Parallel and Distributed Systems, 2014

Self-coexistence and spectrum sharing in device-to-device WRANs.
Proceedings of the IEEE International Conference on Communications, 2014

Feature-Sensitive and Adaptive Mesh Generation of Grayscale Images.
Proceedings of the Computational Modeling of Objects Presented in Images. Fundamentals, Methods, and Applications, 2014

Feature-Preserving Image Restoration from Adaptive Triangular Meshes.
Proceedings of the Computer Vision - ACCV 2014 Workshops, 2014

2013
Understanding the Scheduling Performance in Wireless Networks with Successive Interference Cancellation.
IEEE Trans. Mob. Comput., 2013

Some Normal Extensions of K4.3.
Studia Logica, 2013

Response to the discussion of "The effect of parameter uncertainty on achieved safety integrity of safety system".
Reliab. Eng. Syst. Saf., 2013

Novel Three-Phase Clustering based on Support Vector Technique.
J. Softw., 2013

GPU-Based Parallel Researches on RRTM Module of GRAPES Numerical Prediction System.
JCP, 2013

Model checking conditional CSL for continuous-time Markov chains.
Inf. Process. Lett., 2013

A distributed lifetime guaranteed mechanism in cooperative personal networks.
Comput. Electr. Eng., 2013

Enhanced limited rate implicit CSI feedback and its usage in covariance matrix based MU-MIMO.
Proceedings of the 2013 IEEE Wireless Communications and Networking Conference (WCNC), 2013

2012
Optimal replacement policy for safety-related multi-component multi-state systems.
Reliab. Eng. Syst. Saf., 2012

The effect of parameter uncertainty on achieved safety integrity of safety system.
Reliab. Eng. Syst. Saf., 2012

Vector-Distance and Neighborhood Development for High Dimensional Data.
J. Softw., 2012

Actions as Events.
J. Philos. Log., 2012

A 0.1~4GHz receiver and 0.1~6GHz transmitter with reconfigurable 10~100MHz signal bandwidth in 65nm CMOS.
Proceedings of the IEEE 2012 Custom Integrated Circuits Conference, 2012

Image edge enhancement and segmentation via randomized shortest paths.
Proceedings of the 5th International Conference on BioMedical Engineering and Informatics, 2012

RBRA: A Simple and Efficient Rating-Based Recommender Algorithm to Cope with Sparsity in Recommender Systems.
Proceedings of the 26th International Conference on Advanced Information Networking and Applications Workshops, 2012

2011
Simulation and sensitivity analysis of carbon storage and fluxes in the New Jersey Pinelands.
Environ. Model. Softw., 2011

A biologically inspired computational model for image saliency detection.
Proceedings of the 19th International Conference on Multimedia 2011, Scottsdale, AZ, USA, November 28, 2011

Incremental learning based on ensemble pruning.
Proceedings of the Eighth International Conference on Fuzzy Systems and Knowledge Discovery, 2011

Study of macromolecular compound anstatic agent.
Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011

Non-equant roll calender's structure design and analysis.
Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011

Analysis of melt fracture during the process of macromolecule material's extruding moulding.
Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011

Biomedical image segmentation via constrained graph cuts and pre-segmentation.
Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011

2010
Integrated Magnetic Self-Driven ZVS Nonisolated Full-Bridge Converter.
IEEE Trans. Ind. Electron., 2010

Multi-camera video surveillance for real-time analysis and reconstruction of soccer games.
Mach. Vis. Appl., 2010

Combinations of <i>Stit</i> and Actions.
Journal of Logic, Language and Information, 2010

Design of Nonbinary Rate-Compatible LDPC Codes Utilizing Bit-Wise Shortening Method.
IEEE Communications Letters, 2010

Coordinated Multi-Cell Space Frequency Block Coding Based on Inter-Cell Large Cyclic Delay.
IEEE Communications Letters, 2010

Nonbinary LDPC codes constructed based on a cyclic MDS code and a low-complexity nonbinary message-passing decoding algorithm.
IEEE Communications Letters, 2010

A Graph-Based I/O Pad Pre-placement Technique for Use with Analytic FPGA Placement Methods.
Proceedings of the VLSI Design 2010: 23rd International Conference on VLSI Design, 2010

Design and Implementation of a Wireless Sensor Network for Smart Homes.
Proceedings of the Symposia and Workshops on Ubiquitous, 2010

Net-in-Net: Interaction Modeling for Smart Community Cyber-Physical System.
Proceedings of the Symposia and Workshops on Ubiquitous, 2010

Building Resilient Unstructured Peer-to-Peer Networks Using Mobile Agents.
Proceedings of the Sixth International Conference on Semantics Knowledge and Grid, 2010

A method of parameter optimization for particle swarm optimization based on stochastic processes.
Proceedings of the Sixth International Conference on Natural Computation, 2010

A High-Confidence Cyber-Physical Alarm System: Design and Implementation.
Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications, 2010

Incremental Learning by Heterogeneous Bagging Ensemble.
Proceedings of the Advanced Data Mining and Applications - 6th International Conference, 2010

2009
Stability analysis for stochastic BAM neural networks with Markovian jumping parameters.
Neurocomputing, 2009

A fast ensemble pruning algorithm based on pattern mining process.
Data Min. Knowl. Discov., 2009

Tracking the soccer ball using multiple fixed cameras.
Comput. Vis. Image Underst., 2009

A new method to identify the authenticity of banknotes based On the texture roughness.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2009

An automatic classification method for betel nut based on computer vision.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2009

Near-linear wirelength estimation for FPGA placement.
Proceedings of the 22nd Canadian Conference on Electrical and Computer Engineering, 2009

2008
Real-Time Modeling of 3-D Soccer Ball Trajectories From Multiple Fixed Cameras.
IEEE Trans. Circuits Syst. Video Techn., 2008

On the Performance of Multiple Relay Zero-Forcing Precoding Based on Limited Feedback.
IEICE Trans. Commun., 2008

CQI Feedback Overhead Reduction for Multicarrier MIMO Transmission.
IEICE Trans. Commun., 2008

Impact of Limited Feedback on Multiple Relay Zero-Forcing Precoding Systems.
Proceedings of IEEE International Conference on Communications, 2008

Towards Workflow Oriented Virtual Enterprise Based on Policy Driven and Multi-agent Service Composition.
Proceedings of the Fifth International Conference on Fuzzy Systems and Knowledge Discovery, 2008

The Research of Frame and Key Technologies for Intrusion Detection System in IEEE 802.11-based Wireless Mesh Networks.
Proceedings of the Second International Conference on Complex, 2008

2007
On Estimating Path Capacity in Wireless Mesh Networks.
Proceedings of the Ubiquitous Intelligence and Computing, 4th International Conference, 2007

The Approach of Chinese Speech Triseme Recognition for Human Mouth Animation.
Proceedings of the Third International Conference on Natural Computation, 2007

Routing Based Load Balancing for Unstructured P2P Networks.
Proceedings of the Future Generation Communication and Networking, 2007

Selfish MAC Layer Misbehavior Detection Model for the IEEE 802.11-Based Wireless Mesh Networks.
Proceedings of the Advanced Parallel Processing Technologies, 7th International Symposium, 2007

2006
Some Embedding Theorems for Conditional Logic.
J. Philos. Log., 2006

Augmented tracking with incomplete observation and probabilistic reasoning.
Image Vis. Comput., 2006

2005
Event detection and period extraction using multi-scale symmetry and entropy.
Signal Process., 2005

Evapotranspiration models compared on a Sierra Nevada forest ecosystem.
Environ. Model. Softw., 2005

Rapid Prototyping of Embedded Software Using Selective Formalism.
Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 2005

How to Protect Personal Information against Keyloggers.
Proceedings of the Ninth IASTED International Conference on Internet and Multimedia Systems and Applications (IMSA 2005), 2005

Detecting forest degradation in Kochi, Japan: combining in situ field measurements with remote sensing techniques.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2005

Design Pattern Detection from Java Software.
Proceedings of the IASTED International Conference on Software Engineering, 2005

2004
The multiscale medial properties of interfering image structures.
Pattern Recognit. Lett., 2004

Shrubbery: A New Algorithm for Quickly Growing High-Quality Steiner Trees.
Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004

Tracking football players with multiple cameras.
Proceedings of the 2004 International Conference on Image Processing, 2004

A general framework for 3d soccer ball estimation and tracking.
Proceedings of the 2004 International Conference on Image Processing, 2004

An Approximate Solution for Steiner Trees in Multicast Routing.
Proceedings of the International Conference on Artificial Intelligence, 2004

Real-time 3D Football Ball Tracking from Multiple Cameras.
Proceedings of the British Machine Vision Conference, 2004

Service Virtualization.
Proceedings of the Grid 2 - Blueprint for a New Computing Infrastructure, Second Edition, 2004

2003
Pseudo-Cycle-Based Multicast Routing in Wormhole-Routed Networks.
J. Comput. Sci. Technol., 2003

A Variable Consistent Server Replication Model for Mobile Database.
Proceedings of the Advanced Parallel Programming Technologies, 5th International Workshop, 2003

Dynamics in Hierarchical CSCW Systems.
Proceedings of the Advanced Parallel Programming Technologies, 5th International Workshop, 2003

2002
Multi-agent Coordination Mechanism in Distributed Environment.
Proceedings of the Engineering and Deployment of Cooperative Information Systems, 2002

Simple segmentation algorithm for mixed raster contents image representation.
Proceedings of the Color Imaging: Device-Independent Color, 2002

Partial Observation vs. Blind Tracking through Occlusion.
Proceedings of the British Machine Vision Conference 2002, 2002

2001
Effective Internet Grid Computing for Industrial Users.
Proceedings of the First IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2001), 2001

Illumination-Invariant Motion Detection Using Colour Mixture Models.
Proceedings of the British Machine Vision Conference 2001, 2001

2000
Effects of Spatial Heterogeneity of Microenvironment on Plant Biodiversity in the Southeastern Missouri Ozarks.
Annals of GIS, 2000

A Vision-Based Method for Recognizing Non-manual Information in Japanese Sign Language.
Proceedings of the Advances in Multimodal Interfaces, 2000

1999
A Scale-Space Medialness Transform Based on Boundary Concordance Voting.
J. Math. Imaging Vis., 1999

Fast multicast on multistage interconnection networks using multi-head worms.
J. Comput. Sci. Technol., 1999

Multiscale Medial Axis Through a Complete Set of Optimal Scale Ridges.
Proceedings of the 1999 International Conference on Image Processing, 1999

The Visual Query Language for an Object-Oriented Knowledge-Based System.
Proceedings of the 1999 International Symposium on Database Applications in Non-Traditional Environments (DANTE '99), 1999

1998
Uncompactness of Stit Logics Containing Generalized Refref Conditionals.
Notre Dame J. Formal Log., 1998

Axioms for Deliberative Stit.
J. Philos. Log., 1998

Estimating true symmetry in scale-space.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Detecting Head Pose from Stereo Image Sequence for Active Face Recognition.
Proceedings of the 3rd International Conference on Face & Gesture Recognition (FG '98), 1998

The Multiscale Medial Response of Grey-level Images.
Proceedings of the British Machine Vision Conference 1998, 1998

1997
Causation in Branching Time (I): Transitions, Events and Causes.
Synth., 1997

1995
Busy choice sequences, refraining formulas and modalities.
Studia Logica, 1995

On the Basic Logic of STIT with a Single Agent.
J. Symb. Log., 1995

1994
Decidability of <i>Stit</i> theory with a single agent and <i>Refref Equivalence</i>.
Studia Logica, 1994

Doing and refraining from refraining.
J. Philos. Log., 1994

Decidability of Deliberative <i>Stit</i> Theories with Multiple Agents.
Proceedings of the Temporal Logic, First International Conference, 1994

1991
Some descending chains of incomplete modal logics.
J. Philos. Log., 1991

1988
On some <i>U, S</i>-tense logics.
J. Philos. Log., 1988


  Loading...