yusuke1997/dblp-id-title huggingface dataset:
A Modified Fuzzy ARTMAP Architecture for Incremental Learning Function Approximation
Intelligent 2-DOF PID Control for Thermal Power Plant using Immune based Multiobjective
Sexual Selection with Competitive/Co-operative Operators for Genetic Algorithms
A "spiking" bidirectional associative memory for modeling intermodal priming
Reranking Medline Citations by Relevance to a Difficult Biological Query
A fuzzy expert system for facility diagnosis of rotating machines
On the evaluation of a nonlinear principal component analysis
An Overview of Computational Intelligence Techniques in Intrusion Detection Systems
On super-linearity in parallel genetic algorithms
Comparision between algorithms of extraction based on the nonstationarity of the sources
Reasoning with class algebra
Blind source separation using orientation histograms in joint mixture distributions
Segmented neural network modelling using adaboost
Employing Recurrent Artificial Neural Networks for Developing Baselines for Proactive Network Management
An unsupervised alternating clustering method
A Multi-objective genetic algorithm for voltage-stability reinforcement of power systems
Time Series Prediction using Rough Sets and Neural Networks Hybrid Approach
Minimum classification error-based neural network for inspection of fabric defects
Rival penalized self-organizing map
Corticonic networks for higher-level processing
Artificial Intelligence Assisting Nozzle Geometry Design
Design and Implementation Issues in Agent-oriented Knowledge Base
Neural Modelling and Control of the Offset Printing Process
Distinguishing between overlapping components in mixture models
Building Hybrid Soft Computing Agents
On Classification of Alarms from Network Intrusion Detection System using Multi-layer Feed-forward Neural Networks
An intelligent virtual financial advisor system (IVFAS)
Direct Adaptive Neural Control Scheme with Integral-Plus-State Action
Estimating the error at given test input points for linear regression
Neural network methods for harmonic analysis using wavelet transform coefficients
Parameter Prediction for the Gastrointestinal Tract
A genetic-fuzzy logic based load balancing algorithm in heterogeneous distributed systems
Recurrent neural network model based batch-to-batch iterative optimising control
Hierarchical reinforcement learning with subpolicies specializing for learned subgoals
RGL Study in a Hybrid Real-time System
Identification of homogeneous blocks in large binary data sets
Analog Hardware Model for Morphological Neural Networks
Cartesian Genetic Programming for Image Processing Tasks
On-line novelty detection for non-stationary classes using a modified support vector machine
Intelligent Agents for Interactive Learning
New Algebraic Operators and SQL Primitives for Mining Association Rules
Sigmoid neural network incremental construction by using a boosting method
Neural network-based retrieval of phytoplankton abundance from remotely-sensed ocean radiance
On Existential and Constructive Neural Complexity Results
Estimation of photosynthetic efficiency for monitoring seagrass health using neural networks
A new approach for the discovery of conserved regions in DNA sequences
Force histograms and neural networks for human-based spatial relationship generalization
Detecting infinite SLD-derivations in definite logic programs
Contrasting coupling strategies in associative neural networks with chaotic recursive processing elements
Neural Networks-based Fault Detection and Isolation of Nonlinear Systems
Proceedings of the IASTED International Conference on Neural Networks and Computational Intelligence, NCI 2003, May 19-21, 2003, Cancun, Mexico
Chaotic associative memory using distributed patterns for image retrieval - distance between patterns and recall ability
Computational model and architectural proposal for a hardware type-2 fuzzy system
A Feed Forward Network and Its Training Algorithm for Producing Sets
A VLSI Array Architecture for Artificial Neural Networks
Active learning method to solve bin packing problems
Discrimination of Aircrafts and Flares in Infrared Images by a Probabilistic Neural Network
Dynamic instance selection for first order adaptable systems
A competitive and cooperative learning approach to robust data clustering
Achieving Human Style Navigation for Synthetic Characters: A Survey
Tuning of PID Controller of Dead Time Process using Immune based on Multiobjective
Fuzzy logic used for modelling and simulation of massive processes: A useful tool for nanotechnologies?
Federated Process Mining: Exploiting Event Data Across Organizational Boundaries
A Latent Feelings-aware RNN Model for User Churn Prediction with only Behaviour data
Geolocation using GAT with Multiview Learning
ML Model Change Detection and Versioning Service
EdgeInfer: Robust Truth Inference under Data Poisoning Attack
High Performance Data Engineering Everywhere
From Big Data to Smart Data-centric Software Architectures for City Analytics: the case of the PELL Smart City Platform
Decentralized Collaborative Learning with Probabilistic Data Protection
IEEE International Conference on Smart Data Services, SMDS 2021, Chicago, IL, USA, September 5-10, 2021
Here, There, Anywhere: Profiling-Driven Services to Tame the Heterogeneity of Edge Applications
Nonnegative Latent Factor-Incorporated Fuzzy Double c-Means Clustering for Incomplete Data
Efficient Mobility Support Services for Highly Mobile Devices in 5G Networks
Turning a Curse into a Blessing: A General Approach to Resolve Endogeneity Problem in Data-Rich Environment
Ship trajectory anomaly detection based on multi-feature fusion
Cognitive Advisory Agent
Stargazer: A Deep Learning Approach for Estimating the Performance of Edge- Based Clustering Applications
Scalable and Hybrid Ensemble-Based Causality Discovery
BC-Sketch: A Simple Reversible Sketch for Detecting Network Anomalies
MY-AIR: A Personalized Air-quality Information Service
An Elasticity Framework for Smart Contracts
Assessing the Effectiveness of the Shared Responsibility Model for Cloud Databases: the Case of Google's Firebase
Semantic Data Integration for Investigations: Lessons Learned and Open Challenges
Graph Convolutional Network-Strengthened Topic Modeling for Scientific Papers
CNN Approaches to Classify Multivariate Time Series Using Class-specific Features
Towards a Reinforcement Learning-based Exploratory Search for Mashup Tag Recommendation
Chinese stock trend prediction based on multi-feature learning and model fusion
IEEE International Conference on Smart Data Services, SMDS 2020, Beijing, China, October 19-23, 2020
An Auxiliary Learning Task-Enhanced Graph Convolutional Network Model for Highly-accurate Node Classification on Weakly Supervised Graphs
Targeted VAE: Variational and Targeted Learning for Causal Inference
S3QLRDF: Property Table Partitioning Scheme for Distributed SPARQL Querying of large-scale RDF data
Multi-objective Reinforcement Learning based approach for User-Centric Power Optimization in Smart Home Environments
DynGraphTrans: Dynamic Graph Embedding via Modified Universal Transformer Networks for Financial Transaction Data
Real-time System for Short- and Long-Term Prediction of Vehicle Flow
Why Did You Turn On That Light?
Enhancing Scalability of Trusted Blockchains through Optimal Sharding
Using Blockchain for Enhancing Collaboration among Independent Enterprises: A Knowledge-based Approach
Utber: Utilizing Fine-Grained Entity Types to Relation Extraction with Distant Supervision
M2NN: Rare Event Inference through Multi-variate Multi-scale Attention
Data Readiness Report
AC2M: An Automated Consent Management Model for Blockchain Financial Services Platform
Machine Learning based User QoE Evaluation for Video Streaming over Mobile Network
HOPE-Graph: A Hypothesis Evaluation Service considering News and Causality Knowledge
Improving Knowledge Based Detection of Soft Attacks Against Autonomous Vehicles with Reputation, Trust and Data Quality Service Models
Track Before Detect: A Novel Approach For Unsupervised Anomaly Detection In Time Series
Blockchain Based RAN Data Sharing
Conflict-Free Replicated Relations for Multi-Synchronous Database Management at Edge
Type-based verification of assembly language for compiler debugging
Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010
A graphical presentation of ML F types with a linear-time unification algorithm
Compiling functional types to relational specifications for low level imperative code
An open and shut typecase
Typed compilation of recursive datatypes
Grammar-based analysis of string expressions
Giving Haskell a promotion
The essence of monotonic state
Static lock capabilities for deadlock freedom
Typed transformations of typed abstract syntax
Secure compilation of a multi-tier web language
What's the deal with dependent types?
System F with type equality coercions
Strict bidirectional type checking
Deciding validity in a spatial logic for trees
Opis: reliable distributed systems in OCaml
Lightweight linear types in system fdegree
A calculus for probabilistic languages
Typing ad hoc data
Type systems for dummies
Type design patterns for computer mathematics
Types for relaxed memory models
A typed interface for garbage collection
Types for describing coordinated data structures
Row-based effect types for database integration
F-ing modules
Dependently typed programming in Agda
Scrap your boilerplate: a practical design pattern for generic programming
Inferring annotated types for inter-procedural register allocation with constructor flattening
Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Austin, TX, USA, January 25, 2011
Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005
Semantics for graphical user interfaces
Type-safe multithreading in cyclone
A garbage-collecting typed assembly language
Verifying event-driven programs using ramified frame properties
Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Nice, France, January 16, 2007
Information flow enforcement in monadic libraries
Type safety from the ground up
An open framework for foundational proof-carrying code
Towards type-theoretic semantics for transactional concurrency
Distributed programming with distributed authorization
Exact type parameterization and ThisType support
Static extraction of sound hierarchical runtime object graphs
Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009
Design patterns in separation logic
Automated and certified conformance to responsiveness policies
Type inference for atomicity
Towards a formal semantics for a structurally dynamic noncausal modelling language
Types for atomicity
Towards concurrent type theory
Extended alias type system using separating implication
Garbage collection safety for region-based memory management
Let should not be generalized
Effects for cooperable and serializable threads
Relational parametricity for references and recursive types
A type and effect system for deadlock avoidance in low-level languages
Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, New Orleans, Louisiana, USA, January 18, 2003
The logical approach to stack typing
Semantics of an effect analysis for exceptions
AuraConf: a unified approach to authorization and confidentiality
Adding types to untyped languages
Modular information hiding and type-safe linking for C
Decidable subclassing-bounded quantification
The open verifier framework for foundational verifiers
Singleton: a general-purpose dependently-typed assembly language
A generic type-and-effect system
Race-free and memory-safe multithreading: design and implementation in cyclone
Non-interference for a JVM-like language
Time regions and effects for resource usage analysis
Pointwise generalized algebraic data types
Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, TLDI 2012, Philadelphia, PA, USA, Saturday, January 28, 2012
Federated Unlearning using Tree-based Sharding
That's not you! Applying Neural Networks to Risk-Based Authentication to Detect Suspicious Logins
ELMs Under Siege: A Study on Backdoor Attacks on Extreme Learning Machines
Black-Box Universal Adversarial Attack on Automatic Speech Recognition Systems for Maritime Radio Communication Using Evolutionary Strategies
Adversarial Feature Alignment: Balancing Robustness and Accuracy in Deep Learning via Adversarial Training
DP-Morph: Improving the Privacy-Utility-Performance Trade-off for Differentially Private OCT Segmentation
Proceedings of the 2024 Workshop on Artificial Intelligence and Security, AISec 2024, Salt Lake City, UT, USA, October 14-18, 2024
Harmful Bias: A General Label-Leakage Attack on Federated Learning from Bias Gradients
Enhancing Robustness in Post-Processing Watermarking: An Ensemble Attack Network Using CNNs and Transformers
Ensembling Membership Inference Attacks Against Tabular Generative Models
The Hidden Threat in Plain Text: Attacking RAG Data Loaders
When Adversarial Perturbations meet Concept Drift: An Exploratory Analysis on ML-NIDS
I Know Which LLM Wrote Your Code Last Summer: LLM generated Code Stylometry for Authorship Attribution
How Not to Detect Prompt Injections with an LLM
Proceedings of the 18th ACM Workshop on Artificial Intelligence and Security, Taipei,Taiwan, October 13-17, 2025
AI-related Vulnerabilities within CVEs: Are We Ready Yet? A Study of Vulnerability Disclosure in AI Products
Efficient Model Extraction via Boundary Sampling
Semantic Stealth: Crafting Covert Adversarial Patches for Sentiment Classifiers Using Large Language Models
Oops!... They Stole it Again: Attacks on Split Learning
Music to My Ears: Turning GPU Sounds into Intellectual Property Gold
Enhancing Prompt Injection Attacks to LLMs via Poisoning Alignment
E-PhishGEN: Unlocking Novel Research in Phishing Email Detection
EthAegis: Featured graph based Fraud Detection in Ethereum Transactions
EmoBack: Backdoor Attacks Against Speaker Identification Using Emotional Prosody
It's Our Loss: No Privacy Amplification for Hidden State DP-SGD With Non-Convex Loss
Using LLM Embeddings with Similarity Search for Botnet TLS Certificate Detection
Online Incident Response Planning under Model Misspecification through Bayesian Learning and Belief Quantization
Defending Against Prompt Injection With a Few DefensiveTokens
Feature Selection from Differentially Private Correlations
CyberLLMInstruct: A Pseudo-Malicious Dataset Revealing Safety-Performance Trade-offs in Cyber Security LLM Fine-tuning
Adversarially Robust Anti-Backdoor Learning
Towards Robust, Explainable, and Privacy-Friendly Sybil Detection
The Ultimate Combo: Boosting Adversarial Example Transferability by Composing Data Augmentations
Rethinking How to Evaluate Language Model Jailbreak
Improving Unlearning with Model Updates Probably Aligned with Gradients
LLM Unlearning on Noisy Forget Sets: A Study of Incomplete, Rewritten, and Watermarked Data
Seeing is Believing: Interpreting Behavioral Changes in Audio Deepfake Detectors Arising from Data Augmentation
JailbreaksOverTime: Detecting Jailbreak Attacks Under Distribution Shift
On the Robustness of Graph Reduction Against GNN Backdoor
Getting a-Round Guarantees: Floating-Point Attacks on Certified Robustness
LLM-CVX: A Benchmarking Framework for Assessing the Offensive Potential of LLMs in Exploiting CVEs
Neural Exec: Learning (and Learning from) Execution Triggers for Prompt Injection Attacks
Offensive AI: Enhancing Directory Brute-forcing Attack with the Use of Language Models
GhosTEE: An Approach to Solving the GPU-Privacy Trade-off for Machine Learning Inference
The Vulnerabilities Less Exploited: Cyberattacks on End-of-Life Satellites
CLExtract: Recovering Highly Corrupted DVB/GSE Satellite Stream with Contrastive Learning
1st Workshop on Security of Space and Satellite Systems, SpaceSec 2023, San Diego, California, USA, Feburary, 27, 2023
Towards a Unified Cybersecurity Testing Lab for Satellite, Aerospace, Avionics, Maritime, Drone (SAAMD) technologies and communications
QPEP in the Real World: A Testbed for Secure Satellite Communication Performance
Cybersecurity of COSPAS-SARSAT and EPIRB: threat and attacker models, exploits, future research
Firefly: Spoofing Earth Observation Satellite Data through Radio Overshadowing
Position Paper: Space System Threat Models Must Account for Satellite Sensor Spoofing
Towards Protecting Billions and Billions of Bits on the Interplanetary Internet
Death By A Thousand COTS: Disrupting Satellite Communications using Low Earth Orbit Constellations
A Case Study on Fuzzing Satellite Firmware
A Business Game For E-Learning
On the Performance of Web Services and Google Cloud Messaging
A Key Management Scheme for Multicast Based on Layer 2 Control
Exploring both Content and Link Quality for Anti-Spamming
Dynamic Software Architecture Oriented Service Composition and Evolution
A Simplified Massive MIMO Approach Using Precoding
Constraint-Enabled Distributed RBAC for Subscription-Based Remote Network Services
Design and Implementation of a Local Scheduling System with Advance Reservation for Co-allocation on the Grid
A Smartphone Management Method to Save Battery Using Bayesian Networks and Fuzzy System
Component Based Approach to Handle Synonym and Polysemy in Folksonomy
Probabilistic Area-Based Dissemination for Heterogeneous Transmission Ranges in Vehicular Ad-Hoc Networks
Diverse Compiling for Microprocessor Fault Detection in Temporal Redundant Systems
Incorporating PCA and FCM into Organism Classification Based on Codon Usage
Performance Comparison on the Heterogeneous File System in Cloud Storage Systems
Dynamic pull-down menu organization in run-time by analyzing menu selection behaviors
A Real Time System for Multicast Fax using IP Network
Structural Analysis of Source Code Collected from Programming Contests
Digital Memories Based Mobile User Authentication for IoT
Elimination of Duplicate Labels in Petri-Net-Based System Specification
Segmentation-Free Object Recognition Using Full Pixel Matching
Development of an Integrated Agent for Greener Airport Operations
A Software Architecture for the Analysis of Large Sets of Data Streams in Cloud Infrastructures
A Bypass Optimization Method for Network on Chip
Linear mesh deformation with snake constraint
10th IEEE International Conference on Computer and Information Technology, CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010
Acoustic Radar Weak Target Detection Method Based on Mellin Transform
Design and Implementation of Multimedia Player for Foreign Language Learning
Sentiment Classification Using Phrase Patterns
An Associative Classifier Adopting Fuzzy Weighted Rules Based on Information Gain
E-Trickle: Enhanced Trickle Algorithm for Low-Power and Lossy Networks
Unsupervised Image Segmentation Using Automated Fuzzy c-Means
Detecting the Orientation of N-gonal Cropped Sub-images and Its Application
Text Detection using Multilayer Separation in Real Scene Images
A Review of Gradient-Based and Edge-Based Feature Extraction Methods for Object Detection
A Content-Based Broadcasted Sports Video Retrieval System Using Multiple Modalities: SportBR
Alleviating MAC Layer Contentions through Dynamic Waiting in Wireless Ad Hoc Networks
Reasonably Migrating Virtual Machine in NFV-Featured Networks
SEPL: Smart Evicted Page List Buffer for NAND Flash Storage System
A SOA Based Approach to User-Oriented System Migration
Simulation Environment Based on SystemC and VEOS for Multi-core Processors with Virtual AUTOSAR ECUs
A Novel Method of Tongue Image Recognition
Performance Analysis ofWonGoo System
The Research on Teaching Method of Basics Course of Computer based on Cluster Analysis
Multidimensional QoE Assessment of Multi-view Video and Audio (MVV-A) IP Multicast Transmission Methods
Robust Approach for Medical Data Classification and Deploying Self-Care Management System for Sickle Cell Disease
Power-Minimization Computing Resource Allocation in Mobile Cloud-Radio Access Network
Research of Radar Range Profile's Recognition Based on an Improved C-SVM Algorithm
Formal Verification of Communicating HSTM Designs
User-Defined Adaptive Fault-Tolerant Execution of Workflows in the Grid
Research on a Mechanism for Assisting Service Retrieval
Dimension reduction using least squares regression in multi-labeled text categorization
2004 International Conference on Computer and Information Technology (CIT 2004), 14-16 September 2004, Wuhan, China
Discovery for Web Services Based on Relationship Model
An FPGA implementation of 30Gbps security module for GPON systems
Improving the performance of MPEG-4 transmission in IEEE 802.15.3 WPAN
Fault Tree and Formal Methods in System Safety Analysis
DBXML - Connecting XML with Relational Databases
Efficient Network Training Method for Two-Dimension DOA Estimation
Exploiting Context in Location-Based Information Systems
Feature Descriptors: A Review of Multiple Cues Approaches
A hierarchically combined classifier for license plate recognition
An Efficient Key Management Scheme for Secure Sensor Networks
Operative Factors Contributing to the Selection of Fiber-Optic Techniques for Remote Measurement of Strain/Stress
SAR Sea Ice Image Segmentation Using Watershed with Intensity-Based Region Merging
QoS-Aware Traffic-Efficient Web Service Selection over BigData Space
Discovering the Inherent Interrelationship among Contexts in Pervasive Computing
Conceptual Multi-Level Hierarchy for Evaluation and Classification
Narrowcasting Attributes for Presence Awareness in Collaborative Virtual Environments
Enabling Use of Single Password over Multiple Servers in Two-Server Model
Word Indexing for Mobile Device Data Representations
The Potential of the Brain-Computer Interface for Learning: A Technology Review
Research on Case Learning System for Engineering Subject - Software Engineering as an Example
The Robustness of Face-Based CAPTCHAs
Study of Adaptive Equalizers Based on Two Weighted Neural Networks
An Aggregation Tree Constructing Algorithm Based on Energy Consumption Assessment
Touchware: A Software based Implementation for High Resolution Multi-touch Applications
A Rotating Blind Separation Algorithm Suitable for MIMO-STBC Systems without Precoder
XML Based Wireless Patient Monitoring System Using Vehicular Ad-Hoc Networks
LSA-Based Chinese-Slavic Mongolian NER Disambiguation
An Algorithm of Micromouse Maze Solving
Parallel Best Neighborhood Matching Algorithm Implementation on GPU Platform
Research on Buffer Overflow Test Based on Invariant
Extraction of exudates and blood vessels in digital fundus images
A Maximal Frequent Itemset Approach for Web Document Clustering
A Semi-automated Assessment of the Direction of Influence Relations from Semantic Networks: A Case Study in Maths Anxiety
Robust Detection of Corners and Corner-line Links in Images
A Robust and Topological Correct Marching Cube Algorithm Without Look-Up Table
Using XML and XACML to Support Attribute Based Delegation
Active Analysis of BT with a Modified Azureus Client
Incremental Emerging Patterns Mining for Identifying Safe and Non-safe Power Load Lines
A Multi-criteria Review-Based Hotel Recommendation System
Guaranteeing Optional Task Completions on (m, k)-Firm Real-Time Systems
Agent-based Mobile Service Discovery in Grid Computing
Six Sigma in IT Processes, IT Services and IT Products: A Fact or a Fad? Six Sigma beyond Manufacturing in IT Processes, IT Services and IT Products
BER Analysis for Controller Area Network Impaired by the Impulse Noise in Cyber-Physical Systems
Super Parsing: Sentiment Classification with Review Extraction
Variables and Reversibility in Object Oriented Regular Expressions
A New Prime and Probe Cache Side-Channel Attack for Cloud Computing
A Highly Scalable Butterfly-Based Photonic Network-on-Chip
Enhancing Aggregation over Uncertain Databases
Improved Particle Implementation of the Probability Hypothesis Density Filter in Resampling
A Novel Neural Network-Based Approach for Multiple Instance Learning