Stan Matwin

dblp:m/StanMatwin · DBLP profile ↗
← Back
146ranked-venue papers
17as first author
20since 2021 · last 2025
0000-0001-6629-8434ORCID · conflict

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 79 · 8 first-author · 9 since 2021Databases, data management, data science and information retrieval · 48 · 3 first-author · 9 since 2021Applied, interdisciplinary, general and emerging computing · 25 · 4 first-author · 3 since 2021Security and privacy · 12Graphics, computer vision, multimedia, augmented reality and games · 9 · 1 first-author · 1 since 2021Software engineering, systems software and programming languages · 8 · 3 first-authorTheory of computation · 8 · 3 first-authorSystems, architecture and hardware · 3 · 3 since 2021Human-computer interaction and ubiquitous computing · 3 · 1 first-authorComputer networks · 1
YearPublicationVenuePosition
2025 Privacy-preserved federated clustering with Non-IID data via GANs
Jianzhe Zhao, Wenji Wang, Zhelin Fan, Stan Matwin
J. Supercomput.6
2024 Causal generative explainers using counterfactual inference: a case study on the Morpho-MNIST dataset
Will Taylor-Melanson, Zahra Sadeghi, Stan Matwin
Pattern Anal. Appl.3
2024 Exploring autoregression patterns for automatic vessel type classification
Martha Dais Ferreira, Zahra Sadeghi, Stan Matwin
J. Supercomput.3
2023 Charting the Course of Ship Track Prediction: A Novel Approach for Maritime Traffic Analysis and Enhanced Situational Awareness
abstract
Accurate ship track prediction plays a pivotal role in maritime operations, enabling proactive decision-making, enhancing safety, and optimizing vessel routing. We propose ship trajectory prediction - a threefold technique for facilitating accurate predictions, which involves clustering historical AIS trajectories into maritime de facto routes, classifying new trajectory to one of these routes, and conducting predictions along the identified route. To overcome the challenges of capturing the latent structure in high-dimensional and heterogeneous space imposed by AIS data, we introduce a new similarity technique that automatically determines the number of clusters. Furthermore, we introduce a method to automatically annotate the feature space, enhancing the efficiency of data analysis tasks like clustering. This not only improves performance but also ensures transparency, allowing for effective performance evaluation. Our approach demonstrates an accuracy of over 88% and an accuracy of 78% in predicting routes for tanker vessels.
Lubna Eljabu, Mohammad Etemad, Stan Matwin
IEEE Big Data3
2023 Assessing compression algorithms to improve the efficiency of clustering analysis on AIS vessel trajectories
abstract
In the maritime environment, the Automatic Identification System (AIS) is used to monitor vessel activity concerning security and safety ocean-wide. AIS data has been used to detect anomalous behaviors related to suspicious activities and hazardous events. Typically, clustering analysis is used to investigate anomalous events within the AIS data stream. However, the main challenge in this approach is to determine and execute the dissimilarity measure between trajectories since they differ in size and time. In addition, these calculations are computationally expensive and not scalable. To tackle this issue, compression algorithms can be applied to perform clustering analysis since they are typically used to reduce storage and processing time. Therefore, the proposed analysis will assess how compression algorithms affect clustering results with respect to detecting anomalous vessel trajectories. The analysis results show that a suitable compression algorithm can reduce the overall processing time with little impact on the clustering results while supporting the scalability of this type of analysis.
Martha Dais Ferreira, Jessica N. A. Campbell, Evan Purney, Amílcar Soares Júnior 0001, Stan Matwin
Int. J. Geogr. Inf. Sci.5
2023 SGORNN: Combining scalar gates and orthogonal constraints in recurrent networks
Will Taylor-Melanson, Martha Dais Ferreira, Stan Matwin
Neural Networks3
2023 Local differentially private federated learning with homomorphic encryption
Jianzhe Zhao, Chenxi Huang 0002, Wenji Wang, Rulin Xie, Rongrong Dong, Stan Matwin
J. Supercomput.6
2022 Spatial Clustering Method of Historical AIS Data for Maritime Traffic Routes Extraction
abstract
The automated extraction of maritime routes that accurately resembles the real traffic of vessels is crucial for intelligent traffic management systems to understand vessel behaviour in sea areas, identify events, and support decision-making. Available solutions for maritime traffic route extraction utilize traditional clustering algorithms, which have high computational costs. Data reduction methods are proposed for use with these clustering methods to improve clustering performance, which involves a loss in movement pattern quality. Such solutions often result in low quality representations of traffic routes, which poorly estimate sailing distances for long journeys and time of arrivals and poorly identify non-conformities. In this paper, we propose a spatial clustering method (SPTCLUST-II) to extract spatial representations of sailing routes from historical Automatic Identification System (AIS) data. Our method can cluster huge volumes of trajectory data in a minimal amount of time without using any of the traditional clustering algorithms and with no reduction or modification of the spatio-temporal predicates of the original trajectories. A real-world AIS dataset captured in the area of the Gulf of Mexico is used for the evaluation of the proposed method. The results demonstrate that the proposed method extracts tankers maritime traffic routes with an accuracy of 97% and a f1-measure of 98.5% and cargoes maritime traffic routes with an accuracy of 98.1% and a f1-measure of 99%. This method can be utilized by surveillance authorities for stable and sustainable vessel traffic management.
Lubna Eljabu, Mohammad Etemad, Stan Matwin
IEEE Big Data3
2022 AdaBest: Minimizing Client Drift in Federated Learning via Adaptive Bias Estimation
Farshid Varno, Marzie Saghayi, Laya Rafiee, Sharut Gupta, Stan Matwin, Mohammad Havaei
ECCV (23)5
2022 Cyrus2D Base: Source Code Base for RoboCup 2D Soccer Simulation League
Nader Zare, Omid Amini, Aref Sayareh, Mahtab Sarvmaili, Arad Firouzkouhi, Saba Ramezani Rad, Stan Matwin, Amílcar Soares Júnior 0001
RoboCup7
2022 deepSimDEF: deep neural embeddings of gene products and gene ontology terms for functional analysis of genes
abstract
MOTIVATION: There is a plethora of measures to evaluate functional similarity (FS) of genes based on their co-expression, protein-protein interactions and sequence similarity. These measures are typically derived from hand-engineered and application-specific metrics to quantify the degree of shared information between two genes using their Gene Ontology (GO) annotations. RESULTS: We introduce deepSimDEF, a deep learning method to automatically learn FS estimation of gene pairs given a set of genes and their GO annotations. deepSimDEF's key novelty is its ability to learn low-dimensional embedding vector representations of GO terms and gene products and then calculate FS using these learned vectors. We show that deepSimDEF can predict the FS of new genes using their annotations: it outperformed all other FS measures by >5-10% on yeast and human reference datasets on protein-protein interactions, gene co-expression and sequence homology tasks. Thus, deepSimDEF offers a powerful and adaptable deep neural architecture that can benefit a wide range of problems in genomics and proteomics, and its architecture is flexible enough to support its extension to any organism. AVAILABILITY AND IMPLEMENTATION: Source code and data are available at https://github.com/ahmadpgh/deepSimDEF. SUPPLEMENTARY INFORMATION: Supplementary data are available at Bioinformatics online.
Ahmad Pesaranghader, Stan Matwin, Marina Sokolova, Jean-Christophe Grenier, Robert G. Beiko, Julie Hussin
Bioinform.2
2022 From multiple aspect trajectories to predictive analysis: a case study on fishing vessels in the Northern Adriatic sea
abstract
Abstract In this paper we model spatio-temporal data describing the fishing activities in the Northern Adriatic Sea over four years. We build, implement and analyze a database based on the fusion of two complementary data sources: trajectories from fishing vessels (obtained from terrestrial Automatic Identification System, or AIS, data feed) and fish catch reports (i.e., the quantity and type of fish caught) of the main fishing market of the area. We present all the phases of the database creation, starting from the raw data and proceeding through data exploration, data cleaning, trajectory reconstruction and semantic enrichment. We implement the database by using MobilityDB, an open source geospatial trajectory data management and analysis platform. Subsequently, we perform various analyses on the resulting spatio-temporal database, with the goal of mapping the fishing activities on some key species, highlighting all the interesting information and inferring new knowledge that will be useful for fishery management. Furthermore, we investigate the use of machine learning methods for predicting the Catch Per Unit Effort (CPUE), an indicator of the fishing resources exploitation in order to drive specific policy design. A variety of prediction methods, taking as input the data in the database and environmental factors such as sea temperature, waves height and Clorophill-a, are put at work in order to assess their prediction ability in this field. To the best of our knowledge, our work represents the first attempt to integrate fishing ships trajectories derived from AIS data, environmental data and catch data for spatio-temporal prediction of CPUE – a challenging task.
Bruno Brandoli Machado, Alessandra Raffaetà, Marta Simeoni, Pedram Adibi, Fateha Khanam Bappee, Fabio Pranovi, Giulia Rovinelli, Elisabetta Russo, Claudio Silvestri, Amílcar Soares Júnior 0001, Stan Matwin
GeoInformatica11
2022 Understanding evolution of maritime networks from automatic identification system data
Emanuele Carlini 0001, Vinicius Monteiro de Lira, Amílcar Soares Júnior 0001, Mohammad Etemad, Bruno Brandoli Machado, Stan Matwin
GeoInformatica6
2022 Pay Attention to Evolution: Time Series Forecasting With Deep Graph-Evolution Learning
abstract
Time-series forecasting is one of the most active research topics in artificial intelligence. It has the power to bring light to problems in several areas of knowledge, such as epidemiological studies, healthcare inference, and climate change analysis. Applications in real-world time series should consider two factors for achieving reliable predictions: modeling dynamic dependencies among multiple variables and adjusting the model's intrinsic hyperparameters. An open gap in the literature is that statistical and ensemble learning approaches systematically present lower predictive performance than deep learning methods. The existing applications consistently disregard the data sequence aspect entangled with multivariate data represented in more than one time series. Conversely, this work presents a novel neural network architecture for time-series forecasting that combines the power of graph evolution with deep recurrent learning on distinct data distributions, named after Recurrent Graph Evolution Neural Network ( ReGENN ). The idea is to infer multiple multivariate relationships between co-occurring time-series by assuming that the temporal data depends not only on inner variables and intra-temporal relationships (i.e., observations from itself) but also on outer variables and inter-temporal relationships (i.e., observations from other-selves). An extensive set of experiments was conducted comparing ReGENN with tens of ensemble methods and classical statistical ones. The results outperformed both statistical and ensemble-learning approaches, showing an improvement of 64.87 percent over the competing algorithms on the SARS-CoV-2 dataset of the renowned John Hopkins University for 188 countries simultaneously. For further validation, we tested our architecture in two other public datasets of different domains, the PhysioNet Computing in Cardiology Challenge 2012 and Brazilian Weather datasets. We also analyzed the Evolution Weights arising from the hidden layers of ReGENN to describe how the variables of the dataset interact with each other; and, as a result of looking at inter and intra-temporal relationships simultaneously, we concluded that time-series forecasting is majorly improved if paying attention to how multiple multivariate data synchronously evolve.
Gabriel Spadon, Shenda Hong, Bruno Brandoli Machado, Stan Matwin, José F. Rodrigues Jr., Jimeng Sun 0001
IEEE Trans. Pattern Anal. Mach. Intell.4
2021 MTLV: a library for building deep multi-task learning architectures
abstract
Multi-Task Learning (MTL) for text classification takes advantage of the data to train a single shared model with multiple task-specific layers on multiple related classification tasks to improve its generalization performance. We choose pre-trained language models (BERT-family) as the shared part of this architecture. Although they have achieved noticeable performance in different downstream NLP tasks, their performance in an MTL setting for the biomedical domain is not thoroughly investigated. In this work, we investigate the performance of BERT-family models in different MTL settings with Open-I (radiology reports) and OHSUMED (PubMed abstracts) datasets. We introduce the MTLV (Multi-Task Learning Visualizer) library for building Multi-task learning-related architectures which use existing infrastructure (e.g., Hugging Face Transformers and MLflow Tracking). Following previous work in computer vision, we clustered tasks and trained a separate model on each cluster (Grouped Multi-Task Learning (GMTL)). Contextual representation of the class labels (Tasks) and their descriptions was used by the library as features to cluster the tasks. We observed that grouping tasks for training with few models (GMTL) outperforms the MTL also GMTL is computationally more efficient than the STL setting (a separate model is trained for each task).
Fatemeh Rahimi, Evangelos E. Milios, Stan Matwin
DocEng3
2021 Improving Dribbling, Passing, and Marking Actions in Soccer Simulation 2D Games Using Machine Learning
Nader Zare, Omid Amini, Aref Sayareh, Mahtab Sarvmaili, Arad Firouzkouhi, Stan Matwin, Amílcar Soares Júnior 0001
RoboCup6
2021 Engineering Features to Improve Pass Prediction in Soccer Simulation 2D Games
Nader Zare, Mahtab Sarvmaili, Aref Sayareh, Omid Amini, Stan Matwin, Amílcar Soares Júnior 0001
RoboCup5
2021 SWS: an unsupervised trajectory segmentation algorithm based on change detection with interpolation kernels
Mohammad Etemad, Amílcar Soares Júnior 0001, Elham Etemad, Jordan Rose, Luís Torgo, Stan Matwin
GeoInformatica6
2021 Building navigation networks from multi-vessel trajectory data
Iraklis Varlamis, Ioannis Kontopoulos, Konstantinos Tserpes, Mohammad Etemad, Amílcar Soares Júnior 0001, Stan Matwin
GeoInformatica6
2021 Multiple-aspect analysis of semantic trajectories(MASTER)
abstract
A plethora of applications and devices reporting their locations generate massive amounts of spatiotemporal data along with other useful information. These data can form trajectories with sequences...
Chiara Renso, Vania Bogorny, Konstantinos Tserpes, Stan Matwin, José A. F. de Macêdo
Int. J. Geogr. Inf. Sci.4
2020 Explaining Image Classifiers Generating Exemplars and Counter-Exemplars from Latent Representations
abstract
We present an approach to explain the decisions of black box image classifiers through synthetic exemplar and counter-exemplar learnt in the latent feature space. Our explanation method exploits the latent representations learned through an adversarial autoencoder for generating a synthetic neighborhood of the image for which an explanation is required. A decision tree is trained on a set of images represented in the latent space, and its decision rules are used to generate exemplar images showing how the original image can be modified to stay within its class. Counterfactual rules are used to generate counter-exemplars showing how the original image can “morph” into another class. The explanation also comprehends a saliency map highlighting the areas that contribute to its classification, and areas that push it into another class. A wide and deep experimental evaluation proves that the proposed method outperforms existing explainers in terms of fidelity, relevance, coherence, and stability, besides providing the most useful and interpretable explanations.
Riccardo Guidotti, Anna Monreale, Stan Matwin, Dino Pedreschi
AAAI3
2020 Implicit Class-Conditioned Domain Alignment for Unsupervised Domain Adaptation
abstract
We present an approach for unsupervised domain adaptation{—}with a strong focus on practical considerations of within-domain class imbalance and between-domain class distribution shift{—}from a class-conditioned domain alignment perspective. Current methods for class-conditioned domain alignment aim to explicitly minimize a loss function based on pseudo-label estimations of the target domain. However, these methods suffer from pseudo-label bias in the form of error accumulation. We propose a method that removes the need for explicit optimization of model parameters from pseudo-labels. Instead, we present a sampling-based implicit alignment approach, where the sample selection is implicitly guided by the pseudo-labels. Theoretical analysis reveals the existence of a domain-discriminator shortcut in misaligned classes, which is addressed by the proposed approach to facilitate domain-adversarial learning. Empirical results and ablation studies confirm the effectiveness of the proposed approach, especially in the presence of within-domain class imbalance and between-domain class distribution shift.
Xiang Jiang 0001, Qicheng Lao, Stan Matwin, Mohammad Havaei
ICML3
2020 Generating High-Fidelity Images with Disentangled Adversarial VAEs and Structure-Aware Loss
abstract
While variational autoencoders (VAE) provide the theoretical basis for deep generative models, they often produce "blurry" images which is linked to their training objective. In this paper, we propose the "Sharpened Adversarial Variational Auto-Encoder" (AVAE-S) which uses an adversarial training mechanism to fine-tune the learned latent code vector of the VAE with a specialized objective function. The loss function is designed to uncover global structure as well as the local and high frequency features in VAE and leading to the smaller variance in the aggregated posterior and hence, reducing the blurriness of their generated samples. AVAE-S leverages the learned representations to the meaningful latent features by enforcing feature consistency between the model distribution and the target distribution leading to the sharpened output with better perceptual quality. Then, AVAE-S starts training a GAN network, which generator has been collapsed on the VAE's decoder, upon that learned latent code vector. Moreover, we augment the standard VAE's evidence lower bound objective function with other element-wise similarity measures. Our experiments show that AVAE-S achieves the state-of-the-art sample quality in the common MNIST and CelebA datasets. AVAE-S shares many of the good properties of the VAE (stable training, encoder-decoder architecture, nice latent manifold structure) while generating more realistic images, as measured by the sharpness score.
Habibeh Naderi, Behrouz Haji Soleimani, Stan Matwin
IJCNN3
2019 Fast PMI-Based Word Embedding with Efficient Use of Unobserved Patterns
Behrouz Haji Soleimani, Stan Matwin
AAAI2
2019 VISTA: A visual analytics platform for semantic annotation of trajectories
abstract
Most of the trajectory datasets only record the spatio-temporal position of the moving object, thus lacking semantics and this is due to the fact that this information mainly depends on the domain expert labeling, a time-consuming and complex process. This paper is a contribution in facilitating and supporting the manual annotation of trajectory data thanks to a visual-analytics-based platform named VISTA. VISTA is designed to assist the user in the trajectory annotation process in a multi-role user environment. A session manager creates a tagging session selecting the trajectory data and the semantic contextual information. The VISTA platform also supports the creation of several features that will assist the tagging users in identifying the trajectory segments that will be annotated. A distinctive feature of VISTA is the visual analytics functionalities that support the users in exploring and processing the trajectory data, the associated features and the semantic information for a proper comprehension of how to properly label trajectories.
Amílcar Soares Júnior 0001, Jordan Rose, Mohammad Etemad, Chiara Renso, Stan Matwin
EDBT5
2019 Automatic Fusion of Satellite Imagery and AIS data for Vessel Detection
Aristides Milios, Konstantina Bereta, Konstantinos Chatzikokolakis 0002, Dimitrios Zissis, Stan Matwin
FUSION5
2019 Recurrent Neural Networks with Stochastic Layers for Acoustic Novelty Detection
abstract
In this paper, we adapt Recurrent Neural Networks with Stochastic Layers, which are the state-of-the-art for generating text, music and speech, to the problem of acoustic novelty detection. By integrating uncertainty into the hidden states, this type of network is able to learn the distribution of complex sequences. Because the learned distribution can be calculated explicitly in terms of probability, we can evaluate how likely an observation is then detect low-probability events as novel. The model is robust, highly unsupervised, end-to-end and requires minimum preprocessing, feature engineering or hyperparameter tuning. An experiment on a benchmark dataset shows that our model outperforms the state-of-the-art acoustic novelty detectors.
Oliver S. Kirsebom, Fábio Frazão, Ronan Fablet, Stan Matwin
ICASSP5
2019 Learning to Learn with Conditional Class Dependencies
Xiang Jiang 0001, Mohammad Havaei, Farshid Varno, Gabriel Chartrand, Nicolas Chapados, Stan Matwin
ICLR (Poster)6
2019 Task Adaptive Metric Space for Medium-Shot Medical Image Classification
Xiang Jiang 0001, Liqiang Ding, Mohammad Havaei, Andrew Jesson, Stan Matwin
MICCAI (1)5
2019 Black Box Explanation by Learning Image Exemplars in the Latent Feature Space
Riccardo Guidotti, Anna Monreale, Stan Matwin, Dino Pedreschi
ECML/PKDD (1)3
2019 Marine Mammal Species Classification Using Convolutional Neural Networks and a Novel Acoustic Representation
Bruce Martin, Katie Kowarski, Briand J. Gaudet, Stan Matwin
ECML/PKDD (3)5
2019 deepBioWSD: effective deep neural word sense disambiguation of biomedical text data
abstract
OBJECTIVE: In biomedicine, there is a wealth of information hidden in unstructured narratives such as research articles and clinical reports. To exploit these data properly, a word sense disambiguation (WSD) algorithm prevents downstream difficulties in the natural language processing applications pipeline. Supervised WSD algorithms largely outperform un- or semisupervised and knowledge-based methods; however, they train 1 separate classifier for each ambiguous term, necessitating a large number of expert-labeled training data, an unattainable goal in medical informatics. To alleviate this need, a single model that shares statistical strength across all instances and scales well with the vocabulary size is desirable. MATERIALS AND METHODS: Built on recent advances in deep learning, our deepBioWSD model leverages 1 single bidirectional long short-term memory network that makes sense prediction for any ambiguous term. In the model, first, the Unified Medical Language System sense embeddings will be computed using their text definitions; and then, after initializing the network with these embeddings, it will be trained on all (available) training data collectively. This method also considers a novel technique for automatic collection of training data from PubMed to (pre)train the network in an unsupervised manner. RESULTS: We use the MSH WSD dataset to compare WSD algorithms, with macro and micro accuracies employed as evaluation metrics. deepBioWSD outperforms existing models in biomedical text WSD by achieving the state-of-the-art performance of 96.82% for macro accuracy. CONCLUSIONS: Apart from the disambiguation improvement and unsupervised training, deepBioWSD depends on considerably less number of expert-labeled data as it learns the target and the context terms jointly. These merit deepBioWSD to be conveniently deployable in real-time biomedical applications.
Ahmad Pesaranghader, Stan Matwin, Marina Sokolova, Ali Pesaranghader
J. Am. Medical Informatics Assoc.2
2019 Computational modelling and data-driven techniques for systems analysis
Stan Matwin, Luca Tesei, Roberto Trasarti
J. Intell. Inf. Syst.1
2018 Spectral Word Embedding with Negative Sampling
abstract
In this work, we investigate word embedding algorithms in the context of natural language processing. In particular, we examine the notion of ``negative examples'', the unobserved or insignificant word-context co-occurrences, in spectral methods. we provide a new formulation for the word embedding problem by proposing a new intuitive objective function that perfectly justifies the use of negative examples. In fact, our algorithm not only learns from the important word-context co-occurrences, but also it learns from the abundance of unobserved or insignificant co-occurrences to improve the distribution of words in the latent embedded space. We analyze the algorithm theoretically and provide an optimal solution for the problem using spectral analysis. We have trained various word embedding algorithms on articles of Wikipedia with 2.1 billion tokens and show that negative sampling can boost the quality of spectral methods. Our algorithm provides results as good as the state-of-the-art but in a much faster and efficient way.
Behrouz Haji Soleimani, Stan Matwin
AAAI2
2018 Interpretable Deep Convolutional Neural Networks via Meta-learning
abstract
Model interpretability is a requirement in many applications in which crucial decisions are made by users relying on a model's outputs. The recent movement for “algorithmic fairness” also stipulates explainability, and therefore interpretability of learning models. And yet the most successful contemporary Machine Learning approaches, the Deep Neural Networks, produce models that are highly non-interpretable. We attempt to address this challenge by proposing a technique called CNN-INTE to interpret deep Convolutional Neural Networks (CNN) via meta-learning. In this work, we interpret a specific hidden layer of the deep CNN model on the MNIST image dataset. We use a clustering algorithm in a two-level structure to find the meta-level training data and Random Forest as base learning algorithms to generate the meta-level test data. The interpretation results are displayed visually via diagrams, which clearly indicates how a specific test instance is classified. Our method achieves global interpretation for all the test instances on the hidden layers without sacrificing the accuracy obtained by the original deep CNN model. This means our model is faithful to the original deep CNN model, which leads to reliable interpretations.
Xuan Liu 0007, Xiaoguang Wang 0001, Stan Matwin
IJCNN3
2018 A Semi-Supervised Approach for the Semantic Segmentation of Trajectories
abstract
A first fundamental step in the process of analyzing movement data is trajectory segmentation, i.e., splitting trajectories into homogeneous segments based on some criteria. Although trajectory segmentation has been the object of several approaches in the last decade, a proposal based on a semi-supervised approach remains inexistent. A semi-supervised approach means that a user labels manually a small set of trajectories with meaningful segments and, from this set, the method infers in an unsupervised way the segments of the remaining trajectories. The main advantage of this method compared to pure supervised ones is that it reduces the human effort to label the number of trajectories. In this work, we propose the use of the Minimum Description Length (MDL) principle to measure homogeneity inside segments. We also introduce the Reactive Greedy Randomized Adaptive Search Procedure for semantic Semi-supervised Trajectory Segmentation (RGRASP-SemTS) algorithm that segments trajectories by combining a limited user labeling phase with a low number of input parameters and no predefined segmenting criteria. The approach and the algorithm are presented in detail throughout the paper, and the experiments are carried out on two real-world datasets. The evaluation tests prove how our approach outperforms state-of-the-art competitors when compared to ground truth.
Amílcar Soares Júnior 0001, Valéria Cesário Times, Chiara Renso, Stan Matwin, Lucídio A. F. Cabral
MDM4
2018 Incremental anomaly detection using two-layer cluster-based structure
Elnaz Bigdeli, Mahdi Mohammadi, Bijan Raahemi, Stan Matwin
Inf. Sci.4
2017 Partition-wise Recurrent Neural Networks for Point-based AIS Trajectory Classification
Xiang Jiang 0001, Erico N. de Souza, Xuan Liu 0007, Behrouz Haji Soleimani, Xiaoguang Wang 0001, Daniel L. Silver, Stan Matwin
ESANN7
2017 Improving point-based AIS trajectory classification with partition-wise gated recurrent units
abstract
We present Partition-wise Gated Recurrent Units (pGRUs) for point-based trajectory classification to detect real-world trawler fishing activities in the ocean. We propose partition-wise activation functions integrated with Gated Recurrent Units that partitions each feature and uses independent parameters to model distinct regions of the feature space. This approach enables us to leverage the benefits of deep learning on a low-dimensional and heterogeneous feature space by mapping the low-dimensional features into another space that can be better separated with piece-wise learnable parameters. We show that the proposed partition-wise activation functions can approximate a wide array of functions, including conventional activations such as sigmoid and hyperbolic tangent. Our experimental results demonstrate that pGRU learns the probability distribution from data and achieves substantial improvements over the state-of-the-art systems on the task of trawler fishing activity detection.
Xiang Jiang 0001, Xuan Liu 0007, Erico N. de Souza, Baifan Hu, Daniel L. Silver, Stan Matwin
IJCNN6
2017 Special issue on discovery science
Nathalie Japkowicz, Stan Matwin
Mach. Learn.2
2017 A fast and noise resilient cluster-based anomaly detection
Elnaz Bigdeli, Mahdi Mohammadi, Bijan Raahemi, Stan Matwin
Pattern Anal. Appl.4
2016 Predicting annual average daily highway traffic from large data and very few measurements
abstract
This paper is an early report from research undertaken to meet the needs of the General Directorate for National Roads and Motorways of Poland. They have defined the task of estimating the annual average Daily Traffic on a class of highways in the country, based on a very small number of daily traffic measurements undertaken throughout the year (typically one or two such measurements). We report the data available to us, and the data preprocessing step, including the generation of additional attributes and generation of synthetic data. We use a deep neural network model of the annual count number, and we report encouraging early result. In the conclusion, we discuss the next steps of this research.
Tomasz Tajmajer, Malwina Splawinska, Piotr Wasilewski, Stan Matwin
IEEE BigData4
2016 Identifying Fishing Activities from AIS Data with Conditional Random Fields
abstract
Fishing activity detection is important for fishery management to maintain abundant oceans.This paper presents a novel approach to identifying fishing activities from Automatic Identification System (AIS) data using Conditional Random Fields (CRFs).CRFs are popular for solving structured prediction problems such as sequence labeling in natural language processing.To model the conditional probability distributions that can identify fishing activities of the vessel points, we treat attributes of vessel points as observed variables and the fishing and non-fishing labels as hidden variables.We present three experiments and two comparisons to demonstrate the stability and effectiveness of the resulting models.
Baifan Hu, Xiang Jiang 0001, Erico N. de Souza, Ronald Pelot, Stan Matwin
FedCSIS5
2016 Big Water Meets Big Data: Analytics of the AIS Ship Tracking Data
abstract
IN THIS presentation we will argue that Big Data technologies can contribute in an important way to an unprecedented breakthrough in the understanding of oceans as a factor in climate change, in transportation, and in supplying humanity with its important food component.
Stan Matwin
FedCSIS1
2016 Using Classification in the Preprocessing Step on Wi-Fi Data as an Enabler of Physical Analytics
abstract
In this research we present a remote localization technique as an essential preprocessing step to enable Physical Analytics in the retail and hospitality sector. We studied two crowdsourced Wi-Fi data sources as potential inputs for fingerprinting-based positioning systems. These sources are non intrusively crowdsourced and can be easily acquired at almost any retail store. We evaluated our hypothesis on large, real-world datasets using statistical and machine learning techniques. With the use of these sources, we built a fingerprinting-based positioning system that achieved reliable and accurate physical positioning results. Our method is capable of estimating positions without any prior knowledge about the store plan or the antennas' location with, only one off-the-shelf access point. Unlike other positioning techniques, instead of estimating a relative position of a device from an antenna, we provide an absolute position for a device as inside or outside of a venue without making any assumption about the site nor the positioned devices. To investigate its practicality, we evaluated our method with datasets of five different stores.
Hossein Sarshar, Stan Matwin
ICMLA2
2016 Nonlinear Dimensionality Reduction by Unit Ball Embedding (UBE) and Its Application to Image Clustering
abstract
The paper presents an unsupervised nonlinear dimensionality reduction algorithm called Unit Ball Embedding (UBE). Many high-dimensional data, such as object or face images, lie on a union of low-dimensional subspaces which are often called manifolds. The proposed method is able to learn the structure of these manifolds by exploiting the local neighborhood arrangement around each point. It tries to preserve the local structure by minimizing a cost function that measures the discrepancy between similarities of points in the high-dimensional data and similarities of points in the low-dimensional embedding. The cost function is proposed in a way that it provides a hyper-spherical representation of points in the low-dimensional embedding. Visualizations of our method on different datasets show that it creates large gaps between the manifolds and maximizes the separability of them. As a result, it notably improves the quality of unsupervised machine learning tasks (e.g. clustering). UBE is successfully applied on image datasets such as faces, handwritten digits, and objects and the results of clustering on the low-dimensional embedding show significant improvement over existing dimensionality reduction methods.
Behrouz Haji Soleimani, Stan Matwin
ICMLA2
2016 Fast Unsupervised Online Drift Detection Using Incremental Kolmogorov-Smirnov Test
abstract
Data stream research has grown rapidly over the last decade. Two major features distinguish data stream from batch learning: stream data are generated on the fly, possibly in a fast and variable rate; and the underlying data distribution can be non-stationary, leading to a phenomenon known as concept drift. Therefore, most of the research on data stream classification focuses on proposing efficient models that can adapt to concept drifts and maintain a stable performance over time. However, specifically for the classification task, the majority of such methods rely on the instantaneous availability of true labels for all already classified instances. This is a strong assumption that is rarely fulfilled in practical applications. Hence there is a clear need for efficient methods that can detect concept drifts in an unsupervised way. One possibility is the well-known Kolmogorov-Smirnov test, a statistical hypothesis test that checks whether two samples differ. This work has two main contributions. The first one is the Incremental Kolmogorov-Smirnov algorithm that allows performing the Kolmogorov-Smirnov hypothesis test instantly using two samples that change over time, where the change is an insertion and/or removal of an observation. Our algorithm employs a randomized tree and is able to perform the insertion and removal operations in O(log N) with high probability and calculate the Kolmogorov-Smirnov test in O(1), where N is the number of sample observations. This is a significant speed-up compared to the O(N log N) cost of the non-incremental implementation. The second contribution is the use of the Incremental Kolmogorov-Smirnov test to detect concept drifts without true labels. Classification algorithms adapted to use the test rely on a limited portion of those labels just to update the classification model after a concept drift is detected.
Denis Moreira dos Reis, Peter A. Flach, Stan Matwin, Gustavo Batista
KDD3
2016 simDEF: definition-based semantic similarity measure of gene ontology terms for functional similarity analysis of genes
abstract
MOTIVATION: Measures of protein functional similarity are essential tools for function prediction, evaluation of protein-protein interactions (PPIs) and other applications. Several existing methods perform comparisons between proteins based on the semantic similarity of their GO terms; however, these measures are highly sensitive to modifications in the topological structure of GO, tend to be focused on specific analytical tasks and concentrate on the GO terms themselves rather than considering their textual definitions. RESULTS: We introduce simDEF, an efficient method for measuring semantic similarity of GO terms using their GO definitions, which is based on the Gloss Vector measure commonly used in natural language processing. The simDEF approach builds optimized definition vectors for all relevant GO terms, and expresses the similarity of a pair of proteins as the cosine of the angle between their definition vectors. Relative to existing similarity measures, when validated on a yeast reference database, simDEF improves correlation with sequence homology by up to 50%, shows a correlation improvement >4% with gene expression in the biological process hierarchy of GO and increases PPI predictability by > 2.5% in F1 score for molecular function hierarchy. AVAILABILITY AND IMPLEMENTATION: Datasets, results and source code are available at http://kiwi.cs.dal.ca/Software/simDEF CONTACT: [email protected] or [email protected] SUPPLEMENTARY INFORMATION: Supplementary data are available at Bioinformatics online.
Ahmad Pesaranghader, Stan Matwin, Marina Sokolova, Robert G. Beiko
Bioinform.2
2016 Ensembles of label noise filters: a ranking approach
Luís Paulo F. Garcia, Ana Carolina Lorena, Stan Matwin, André C. P. L. F. de Carvalho
Data Min. Knowl. Discov.3
2015 Sanitization of Call Detail Records via Differentially-Private Bloom Filters
Mohammad Alaggan, Sébastien Gambs, Stan Matwin, Mohammed Tuhin
DBSec3
2015 Ship movement anomaly detection using specialized distance measures
Erico N. de Souza, Casey Hilliard, Stan Matwin
FUSION4
2015 Anomaly detection in maritime data based on geometrical analysis of trajectories
Behrouz Haji Soleimani, Erico N. de Souza, Casey Hilliard, Stan Matwin
FUSION4
2015 MUSETS: Diversity-Aware Web Query Suggestions for Shortening User Sessions
Marcin Sydow, Cristina Ioana Muntean, Franco Maria Nardini, Stan Matwin, Fabrizio Silvestri
ISMIS4
2015 A framework for a privacy-aware feature selection evaluation measure
abstract
Feature selection is based on the notion that redundant and/or irrelevant variables bring no additional information about the data classes and can be considered noise for the predictor. As a result, the total feature set of a dataset could be minimized to only few features containing maximum discrimination information about the class. Classification accuracy is used as the evaluation measure in guiding the feature selection process. At the same time, such measure does not take into account the privacy of the resulting dataset. In this work, we incorporate privacy considerations into the very evaluation measure that is used to evaluate and select feature subsets. We consider privacy “during” the feature selection process and as such introduce a two-dimensional measure in automatic feature selection that takes into account both objectives of privacy and efficacy (e.g. accuracy) simultaneously and provides the data user with the flexibility of trading-off one for another.
Yasser Jafer, Stan Matwin, Marina Sokolova
PST2
2015 GRASP-UTS: an algorithm for unsupervised trajectory segmentation
abstract
An important problem in the knowledge discovery of trajectories is segmentation in subparts (subtrajectories). Existing algorithms for trajectory segmentation generally use explicit criteria to create segments. In this article, we propose segmenting trajectories using a novel, unsupervised approach, in which no explicit criteria are predetermined. To achieve this, we apply the Minimum Description Length (MDL) principle, which can measure homogeneity in the trajectory data by computing the similarities between landmarks (i.e. representative points of the trajectory) and the points in their neighborhood. Based on the homogeneity measurements, we propose an algorithm named Greedy Randomized Adaptive Search Procedure for Unsupervised Trajectory Segmentation (GRASP-UTS), which is a meta-heuristic that builds segments by modifying the number and positions of landmarks. We perform experiments with GRASP-UTS in two real-world datasets, using segment purity and coverage metrics to evaluate its efficiency. Experimental results demonstrate that GRASP-UTS correctly segmented sample trajectories without predetermined criteria, by computing similarities between landmarks and other trajectory points.
Amílcar Soares Júnior 0001, Bruno Moreno, Valéria Cesário Times, Stan Matwin, Lucídio A. F. Cabral
Int. J. Geogr. Inf. Sci.4
2014 Challenges of Composing XACML Policies
abstract
XACML (extensible Access Control Mark-up Language) is a declarative access control policy language that has unique language constructs for factoring out access control logic. These constructs make the specification of access control requirements more compact than decision trees, which can be considered the most natural way to specify access control logic. However, many publications report that performance of XACML policy decision point (PDP) engines is greatly affected by the structure of policy sets. In this paper we first explore the causes of potential inefficiencies of XACML policies, and then propose a procedure to re-structure policy sets vertically by modifying the distribution of access control logic among different configurations of structural elements, in order to remove much of this inefficiency. This is in contrast to horizontal re-ordering of constant structural elements. Our procedure can be applied regardless of the complexity and structure of the original policy set. We also compare the performance of policy sets that take advantage of the expressive power of XACML targets to decision trees.
Bernard Stepien, Amy P. Felty, Stan Matwin
ARES3
2014 Privacy-aware filter-based feature selection
abstract
A large amount of digital information collected and stored in databases creates new opportunities for knowledge discovery and data mining. The datasets, however, may contain personally identifiable information that needs to be protected. With high dimensionality of many large datasets, dimensionality reduction such as feature selection becomes indispensible. In this work, we aim at incorporating privacy into the very process of feature selection and as such, propose a privacy-aware filter-based feature selection method (PF-IFR). Our method enables data custodians to define a trade-off measure for controlling the amount of privacy and efficacy using filter-based feature selection techniques.
Yasser Jafer, Stan Matwin, Marina Sokolova
IEEE BigData2
2014 Knowledge-based clustering of ship trajectories using density-based approach
abstract
Maritime traffic monitoring is an important aspect of safety and security, particularly in close to port operations. While there is a large amount of data with variable quality, decision makers need reliable information about possible situations or threats. To address this requirement, we propose extraction of normal ship trajectory patterns that builds clusters using, besides ship tracing data, the publicly available International Maritime Organization (IMO) rules. The main result of clustering is a set of generated lanes that can be mapped to those defined in the IMO directives. Since the model also takes non-spatial attributes (speed and direction) into account, the results allow decision makers to detect abnormal patterns - vessels that do not obey the normal lanes or sail with higher or lower speeds.
Erico N. de Souza, Stan Matwin, Marcin Sydow
IEEE BigData3
2014 Vessel route anomaly detection with Hadoop MapReduce
abstract
We present a two-level approach to detect abnormal activities for vessels' routes. The data is obtained from the Automatic Identification System (AIS) which is required to be installed on vessels over specific gross tonnage. In the first level, we develope a Clustering algorithm: Density-based Spatial Clustering of Applications with Noise considering Speed and Direction (DBSCAN_SD). This algorithm is applied to pre-cluster the data points. Using domain knowledge in maritime, experts adjust the results produced by DBSCAN_SD with extra features. In this way, we get the optimal labeling result about whether a data point is normal or abnormal. In the second level, we use the labeled data generated in the first level to train the Parallel Meta-Learning (PML) algorithm on Hadoop. The results show that both accuracy and time complexity results are improved when we increase the number of nodes in a cluster.
Xiaoguang Wang 0001, Xuan Liu 0007, Erico N. de Souza, Stan Matwin
IEEE BigData5
2014 A distributed instance-weighted SVM algorithm on large-scale imbalanced datasets
abstract
When huge amounts of data are processed to extract knowledge, the situation becomes a challenge because the data mining techniques are not adapted to the space and time requirements. This challenge is more significant when the data is class imbalanced. Like many other machine learning algorithms, the success of the support vector machine (SVM) is limited when it is applied to the problem of learning from imbalanced datasets, especially on big datasets. In this paper, we are trying to apply an instance-weighted variant of the SVM, with a parallel Meta-learning algorithm using MapReduce, to deal with the big data class imbalance problem. We develop a symmetric weight boosting method to optimize the instance-weighted SVM. Experimental results on benchmark datasets and real application big datasets show that the proposed algorithm not only is effective on big data class imbalanced problem, but also reduces the training computational complexity significantly when the number of computing nodes increases.
Xiaoguang Wang 0001, Xuan Liu 0007, Stan Matwin
IEEE BigData3
2014 Applying instance-weighted support vector machines to class imbalanced datasets
abstract
Learning with class imbalance is always a challenging task in many real world applications such as the Internet, surveillance, security, and finance. Like many other successful machine learning algorithms, the success of the support vector machine (SVM) is limited when it is applied to the problem of learning from imbalanced datasets. SVM with different error costs has been widely used to deal with the class imbalanced problem. In this paper, we are trying to apply an instance-weighted variant of the SVM with both 1-norm and 2-norm format to deal with the class imbalance problem. We develop an asymmetric boosting method on the weights of the tradeoff parameters to optimize the instance-weighted SVM. The experimental results on the benchmark datasets show that the proposed algorithm is effective on the class imbalanced problem.
Xiaoguang Wang 0001, Xuan Liu 0007, Stan Matwin, Nathalie Japkowicz
IEEE BigData3
2014 A multi-view two-level classification method for generalized multi-instance problems
abstract
Multi-instance (MI) learning is different than standard propositional classification, as it uses a set of bags containing many instances as input. While the instances in each bag are not labeled, the bags themselves are, as positive or negative. In this paper, we present a novel multi-view, two-level classification framework to address the generalized multi-instance problems. We first apply supervised and unsupervised learning methods to transform a MI dataset into a multi-view, single meta-instance dataset. Then we develop a multi-view learning approach that can integrate the information acquired by individual view learners on the meta-instance dataset from the previous step, and construct a final model. Our empirical studies show that the proposed method performs well compared to other popular MI learning methods.
Xiaoguang Wang 0001, Xuan Liu 0007, Stan Matwin, Nathalie Japkowicz
IEEE BigData3
2014 Automatic Target Recognition using multiple-aspect sonar images
abstract
Automatic Target Recognition (ATR) methods have been successfully applied to detect possible objects or regions of interest in sonar imagery. It is anticipated that the additional information obtained from additional views of an object should improve the classification performance over single-aspect classification. In this paper the detection of mine-like objects (MLO) on the seabed from multiple side-scan sonar views is considered. We transform the multiple-aspect classification problem into a multiple-instance learning problem and present a framework based upon the concepts of multiple-instance classifiers. Moreover, we present another framework based upon the Dempster-Shafer (DS) concept of fusion from single-view classifiers. Our experimental results indicate that both the presented frameworks can be successfully used in mine-like object classification.
Xiaoguang Wang 0001, Xuan Liu 0007, Nathalie Japkowicz, Stan Matwin, Bao Nguyen
IEEE Congress on Evolutionary Computation4
2014 Processing OLAP Queries over an Encrypted Data Warehouse Stored in the Cloud
Claudivan Cruz Lopes, Valéria Cesário Times, Stan Matwin, Ricardo Rodrigues Ciferri, Cristina Dutra de Aguiar Ciferri
DaWaK3
2014 Dream sentiment analysis using second order soft co-occurrences (SOSCO) and time course representations
Amir Hossein Razavi, Stan Matwin, Joseph De Koninck, Ray Reza Amini
J. Intell. Inf. Syst.2
2013 Meta-learning for large scale machine learning with MapReduce
abstract
We have entered the big data age. Knowledge extraction from massive data is becoming more and more rewarding and urgent. MapReduce has provided a feasible framework for programming machine learning algorithms in Map and Reduce functions. The relatively simple programming interface has helped to solve machine learning algorithms' scalability problems. However, this framework suffers from an obvious weakness: it does not support iterations. This makes those algorithms requiring iterations difficult to fully explore the efficiency of MapReduce. In this paper, we propose to apply Meta-learning programmed with MapReduce to avoid parallelizing machine learning algorithms while also improving their scalability to big datasets. The experiments conducted on Hadoop fully distributed mode on Amazon EC2 demonstrate that our algorithm PML reduces the training computational complexity significantly when the number of computing nodes increases while gaining smaller error rates than those on one single node. The comparison of PML with the contemporary parallelized AdaBoost algorithm: AdaBoost.PL shows that PML has lower error rates.
Xuan Liu 0007, Xiaoguang Wang 0001, Stan Matwin, Nathalie Japkowicz
IEEE BigData3
2013 Inner Ensembles: Using Ensemble Methods Inside the Learning Algorithm
Houman Abbasian, Chris Drummond, Nathalie Japkowicz, Stan Matwin
ECML/PKDD (3)4
2013 HALT: Hybrid anonymization of longitudinal transactions
abstract
The objective of this study is to develop a privacy-preserving framework for publishing longitudinal health data. Longitudinal health data contain valuable clinical information about patients collected over time and there is an increasing demand to use these data in medical and clinical research. However, since longitudinal health data contain personal information, improper release and usage of such data may violate privacy of patients. In this paper, we study the challenges of publishing longitudinal health data and propose a privacy notion, called (K,C)P-privacy together with a hybrid anonymization algorithm. This work is the first attempt to anonymize multidimensional longitudinal data to prevent both identity disclosure and attribute disclosure. Experimental results on the synthetic data demonstrate the effectiveness of our approach.
Morvarid Sehatkar, Stan Matwin
PST2
2012 An Algorithm for Compression of XACML Access Control Policy Sets by Recursive Subsumption
abstract
Policy administrators increasingly face the challenge of managing large policy bases, and this need becomes more acute with the growing importance of fine-grained access control models, e.g. ABAC. We have shown in previous work that simple policies mostly based on conjunctions of single attribute conditions, can be merged into more complex conditions composed of combinations of conjunctions and disjunctions of attribute/value pairs. Here, we propose an algorithm that uses a recursive process of subsumption applied on the original set of policies that results in a complex and short policy, often significantly compressing the original policy. We present this algorithm, and discuss the advantages of this approach, i.e. its performance when working on the policy structures encountered in real-life policy sets, its scalability, and its ability to deal with large alphabet sets.
Bernard Stepien, Stan Matwin, Amy P. Felty
ARES2
2012 Hierarchical Classification Approach to Emotion Recognition in Twitter
abstract
Twitter is a micro logging service where worldwide users publish and share their feelings. However, sentiment analysis for Twitter messages ('tweets') is regarded as a challenging problem because tweets are short and informal. In this paper, we apply a novel approach for automatically classifying the sentiment and emotions of Twitter messages. These messages are hierarchically categorized on basis of neutrality, polarity (positive or negative) and presence of various emotions. The hierarchical classification approach (HC) is a specialization of the well-known flat classification task. The main difference between them is that when using HC, examples must be assigned to classes organized in a previously defined class hierarchy, while traditional flat classification does not take into account the hierarchical information. We applied our model to posts collected from Twitter regarding the 2011 season of the Brazilian Soccer League. Our results show that the proposed method outperforms the corresponding flat approach in emotion classification.
Ahmed Ali Abdalla Esmin, Roberto L. de Oliveira Jr., Stan Matwin
ICMLA (2)3
2012 Using SVM with Adaptively Asymmetric MisClassification Costs for Mine-Like Objects Detection
abstract
Real world data mining applications such as Mine Countermeasure Missions (MCM) involve learning from imbalanced data sets, which contain very few instances of the minority classes and many instances of the majority class. For instance, the number of naturally occurring clutter objects (such as rocks) that are detected typically far outweighs the relatively rare event of detecting a mine. In this paper we propose support vector machine with adaptive asymmetric misclassification costs (instances weighted) to solve the skewed vector spaces problem in mine countermeasure missions. Experimental results show that the given algorithm could be used for imbalanced sonar image data sets and makes an improvement in prediction performance.
Xiaoguang Wang 0001, Hang Shao 0003, Nathalie Japkowicz, Stan Matwin, Xuan Liu 0007, Alex Bourque, Bao Nguyen
ICMLA (2)4
2012 Data Clustering Using Hybrid Particle Swarm Optimization
Ahmed Ali Abdalla Esmin, Stan Matwin
IDEAL2
2012 Improving multi-view semi-supervised learning with agreement-based sampling
abstract
Semi-supervised learning algorithms are widely used to build strong learning models when there are not enough labeled instances. Some semi-supervised learning algorithms, including co-training and co-EM, use multiple views to build learning models. P
Jelber Sayyad-Shirabad, Stan Matwin, Jiang Su
Intell. Data Anal.3
2012 Direct comparison between support vector machine and multinomial naive Bayes algorithms for medical abstract classification
abstract
In 2011 Matwin et al published a letter to JAMIA entitled ‘Performance of SVM and Bayesian classifiers on the systematic review classification task’.1 This letter continued a discussion on the relative benefits of using support vector machine (SVM) and Bayesian techniques for performing systematic reviews.2–4 In particular, it was suggested that the running time of algorithms must be taken into consideration when comparing their performances as it becomes very important for large datasets. Following up on this idea, we attempted to directly compare the performance of a Bayesian method with the SVM algorithm used by Cohen in his original work.4 The same SVM system (SVMlight5) with the same parameters as was …
Stan Matwin, Vera Sazonova
J. Am. Medical Informatics Assoc.1
2011 Large Scale Text Classification using Semisupervised Multinomial Naive Bayes
Jiang Su, Jelber Sayyad Shirab, Stan Matwin
ICML3
2011 Smooth Receiver Operating Characteristics (smROC) Curves
William Klement, Peter A. Flach, Nathalie Japkowicz, Stan Matwin
ECML/PKDD (2)4
2011 Advantages of a non-technical XACML notation in role-based models
abstract
As applications requiring access control and the environments in which they operate in become more complex, an acute need for better ways to manage access control rules has arisen. Decentralized access control, for example, requires sophisticated techniques for conflict detection and for managing rules across multiple applications with different rule formats. XACML is an OASIS standard whose interoperability qualities help in solving the latter problem. XACML has its own limitations, however. In particular, although it has the expressive power to specify very complex conditions like those needed in the ABAC (Attribute Based Access Control) model, users tend to avoid using its full power because of its verbosity. In this paper, we show how a non-technical notation we have proposed in our earlier work resolves this difficulty and allows users to work with a very compact and readable form of XACML rules, thus allowing them to take advantage of XACML's full expressive power. This expressive power can be exploited to write policies that are better organized. It can be easier, for example, to write a single possibly complex rule to cover a particular aspect of a policy as opposed to distributing the complexity over several rules with simpler conditions. As a result, policies are smaller, more compact, and easier to understand. Policy development becomes more manageable, allowing users to concentrate on the more central issue of choosing the model (RBAC, ABAC, PBAC or other) that is best suited to a particular application and policy. We show that using the full expressive power to better organize policies has a significant positive impact on PDP performance.
Bernard Stepien, Stan Matwin, Amy P. Felty
PST2
2011 Exploiting the systematic review protocol for classification of medical abstracts
Oana Frunza, Diana Inkpen, Stan Matwin, William Klement, Peter O'Blenis
Artif. Intell. Medicine3
2011 Annotation concept synthesis and enrichment analysis: a logic-based approach to the interpretation of high-throughput experiments
abstract
MOTIVATION: Annotation Enrichment Analysis (AEA) is a widely used analytical approach to process data generated by high-throughput genomic and proteomic experiments such as gene expression microarrays. The analysis uncovers and summarizes discriminating background information (e.g. GO annotations) for sets of genes identified by experiments (e.g. a set of differentially expressed genes, a cluster). The discovered information is utilized by human experts to find biological interpretations of the experiments. However, AEA isolates and tests for overrepresentation only individual annotation terms or groups of similar terms and is limited in its ability to uncover complex phenomena involving relationship between multiple annotation terms from various knowledge bases. Also, AEA assumes that annotations describe the whole object of interest, which makes it difficult to apply it to sets of compound objects (e.g. sets of protein-protein interactions) and to sets of objects having an internal structure (e.g. protein complexes). RESULTS: We propose a novel logic-based Annotation Concept Synthesis and Enrichment Analysis (ACSEA) approach. ACSEA fuses inductive logic reasoning with statistical inference to uncover more complex phenomena captured by the experiments. We evaluate our approach on large-scale datasets from several microarray experiments and on a clustered genome-wide genetic interaction network using different biological knowledge bases. The discovered interpretations have lower P-values than the interpretations found by AEA, are highly integrative in nature, and include analysis of quantitative and structured information present in the knowledge bases. The results suggest that ACSEA can boost effectiveness of the processing of high-throughput experiments. CONTACT: [email protected].
Mikhail Jiline, Stan Matwin, Marcel Turcotte
Bioinform.2
2011 Letter: Performance of SVM and Bayesian classifiers on the systematic review classification task
abstract
We are grateful to Professor Cohen for his letter and clarification of the support vector machine algorithm (SVM) results (in press). We agree that the results he supplies fill a gap in our paper. We could not have performed this comparison in our paper, as the first version was written prior to the publication of his own article,1 which in any case, as Dr Cohen points out, did not include the SVM results in terms of within-groups sum of squares (WSS). We would like, however, to be cautious about the broader conclusion from the results in table 1 of Dr Cohen's letter. While they are indeed superior to our factorized version of the complement naïve Bayes (FCNB) approach, they do not necessarily indicate the general superiority of the SVM classifier over the Bayesian methods. Our implementation was an extension of the classical naïve Bayes classifier for the kind of imbalanced data likely to be encountered when classifying abstracts for a systematic review. New exciting developments in the area of Bayesian text classification, such as discriminative multinomial naïve Bayes2 and latent Dirichlet allocation,3 are more than likely to improve our results significantly. This is the topic of our current research. Moreover, we would like to bring up another aspect related to the use of SVM versus Bayesian approaches as regards the running time of the algorithms. It is well known that SVM is significantly slower than the Bayesian methods. While this may be acceptable for the data used in Cohen1 and in Cohen et al4 and in our paper5 which have the order of 103 abstracts, it may not be the case for datasets orders of larger magnitude. However, datasets with the order of 104 abstracts are, as far as we know, common in the practice of systematic review production. When working recently6 with such large datasets we attempted to use SVM, but the running times of the train/test protocols on the computers available to us were unacceptably long. Finally, we want to comment briefly on the performance of FCNB/weight engineering (WE) on the Opioids dataset. As this dataset has a very high imbalance (very low inclusion rate), it is encouraging to see that the FCNB/WE method, which, as we discuss in our paper, has been engineered specifically to work well with such imbalanced data, indeed performs better than the standard SVM. We agree with Professor Cohen that application of the text mining methods developed specifically for imbalanced data is an interesting topic of research (see eg, Zhuang and Dai7). None. Not commissioned; internally peer reviewed.
Stan Matwin, Alexandre Kouznetsov, Diana Inkpen, Oana Frunza, Peter O'Blenis
J. Am. Medical Informatics Assoc.1
2010 Strategies for Reducing Risks of Inconsistencies in Access Control Policies
abstract
Managing access control policies is a complex task. We argue that much of the complexity is unnecessary and mostly due to historical reasons. There are number of legacy policy specification languages that all have limitations of some kind. These limitations have forced policy implementers to use certain styles of writing policies, often resulting in inconsistencies. The detection and resolution of these inconsistencies has been widely researched and many solutions have been found. This paper highlights new possibilities for avoiding inconsistencies, drawing on the expressive power allowed in the condition field of rules in modern languages such as XACML. In particular, we show that making use of this expressive power has many advantages-it allows organizations to considerably reduce the number of policies and rules required to protect company assets; it provides improved views and summaries of related policies; and it allows increased scalability of analysis tools, such as tools that detect inconsistencies and tools that perform audits to verify compliance to regulations. Such tools are increasingly important in the current environment where the number of regulations governing company security continues to grow. In addition, we show how our user-friendly representation for the XACML language facilitates the use of complex conditions by increasing their readability. This increased readability has the additional benefit of allowing non-technical users to better understand the implementation of their policies. These factors all contribute to a lower risk of inconsistencies in policies.
Bernard Stepien, Stan Matwin, Amy P. Felty
ARES2
2010 Classification of Dreams Using Machine Learning
Stan Matwin, Joseph De Koninck, Amir Hossein Razavi, Ray Reza Amini
ECAI1
2010 Classifying data from protected statistical datasets
Javier Herranz, Stan Matwin, Jordi Nin, Vicenç Torra
Comput. Secur.2
2010 A new algorithm for reducing the workload of experts in performing systematic reviews
abstract
OBJECTIVE: To determine whether a factorized version of the complement naïve Bayes (FCNB) classifier can reduce the time spent by experts reviewing journal articles for inclusion in systematic reviews of drug class efficacy for disease treatment. DESIGN: The proposed classifier was evaluated on a test collection built from 15 systematic drug class reviews used in previous work. The FCNB classifier was constructed to classify each article as containing high-quality, drug class-specific evidence or not. Weight engineering (WE) techniques were added to reduce underestimation for Medical Subject Headings (MeSH)-based and Publication Type (PubType)-based features. Cross-validation experiments were performed to evaluate the classifier's parameters and performance. MEASUREMENTS: Work saved over sampling (WSS) at no less than a 95% recall was used as the main measure of performance. RESULTS: The minimum workload reduction for a systematic review for one topic, achieved with a FCNB/WE classifier, was 8.5%; the maximum was 62.2% and the average over the 15 topics was 33.5%. This is 15.0% higher than the average workload reduction obtained using a voting perceptron-based automated citation classification system. CONCLUSION: The FCNB/WE classifier is simple, easy to implement, and produces significantly better results in reducing the workload than previously achieved. The results support it being a useful algorithm for machine-learning-based automation of systematic reviews of drug class efficacy for disease treatment.
Stan Matwin, Alexandre Kouznetsov, Diana Inkpen, Oana Frunza, Peter O'Blenis
J. Am. Medical Informatics Assoc.1
2008 Engineering of a Clinical Decision Support Framework for the Point of Care Use
Szymon Wilk, Wojtek Michalowski, Dympna O'Sullivan, Ken Farion, Stan Matwin
AMIA5
2008 Discriminative parameter learning for Bayesian networks
abstract
Bayesian network classifiers have been widely used for classification problems. Given a fixed Bayesian network structure, parameters learning can take two different approaches: generative and discriminative learning. While generative parameter learning is more efficient, discriminative parameter learning is more effective. In this paper, we propose a simple, efficient, and effective discriminative parameter learning method, called Discriminative Frequency Estimate (DFE), which learns parameters by discriminatively computing frequencies from data. Empirical studies show that the DFE algorithm integrates the advantages of both generative and discriminative learning: it performs as well as the state-of-the-art discriminative parameter learning method ELR in accuracy, but is significantly more efficient.
Jiang Su, Harry Zhang, Charles Ling 0001, Stan Matwin
ICML4
2008 Generation of Globally Relevant Continuous Features for Classification
Sylvain Létourneau, Stan Matwin, Fazel Famili
PAKDD2
2008 Proper Model Selection with Significance Test
Charles Ling 0001, Harry Zhang, Stan Matwin
ECML/PKDD (1)4
2007 Privacy-preserving collaborative association rule mining
Justin Zhijun Zhan, Stan Matwin, LiWu Chang
J. Netw. Comput. Appl.2
2006 Evaluating Misclassifications in Imbalanced Data
William Elazmeh, Nathalie Japkowicz, Stan Matwin
ECML3
2006 Privacy-Oriented Collaborative Learning Systems
abstract
This paper addresses the problem of data sharing among multiple parties in the following scenario: without disclosing their private data to each other, multiple parties, each having a private data set, want to collaboratively construct support vector machines using a linear, polynomial or sigmoid kernel function. To tackle this problem, we develop a secure protocol for multiple parties to conduct the desired computation. In our solution, multiple parties use homomorphic encryption and digital envelope techniques to exchange the data while keeping it private. All the parties are treated symmetrically: they all participate in the encryption and in the computation involved in learning support vector machines.
Justin Zhijun Zhan, Stan Matwin
SMC2
2006 Parallelizing Feature Selection
Jerffeson Teixeira de Souza, Stan Matwin, Nathalie Japkowicz
Algorithmica2
2005 Privacy-Sensitive Information Flow with JML
Guillaume Dufay, Amy P. Felty, Stan Matwin
CADE3
2005 Privacy-Preserving Collaborative Association Rule Mining
Justin Zhijun Zhan, Stan Matwin, LiWu Chang
DBSec2
2005 Private Mining of Association Rules
Justin Zhijun Zhan, Stan Matwin, LiWu Chang
ISI2
2005 STochFS: A Framework for Combining Feature Selection Outcomes Through a Stochastic Process
Jerffeson Teixeira de Souza, Nathalie Japkowicz, Stan Matwin
PKDD3
2005 PEEP- Privacy Enforcement in Email Project
Narjès Boufaden, William Elazmeh, Stan Matwin, Nathalie Japkowicz
PST3
2004 Privacy-Preserving Multi-Party Decision Tree Induction
abstract
Data mining is a process to extract useful knowledge from large amounts of data. To conduct data mining, we often need to collect data. However, sometimes the data are distributed among various parties. Privacy concerns may prevent the parties from directly sharing the data and some types of information about the data. How multiple parties can collaboratively conduct data mining without breaching data privacy presents a grand challenge. In this paper, we propose a randomisation-based scheme for multi-parties to conduct data mining computations without disclosing their actual data sets to each other.
Justin Zhijun Zhan, LiWu Chang, Stan Matwin
DBSec3
2004 A formal approach to using data distributions for building causal polytree structures
M. Ouerd, B. John Oommen, Stan Matwin
Inf. Sci.3
2004 Filtering Multi-Instance Problems to Reduce Dimensionality in Relational Learning
Érick Alphonse, Stan Matwin
J. Intell. Inf. Syst.2
2004 Guest Editorial
Stan Matwin
Mach. Learn.1
2003 Mining the Maintenance History of a Legacy Software System
abstract
A considerable amount of system maintenance experience can be found in bug tracking and source code configuration management systems. Data mining and machine learning techniques allow one to extract models from past experience that can be used in future predictions. By mining the software change record, one can therefore generate models that can be used in future maintenance activities. In this paper, we present an example of such a model that represents a relation between pairs of files and show how it can be extracted from the software update records of a real world legacy system. We show how different sources of data can be used to extract sets of features useful in describing this model, as well as how results are affected by these different feature sets and their combinations. Our best results were obtained from text-based features, i.e. those extracted from words in the problem reports as opposed to syntactic structures in the source code.
Jelber Sayyad-Shirabad, Timothy Lethbridge, Stan Matwin
ICSM3
2002 Feature Subset Selection and Inductive Logic Programming
Érick Alphonse, Stan Matwin
ICML2
2002 A Dynamic Approach to Dimensionality Reduction in Relational Learning
Érick Alphonse, Stan Matwin
ISMIS2
2002 Privacy-Oriented Data Mining by Proof Checking
Amy P. Felty, Stan Matwin
PKDD2
2002 Data generation for testing DAG-structured Bayesian networks
abstract
In this paper we have solved the open problem of generating random vectors when the underlying structure obeyed by the dependence graph is a Directed Acyclic Graph (DAG). To the best of our knowledge, our work is of a pioneering sort. We present a formal strategy for the case when the DAG structure and the marginals are given. The paper presents the formal algorithm, proves its correctness, derives its complexity, and presents examples for both artificial data, and for date that is intended to artificially populate a medical database. The method has also been used for testing the ALARM network.
Ouerd Messaouda, B. John Oommen, Stan Matwin
SMC3
2001 Supporting Software Maintenance by Mining Software Update Records
abstract
This paper describes the application of inductive methods to data extracted from both source code and software maintenance records. We would like to extract relations that indicate which files in, a legacy system, are relevant to each other in the context of program maintenance. We call these relations maintenance relevance relations. Such a relation could reveal existing complex interconnections among files in the system, which may in turn be useful in comprehending them. We discuss the methodology we employed to extract and evaluate the relations. We also point out some of the problems we encountered and our solutions for them. Finally, we present some of the results that we have obtained.
Jelber Sayyad-Shirabad, Timothy Lethbridge, Stan Matwin
ICSM3
2001 GENEX: a tool for testing in ILP
abstract
Abstract Inductive Logic Programming (ILP) is a field of research in which logic programs are synthesized (learned) from examples. There is a need for a variety of large datasets to evaluate ILP learners. The paper describes an example generator program GENEXthat provides the user with a language in which to describe large sets of structured examples. GENEXis available on the WWW. Copyright © 2001 John Wiley & Sons, Ltd.
Johanne Morin, Stan Matwin
Softw. Pract. Exp.2
2000 Learning Relational Clichés with Contextual LGG
Johanne Morin, Stan Matwin
ISMIS2
2000 A Formalism for Building Causal Polytree Structures Using Data Distributions
M. Ouerd, B. John Oommen, Stan Matwin
ISMIS3
1999 Feature Engineering for Text Classification
Sam Scott, Stan Matwin
ICML2
1999 Machine Learning Method for Software Quality Model Building
Mauricio Amaral de Almeida, Stan Matwin
ISMIS2
1998 A Normalization Method for Contextual Data: Experience from a Large-Scale Application
Sylvain Létourneau, Stan Matwin, Fazel Famili
ECML2
1998 Machine Learning for the Detection of Oil Spills in Satellite Radar Images
Miroslav Kubat, Robert C. Holte, Stan Matwin
Mach. Learn.3
1997 Learning When Negative Examples Abound
Miroslav Kubat, Robert C. Holte, Stan Matwin
ECML3
1997 Addressing the Curse of Imbalanced Training Sets: One-Sided Selection
Miroslav Kubat, Stan Matwin
ICML2
1997 Improving Image Classification by Combining Statistical, Case-Based and Model Based Prediction Methods
abstract
Evidence for image classification can be considered to come from two sources: traditional statistical information derived algorithmically from image data, and model-based evidence arising from previous expertise and experience in a given application
Peter Clark, Cao Feng, Stan Matwin, Ko Fung
Fundam. Informaticae3
1995 A WordNet-based Algorithm for Word Sense Disambiguation
Stan Szpakowicz, Stan Matwin
IJCAI3
1994 Inverting Implication with Small Training Sets
David W. Aha, Stephane Lapointe, Charles Ling 0001, Stan Matwin
ECML4
1994 Learning Recursive Relations with Randomly Selected Small Training Sets
David W. Aha, Stephane Lapointe, Charles Ling 0001, Stan Matwin
ICML4
1994 Reuse of Modular Software with Automated Comment Analysis
abstract
Presents an approach to software reuse based on automatic analysis of program comments. First, domain terms are extracted from the comments in a semi-automatic procedure. Those terms are then used in an off-the-shelf case-based reasoning (CBR) system as indices for software modules. Noun phrases extracted from comments in LINPACK (a widely distributed linear algebra package) form the basis of simple domain models for linear systems. The process of constructing a reuse system is broken into three steps. A file containing comments from all LINPACK routines is processed to yield a list of technical phrases. The second step involves building domain models based on an analysis of these technical phrases and then indexing cases according to these models. Finally, tools provided by the REMIND CBR shell are used to create a case library incorporating this domain knowledge. Early experiments described in the paper show that noun phrases automatically extracted from the comments can provide useful functional description of the routines. The resulting simple domain models are usually sufficient for software reuse applications. Finally, we found standard CBR technology to be a viable means of constructing compositional software reuse libraries.>
Stan Matwin, Affa Ahmad
ICSM1
1994 Automating reuse of software for expert system analysis of remote sensing data
abstract
Systems involving remote sensing analysis for airborne and satellite data in combination with geographic information systems are large and complex. The Canada Centre for Remote Sensing (CCRS) has created an expert system shell and several expert systems in order to provide image analysis programs with the necessary knowledge to solve difficult image processing problems, such as updating a forest inventory geographic information system. An interactive task interface (ILTI) provides an expert system with a Prolog module designed to answer queries from the image analysis program by retrieving knowledge from an image analysis knowledge base, the analyst advisor. Image analysis experts currently create ILTI's. They have found this to be a time-consuming task. An incremental/adaptive planner has been developed that will create a plan that emulates the ILTI's behavior by analyzing image processing session dialogues between a human expert and an image analysis program for several cases of forest updates. The planner relies on a knowledge base in order to generalize and modify plans acquired from session dialogues. The planner speeds and simplifies the creation of new expert systems.>
David G. Goodenough, Daniel Charlebois, Stan Matwin, Michael A. Robson
IEEE Trans. Geosci. Remote. Sens.3
1993 Learning Domain Theories using Abstract Beckground Knowledge
Peter Clark, Stan Matwin
ECML2
1993 Using Qualitative Models to Guide Inductive Learning
Peter Clark, Stan Matwin
ICML2
1993 Enhancing Reuse of Smalltalk Methods by Conceptual Clustering
abstract
For a software component to be reusable, it must have two characteristics: it must be designed for reuse, and it must be available for reuse. Object-oriented development enables the reuse of designs and code in future projects. However, the extent to which object-oriented development currently lends itself to such reuse is frequently overstaged. The authors seek to improve the specification and retrieval mechanisms for reusable components in object-oriented languages. They describe and prototype a tool that enables programmers to describe a general specification for a function, in a language independent of detailed design constructs. The computer can then identify, using case-based reasoning, an existing code sample or collection of code samples that matches the specification.
R. Jetzelsperger, Stan Matwin, Franz Oppacher
ICTAI2
1993 Constructive Inductive Logic Programming
Stephane Lapointe, Charles Ling 0001, Stan Matwin
IJCAI3
1993 A Case-Based Approach to Software Reuse
Gilles Fouqué, Stan Matwin
J. Intell. Inf. Syst.2
1992 Sub-unification: A Tool for Efficient Induction of Recursive Programs
Stephane Lapointe, Stan Matwin
ML2
1991 The Importance of Causal Structure and Facts in Evaluating Explanations
Mary Gick, Stan Matwin
ML2
1991 Explanation-based Learning Helps Acquire Knowledge from Natural Language Texts
Sylvain Delisle, Stan Matwin, Lionel Zupan
ISMIS2
1991 Genetic algorithms approach to a negotiation support system
abstract
It is argued that negotiation rules can be learned and invented by means of genetic algorithms. The work presented introduces a method, a system design, and a prototype implementation that uses genetic-based machine learning to acquire negotiation rules. The learned rules support a party involved in a two-party bargaining problem with multiple issues. It is assumed that both parties work towards a compromise deal. The method provides a framework in which genetic-based learning is applied repetitively on a changing problem representation. System design proposes a problem representation that is adequate to express bargaining processes and that is at the same time conducive to genetic-based learning. The authors report results of experiments with the prototype implementation. These results indicate that genetically learned rules, when used in real negotiations, yield results that are better than results obtained by humans in the same negotiation. The experiments indicate considerable robustness of genetically learned rules with respect to varying parameters defining the genetic operations on which the system relies in modeling negotiations. In terms of user support, experimental results show that in the bargaining process, a good rule is one that advises conceding in small steps and bringing new issues into the negotiation process.>
Stan Matwin, Tomasz Szapiro, Karen Zita Haigh
IEEE Trans. Syst. Man Cybern.1
1990 Explanation-Based Learning with Incomplete Theories: A Three-step Approach
Jean Genest, Stan Matwin, Boris Plante
ML2
1990 LEW: Learning by Watching
abstract
LEW (learning by watching), a machine learning system, is described. It was designed for knowledge acquisition in cooperation with an expert. LEW learns from examples of problem-solution (or question-answer) pairs by generalizing on differences in those pairs. In this sense, it belongs to the family of inductive learning methods. It provides for using background knowledge through the environment component of problem-solution pairs, thereby making constructive learning possible. The user can control the extent of the generalizations performed by LEW. The learning method is incremental and, to some extent, noise-resistant. The authors give an informal overview of the knowledge representation and the basic learning algorithm of LEW and indicate that the system's design meets the stated criteria and enables it to give helpful assistance, even in situations characterized by noisy or conflicting information and by lack of extensive background knowledge. The theory behind LEW is presented, along with rigorous definitions of its fundamental concepts and a general description of its learning algorithm. LEW's functioning with some larger examples, one from the QUIZ Advisor domain and another from the domain of block-world planning, is illustrated. The authors compare LEW with several other knowledge acquisition tools and introduce a precise characterization of learning from near misses and a near-miss metric. Possible extensions and enhancements to the system are noted.>
Patrick Constant, Stan Matwin, Franz Oppacher
IEEE Trans. Pattern Anal. Mach. Intell.2
1989 Learning Procedural Knowledge in the EBG Context
Stan Matwin, Johanne Morin
ML1
1989 Knowledge acquisition by incremental learning from problem-solution pairs
abstract
This paper describes LEW (learning by watching), an implementation of a novel learning technique, and discusses its application to the learning of plans. LEW is a domain‐independent learning system with user‐limited autonomy that is designed to provide robust performance in realistic knowledge acquisition tasks in a variety of domains. It partly automates the knowledge acquisition process for different knowledge types, such as concepts, rules, and plans. The inputs to the system, which we callcues, consist of an environmental component and of pairs containing a problem and its solution. Unlike traditional forms of “learning from examples”, in which the system uses the teacher's answer to improve the result of a prior generalization of an example, LEW treats the problem‐solution or question‐answer instances, i. e., the cues themselves, as the basic units for generalization.
Stan Matwin, Franz Oppacher, Patrick Constant
Comput. Intell.1
1988 Representing and Acquiring Imprecise and Context-dependent Concepts in Knowledge-Based Systems
Francesco Bergadano, Stan Matwin, Ryszard S. Michalski
ISMIS2
1988 Learning by Watching: An Incremental Machine Learning Method that Acquires Rules by Conceptual Clustering
Stan Matwin, Franz Oppacher
ISMIS1
1986 Copying of Dynamic Structures in a Pascal Environment
abstract
Abstract Two problems involving the use of dynamic lists in Pascal are (1) the limited size of the heap and (2) the difficulty in creating copies of complex multi‐linked structures. Both these problems can be solved by writing the appropriate segment of memory to a file on disk. The heap segment may then be released. To recover the structure during a later phase of processing, the contents of the file can be transferred back onto the heap. This paper presents an algorithm to implement this solution.
Kenneth Forsythe, Stan Matwin
Softw. Pract. Exp.2
1985 Prograph: A Preliminary Report
Stan Matwin, Tomasz Pietrzykowski
Comput. Lang.1
1985 A Logic-Based Knowledge Source System for Natural Language Document
Douglas R. Skuce, Stan Matwin, Branka Tauzovich, Franz Oppacher, Stan Szpakowicz
Data Knowl. Eng.2
1985 Intelligent Backtracking in Plan-Based Deduction
abstract
This paper develops a method of mechanical deduction based on a graphical representation of the structure of proofs. Attempts to find a refutation(s) are recorded in the form of plans, corresponding to portions of an AND/OR graph search space and representing a purely deductive structure of derivation. This method can be applied to any initial base (set of nonnecessarily Horn clauses). Unlike the exhaustive (blind) backtracking which treats all the goals deduced in the course of a proof as equally probable sources of failure, his approach detects the exact source of failure. Only a small fragment of the solution space is kept on disk as a collection of pairs, each of which consists of a plan and a graph of constraints. The search strategy and the method of nonredundant processing of individual pairs which leads to a solution (if it exists) is presented. This approach is compared¿on a special case¿with a blind backtracking algorithm for which an exponential improvement is demonstrated. Some important implementation problems are discussed, and toplevel design of a mechanical deduction system implementing our algorithm is presented. It is proven that the algorithm is complete in the following sense: if for a given base a resolution refutation exists, then this refutation is found by the algorithm.
Stan Matwin, Tomasz Pietrzykowski
IEEE Trans. Pattern Anal. Mach. Intell.1
1984 Implementation Strategies for Plan-Based Deduction
Kenneth Forsythe, Stan Matwin
CADE2
1982 Exponential Improvement of Efficient Backtracking: data Structure and Implementation
Stan Matwin, Tomasz Pietrzykowski
CADE1
1982 Exponential Improvement of Efficient Backtracking: A Strategy for Plan-Based Deduction
Tomasz Pietrzykowski, Stan Matwin
CADE2
1977 On the Completeness of a Set of Transformations Optimizing Linear Programs
Stan Matwin
Inf. Process. Lett.1
1977 An Experimental Investigation of Geschke's Method of Global Program Optimization
Stan Matwin
Inf. Process. Lett.1