yusuke1997/dblp-id-title huggingface dataset:
Using Coloured Petri Nets for Resource Analysis of Active Objects
Symbolic Counterexample Generation for Discrete-Time Markov Chains
Reactive Graphs in Action
Evaluating the Performance of Model Transformation Styles in Maude
A Robust Framework for Securing Composed Web Services
Formal Architecture Modeling of Sequential C-Programs
Graph Representation of Sessions and Pipelines for Structured Service Programming
Verified Service Compositions by Template-Based Construction
IsaK-Static: A Complete Static Semantics of \mathbb K
Proceedings of the Third International Workshop on Formal Aspects of Component Software, FACS 2006, Prague, Czech Republic, September 20-22, 2006
Fault Localization in Service Compositions
How Do Asynchronous Communication Models Impact the Composability of Information Flow Security?
Adding Formal Meanings to AADL with Hybrid Annex
Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development
A Denotational Model for Component-Based Risk Analysis
Proceedings of the 5th International Workshop on Formal Aspects of Component Software, FACS 2008, Malaga, Spain, September 10-12, 2008
OnPlan: A Framework for Simulation-Based Online Planning
Verifying Temporal Properties of Use-Cases in Natural Language
Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques
Coq Formalization of Orientation Representation: Matrix, Euler Angles, Axis-Angle and Quaternion
State Identification for Labeled Transition Systems with Inputs and Outputs
Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting
Runtime Programming through Model-Preserving, Scalable Runtime Patches
Formal Rules for Reliable Component-Based Architecture Evolution
Compositional Analysis Using Component-Oriented Interpolation
A Framework for Handling Non-functional Properties Within a Component-Based Approach
Composing Safe Systems
A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches
Avoiding Diamonds in Desynchronization
Checking Business Process Evolution
Validated Test Models for Software Product Lines: Featured Finite State Machines
IBOS: A Correct-By-Construction Modular Browser
From Helena Ensemble Specifications to Executable Code
Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
A Formal Web Services Architecture Model for Changing PUSH/PULL Data Transfer
Asynchronous Coordination of Stateful Autonomic Managers in the Cloud
A Bond-Graph Metamodel
Will the Real Service Oriented Computing Please Stand Up?
Dynamic Cut-Off Algorithm for Parameterised Refinement Checking
Modelling and Analysing Software in mCRL2
Bigraphical Modelling of Architectural Patterns
Tool Support for Fuzz Testing of Component-Based System Adaptation Policies
Realisability of Branching Pomsets
Model-Based Testing of Asynchronously Communicating Distributed Controllers
Formalising Adaptation Patterns for Autonomic Ensembles
Learning Assumptions for Verifying Cryptographic Protocols Compositionally
Layered Reduction for Modal Specification Theories
Using Daikon to Prioritize and Group Unit Bugs
A Core Model for Choreographic Programming
Certification of Workflows in a Component-Based Cloud of High Performance Computing Services
An Introduction to Pervasive Interface Automata
Extracting Formal Smart-Contract Specifications from Natural Language with LLMs
Formally Characterizing the Effect of Model Transformations on System Properties
From Formal Methods to Software Components: Back to the Future?
Revisiting Trace Equivalences for Markov Automata
Correct Pattern-Based Development Through Refinements and Weakest Preconditions Calculus
Compatibility Checking for Asynchronously Communicating Software
Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -
Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
On Weighted Configuration Logics
Embedding Formal Verification in Model-Driven Software Engineering with Slco: An Overview
Formal Models and Analysis for Self-adaptive Cyber-physical Systems - (Extended Abstract)
Specifying Source Code and Signal-based Behaviour of Cyber-Physical System Components
Algorithmic Verification of Procedural Programs in the Presence of Code Variability
Event-B Formalization of a Variability-Aware Component Model Patterns Framework
Compositional Verification of Asynchronously Communicating Systems
Denoising Single Trial Event Related Magnetoencephalographic Recordings
Tree Augmented Naive Bayes for Regression Using Mixtures of Truncated Exponentials: Application to Higher Education Management
Linking the Dynamics of User Stance to the Structure of Online Discussions
A Generic Trace Ordering Framework for Incremental Process Discovery
Advances in Intelligent Data Analysis IX, 9th International Symposium, IDA 2010, Tucson, AZ, USA, May 19-21, 2010. Proceedings
Intelligent Data Analysis: Issues and Opportunities
Very Predictive Ngrams for Space-Limited Probabilistic Models
Canonical Dual Approach to Binary Factor Analysis
Spike Detection and Sorting: Combining Algebraic Differentiations with ICA
Assigning Geo-relevance of Sentiments Mined from Location-Based Social Media Posts
Analogical Embedding for Analogy-Based Learning to Rank
Image Approach towards Document Mining in Neuroscientific Publications
Stereo Source Separation and Source Counting with MAP Estimation with Dirichlet Prior Considering Spatial Aliasing Problem
Learning DTW-Preserving Shapelets
Sequential Cost-Sensitive Feature Acquisition
Reducing Negative Impact of Noise in Boolean Matrix Factorization with Association Rules
Relational Topographic Maps
Improving Time Series Forecasting by Discovering Frequent Episodes in Sequences
Fuzzy Clustering Based on Modified Distance Measures
On the Change of Decision Boundary and Loss in Learning with Concept Drift
The Dynamic Stage Bayesian Network: Identifying and Modelling Key Stages in a Temporal Process
Underdetermined Instantaneous Audio Source Separation via Local Gaussian Modeling
Sentiment Classification Using Information Extraction Technique
Pump Failure Detection Using Support Vector Data Descriptions
Multi-armed Bandits with Generalized Temporally-Partitioned Rewards
A Modulated Parzen-Windows Approach for Probability Density Estimation
Explaining Neural Networks by Decoding Layer Activations
VoQs: A Web Application for Visualization of Questionnaire Surveys
Diverse Paraphrasing with Insertion Models for Few-Shot Intent Detection
Effects of Locality and Rule Language on Explanations for Knowledge Graph Embeddings
The Applications of Artificial Neural Networks in the Identification of Quantitative Structure-Activity Relationships for Chemotherapeutic Drug Carcinogenicity
Bayesian Networks Learning for Gene Expression Datasets
On the Importance of Nonlinear Modeling in Computer Performance Prediction
An Analysis of Unsupervised Signal Processing Methods in the Context of Correlated Sources
Predicting Remaining Useful Life with Similarity-Based Priors
End-to-End Mobile System for Diabetic Retinopathy Screening Based on Lightweight Deep Neural Network
Blind Source Separation of Sparse Overcomplete Mixtures and Application to Neural Recordings
Pragmatic Paradigm for Multi-stream Regression
A Search Engine for Morphologically Complex Languages
Where Are We Going? Predicting the Evolution of Individuals
From Local Pattern Mining to Relevant Bi-cluster Characterization
Combining Boosted Trees with Metafeature Engineering for Predictive Maintenance
Analysis of Cluster Structure in Large-Scale English Wikipedia Category Networks
A Learning Vector Quantization Architecture for Transfer Learning Based Classification in Case of Multiple Sources by Means of Null-Space Evaluation
Widened KRIMP: Better Performance through Diverse Parallelism
Hybrid Ensemble-Based Travel Mode Prediction
Dealing with Data Corruption in Remote Sensing
S 3 Bagging: Fast Classifier Induction Method with Subsampling and Bagging
Solving the Acoustic Echo Cancellation Problem in Double-Talk Scenario Using Non-Gaussianity of the Near-End Signal
Correlation-Based and Contextual Merit-Based Ensemble Feature Selection
Novelty Detection in Patient Histories: Experiments with Measures Based on Text Compression
Master Your Metrics with Calibration
Finding Informative Rules in Interval Sequences
A Sparsity-Based Method to Solve Permutation Indeterminacy in Frequency-Domain Convolutive Blind Source Separation
Using Metalearning for Prediction of Taxi Trip Duration Using Different Granularity Levels
Refined Shared Nearest Neighbors Graph for Combining Multiple Data Clusterings
Mathematical Analysis of Fuzzy Classifiers
Supervised Classification Problems: How to Be Both Judge and Jury
A Framework for Interpolating Scattered Data Using Space-Filling Curves
A Deep Interpretation of Classifier Chains
Ranking Accuracy for Logistic-GEE Models
Selecting and Weighting Data for Building Consensus Gene Regulatory Networks
An Evolutionary Based Clustering Algorithm Applied to Dada Compression for Industrial Systems
A Logical Formalisation of the Fellegi-Holt Method of Data Cleaning
Comparative Analysis of Power Consumption in University Buildings Using envSOM
Probabilistic Factorization of Non-negative Data with Entropic Co-occurrence Constraints
λ-DBSCAN: Augmenting DBSCAN with Prior Knowledge
A Decision Tree Algorithm for Ordinal Classification
Widened Learning of Bayesian Network Classifiers
Balancing Strategies and Class Overlapping
AVATAR - Machine Learning Pipeline Evaluation Using Surrogate Model
Learning from Ambiguously Labeled Examples
A Multiagent-Based Constructive Approach for Feedforward Neural Networks
ABIDE: Querying Time-Evolving Sequences of Temporal Intervals
Ontology-Driven KDD Process Composition
Making Learners (More) Monotone
Searching for Meaningful Feature Interactions with Backward-Chaining Rule Induction
A Hybrid Approach for Probabilistic Relational Models Structure Learning
Computational Properties of Fiction Writing and Collaborative Work
Probabilistic Active Learning in Datastreams
Determining Data Relevance Using Semantic Types and Graphical Interpretation Cues
Detecting Events in Molecular Dynamics Simulations
Feature Extraction and Selection from Vibration Measurements for Structural Health Monitoring
Modeling Daily Profiles of Solar Global Radiation Using Statistical and Data Mining Techniques
Towards Narrative Ideation via Cross-Context Link Discovery Using Banded Matrices
Angle-Based Crowding Degree Estimation for Many-Objective Optimization
Datum Discovery
An Algorithm for Segmenting Categorical Time Series into Meaningful Episodes
Feature Selection for Neural Networks through Functional Links Found by Evolutionary Computation
Towards Automatic and Optimal Filtering Levels for Feature Selection in Text Categorization
A Framework for Path-Oriented Network Simplification
Iterative-Shift Cluster-Based Time-Frequency BSS for Fractional-Time-Delay Mixtures
Data Mining for the Detection of Turning Points in Financial Time Series
Gaussian Mixture Density Estimation Applied to Microarray Data
AGS: Attribution Guided Sharpening as a Defense Against Adversarial Attacks
Efficient GA Based Techniques for Automating the Design of Classification Models
Towards Contextual, Cost-Efficient Predictive Maintenance in Heavy-Duty Trucks
A Partial Correlation-Based Algorithm for Causal Structure Discovery with Continuous Variables
Towards Automated Electrocardiac Map Interpretation: An Intelligent Contouring Tool Based on Spatial Aggregation
QBERT: Generalist Model for Processing Questions
A Conceptual Graph Approach for Video Data Representation and Retrieval
Even Faster Exact k-Means Clustering
Least Square Joint Diagonalization of Matrices under an Intrinsic Scale Constraint
Advances in Intelligent Data Analysis XX - 20th International Symposium on Intelligent Data Analysis, IDA 2022, Rennes, France, April 20-22, 2022, Proceedings
An Effective Associative Memory for Pattern Recognition
Vote Buying Detection via Independent Component Analysis
Advances in Intelligent Data Analysis XIX - 19th International Symposium on Intelligent Data Analysis, IDA 2021, Porto, Portugal, April 26-28, 2021, Proceedings
Multi-modal Ensembles of Regressor Chains for Multi-output Prediction
Regularized Least-Squares for Parse Ranking
Out-of-Distribution Generalisation with Symmetry-Based Disentangled Representations
Predicting Time-Varying Functions with Local Models
Learning Natural Image Structure with a Horizontal Product Model
Prediction of Failures in the Air Pressure System of Scania Trucks Using a Random Forest and Feature Engineering
Monitoring Human Information Processing via Intelligent Data Analysis of EEG Recordings
A Novel Partial-Memory Learning Algorithm Based on Grey Relational Structure
Exploiting Similarity for Supporting Data Analysis and Problem Solving
A Similarity-Guided Framework for Error-Driven Discovery of Patient Neighbourhoods in EMA Data
Bank Statements to Network Features: Extracting Features Out of Time Series Using Visibility Graph
Clustering Mobile Trajectories for Resource Allocation in Mobile Environments
Visualising the Cluster Structure of Data Streams
Compact and Understandable Descriptions of Mixtures of Bernoulli Distributions
OrderSpan: Mining Closed Partially Ordered Patterns
Semi-supervised Learning with Pairwise Instance Comparisons for Medical Instance Classification
Theoretical Analysis and Comparison of Several Criteria on Linear Model Dimension Reduction
Equivariant Parameter Sharing for Porous Crystalline Materials
Pulse: Mining Customer Opinions from Free Text
Traffic Events Modeling for Structural Health Monitoring
LG4AV: Combining Language Models and Graph Neural Networks for Author Verification
Spatial Approach to Pose Variations in Face Verification
GraphMDL: Graph Pattern Selection Based on Minimum Description Length
Mining Frequent Gradual Itemsets from Large Databases
Feature Selection for Hierarchical Multi-label Classification
GaMuSo: Graph Base Music Recommendation in a Social Bookmarking Service
An Optimized k-NN Approach for Classification on Imbalanced Datasets with Missing Data
Queries for Data Analysis
Optimally Weighted Cluster Kriging for Big Data Regression
Data Representations and Machine Learning Techniques
Learning Models of Activities Involving Interacting Objects
Biological Cluster Validity Indices Based on the Gene Ontology
Dictionary Construction for Patch-to-Tensor Embedding
Building Simple Models: A Case Study with Decision Trees
Intelligent Monitoring Method Using Time Varying Binomial Distribution Models for Pseudo-Periodic Communication Traffic
ECG Segmentation Using Time-Warping
Multi-agent Web Information Retrieval: Neural Network Based Approach
Mind the Data, Measuring the Performance Gap Between Tree Ensembles and Deep Learning on Tabular Data
Constructing Hierarchical Rule Systems
Dissimilarity Measure for Collections of Objects and Values
The Combination of Decision in Crowds When the Number of Reliable Annotator Is Scarce
Semantically Enriching Embeddings of Highly Inflectable Verbs for Improving Intent Detection in a Romanian Home Assistant Scenario
Neuro-Fuzzy Diagnosis System with a Rated Diagnosis Reliability and Visual Data Analysis
Recursive Sequence Mining to Discover Named Entity Relations
Computational Techniques for Crop Disease Monitoring in the Developing World
Learning Compositional Hierarchies of a Sensorimotor System
Blind Non-stationnary Sources Separation by Sparsity in a Linear Instantaneous Mixture
Information Theoretic Approach to Improve Performance of Networked Control Systems
Identifying Novel Features from Specimen Data for the Prediction of Valuable Collection Trips
Advances in Intelligent Data Analysis XXII - 22nd International Symposium on Intelligent Data Analysis, IDA 2024, Stockholm, Sweden, April 24-26, 2024, Proceedings, Part II
Muppets: Multipurpose Table Segmentation
An Iterated Local Search Approach for Minimum Sum-of-Squares Clustering
Blind Separation of Noisy Mixtures of Non-stationary Sources Using Spectral Decorrelation
A Mean-Field Variational Bayesian Approach to Detecting Overlapping Communities with Inner Roles Using Poisson Link Generation
Towards Indexing of Web3D Signing Avatars
Zero-Inflated Boosted Ensembles for Rare Event Counts
Revised Conditional t-SNE: Looking Beyond the Nearest Neighbors
Interpretable Quantile Regression by Optimal Decision Trees
Data-Centric Perspective on Explainability Versus Performance Trade-Off
Binding Statistical and Machine Learning Models for Short-Term Forecasting of Global Solar Radiation
Modelling Discrete Event Sequences as State Transition Diagrams
Network Performance Assessment for Neurofuzzy Data Modelling
A Mixture Model Approach for Binned Data Clustering
Classification of Protein Localisation Patterns via Supervised Neural Network Learning
Evaluation of Uplift Models with Non-Random Assignment Bias
Two-in-One Models for Event Prediction and Time Series Forecasting. Comparison of Four Deep Learning Approaches to Simulate a Digital Patient Under Anesthesia
Changing the Focus of the IDA Symposium
Assessing the Graph Structure Learning in Graph Deviation Networks
Simultaneous Clustering and Model Selection for Multinomial Distribution: A Comparative Study
Signal Subspace Separation Based on the Divergence Measure of a Set of Wavelets Coefficients
Noise Filtering and Microarray Image Reconstruction Via Chained Fouriers
Semantic-Based Few-Shot Classification by Psychometric Learning
Meta-learning for Automated Selection of Anomaly Detectors for Semi-supervised Datasets
Balancing Global Importance and Source Proximity for Personalized Recommendations Using Random Walk Length
Machine-Learning with Cellular Automata
Translated Texts Under the Lens: From Machine Translation Detection to Source Language Identification
Adaptive Classifier Combination for Visual Information Processing Using Data Context-Awareness
Multiview Learning of Weighted Majority Vote by Bregman Divergence Minimization
Analyzing the Localization of Retail Stores with Complex Systems Tools
Recurrent Predictive Models for Sequence Segmentation
Regularized Learning with Flexible Constraints
Identification of Nuclear Magnetic Resonance Signals via Gaussian Mixture Decomposition
Subgroup Discovery for Test Selection: A Novel Approach and Its Application to Breast Cancer Diagnosis
Curve Fitting for Short Time Series Data from High Throughput Experiments with Correction for Biological Variation
Feature Selection Issues in Long-Term Travel Time Prediction
An Alternative to ROC and AUC Analysis of Classifiers
Fluent Learning: Elucidating the Structure of Episodes
Intelligent Sensor Analysis and Actuator Control
Improving Tag Recommendation Using Few Associations
Similarity Based Hierarchical Clustering with an Application to Text Collections
FLocalX - Local to Global Fuzzy Explanations for Black Box Classifiers
Separation of Convolutive Mixtures with Hybrid Sources
Adversarial Vulnerability of Active Transfer Learning
Detecting Localised Anomalous Behaviour in a Computer Network
Using Signal Invariants to Perform Nonlinear Blind Source Separation
Discovering Rule Lists with Preferred Variables
Patch-Based Data Analysis Using Linear-Projection Diffusion
Successive Restrictions Algorithm in Bayesian Networks
A Skew-t-Normal Multi-level Reduced-Rank Functional PCA Model for the Analysis of Replicated Genomics Time Course Data
ALM: A Methodology for Designing Accurate Linguistic Models for Intelligent Data Analysis
Analysing the Footprint of Classifiers in Overlapped and Imbalanced Contexts
Permutation Correction in Blind Source Separation Using Sliding Subband Likelihood Function
Multivariate Time Series as Images: Imputation Using Convolutional Denoising Autoencoder
A Policy Iteration Algorithm for Learning from Preference-Based Feedback
Exploiting Structural Information for Text Classification on the WWW
Techniques for Dealing with Missing Values in Classification
Topographic Independent Component Analysis Based on Fractal and Morphology Applied to Texture Segmentation
Fast Parallel Estimation of High Dimensional Information Theoretical Quantities with Low Dimensional Random Projection Ensembles
Computing Vertex-Vertex Dissimilarities Using Random Trees: Application to Clustering in Graphs
Discovering Dynamics Using Bayesian Clustering
Improving Chairlift Security with Deep Learning
Landscape Multidimensional Scaling
Parameter Learning for Bayesian Networks with Strict Qualitative Influences
Formalizing Complex Prior Information to Quantify Subjective Interestingness of Frequent Pattern Sets
HAUCA Curves for the Evaluation of Biomarker Pilot Studies with Small Sample Sizes and Large Numbers of Features
Integrating Inverse and Forward Modeling for Sparse Temporal Data from Sensor Networks
A Cascade System for Solving Permutation and Gain Problems in Frequency-Domain BSS
DeepGG: A Deep Graph Generator
APs: A Proxemic Framework for Social Media Interactions Modeling and Analysis
Sequence Classification Using Statistical Pattern Recognition
A Bayesian Approach for Identifying Multivariate Differences Between Groups
Online Semi-supervised Learning for Multi-target Regression in Data Streams Using AMRules
Using Time-Sensitive Rooted PageRank to Detect Hierarchical Social Relationships
Backward Inference in Probabilistic Regressor Chains with Distributional Constraints
Advances in Intelligent Data Analysis XII - 12th International Symposium, IDA 2013, London, UK, October 17-19, 2013. Proceedings
Indirect Estimation of Shortest Path Distributions with Small-World Experiments
Model Building for Random Fields
Estimating Prediction Certainty in Decision Trees
Diagonal Co-clustering Algorithm for Document-Word Partitioning
Implicitly Constrained Semi-supervised Least Squares Classification
Simple Pattern Spectrum Estimation for Fast Pattern Filtering with CoCoNAD
Resampling Approaches to Improve News Importance Prediction
Hierarchical Extraction of Independent Subspaces of Unknown Dimensions
Instant Exceptional Model Mining Using Weighted Controlled Pattern Sampling
A Knowledge-Based Model for Analyzing GSM Network Performance
Resolving Rule Conflicts with Double Induction
Random Forests with Latent Variables to Foster Feature Selection in the Context of Highly Correlated Variables. Illustration with a Bioinformatics Application
Data Classification using a W.I.S.E. Toolbox
How to Control Clustering Results? Flexible Clustering Aggregation
Intrusion Detection through Behavioral Data
Subrule Analysis and the Frequency-Confidence Diagram
Distributed Regression for Heterogeneous Data Sets
A Nonparametric Mixture Model for Personalizing Web Search
Validity of the Independence Assumption for the Separation of Instantaneous and Convolutive Mixtures of Speech and Music Sources
Data Analysis for Query Processing
Constrained Clustering Using SAT
Granularity of Co-evolution Patterns in Dynamic Attributed Graphs
Automatic POI Matching Using an Outlier Detection Based Approach
DEMScale: Large Scale MDS Accounting for a Ridge Operator and Demographic Variables
Making Time: Pseudo Time-Series for the Temporal Analysis of Cross Section Data
s-LIME: Reconciling Locality and Fidelity in Linear Explanations
Evolutionary Computation to Search for Strongly Correlated Variables in High-Dimensional Time-Series
Supervised Learning in Parallel Universes Using Neighborgrams
Text Categorization Using Hybrid Multiple Model Schemes
Building Models of Ecological Dynamics Using HMM Based Temporal Data Clustering - A Preliminary Study
Right for the Right Reason: Training Agnostic Networks
Mining Sentiments from Songs Using Latent Dirichlet Allocation
Condensed Representation of Sequential Patterns According to Frequency-Based Measures
Reasoning about Input-Output Modeling of Dynamical Systems
Sequential Control Logic Inferring Method from Observed Plant I/O Data
The 2008 Signal Separation Evaluation Campaign: A Community-Based Approach to Large-Scale Evaluation