yusuke1997/dblp-id-title huggingface dataset:
Collaborative Filtering, Matrix Factorization and Population Based Search: The Nexus Unveiled
A Rock Structure Recognition System Using FMI Images
Automatic Parameter Selection of Granual Self-organizing Map for Microblog Summarization
Topic-Bigram Enhanced Word Embedding Model
A Meta-learning Method Based on Temporal Difference Error
Random Segmentation Based Principal Component Analysis to Remove Residual MR Gradient Artifact in the Simultaneous EEG/fMRI: A Preliminary Study
Neural Network based Identification of Flexible-Link Manipulator Dynamics
Application of Instruction-Based Behavior Explanation to a Reinforcement Learning Agent with Changing Policy
Handling Concept Drift in Time-Series Data: Meta-cognitive Recurrent Recursive-Kernel OS-ELM
Cellular Automata Based Pattern Classifying Machine for Distributed Data Mining
Non-linear ICA Based on Cramer-Wold Metric
Cross-media Image-Text Retrieval Based on Two-Level Network
Transferring Tree Ensembles to Neural Networks
Fractional Multi-view Hashing with Semantic Correlation Maximization
A Fast and Robust Photometric Redshift Forecasting Method Using Lipschitz Adaptive Learning Rate
Dual Feature Distributional Regularization for Defending Against Adversarial Attacks
Unfamiliar Dynamic Hand Gestures Recognition Based on Zero-Shot Learning
Performance Analysis of Quantum-Enhanced Kernel Classifiers Based on Feature Maps: A Case Study on EEG-BCI Data
Nonlinear Hydrological Time Series Forecasting Based on the Relevance Vector Regression
A Medical Image Steganography Method Based on Integer Wavelet Transform and Overlapping Edge Detection
WCA-VFnet: A Dedicated Complex Forest Smoke Fire Detector
SDPSAT: Syntactic Dependency Parsing Structure-Guided Semi-Autoregressive Machine Translation
The Local True Weight Decay Recursive Least Square Algorithm
"Figure" Salience as a Meta-Rule for Rule Dynamics in Visual Perception
Deep Point-Wise Prediction for Action Temporal Proposal
Open-Vocabulary Self-interactive Semantic Segmentation
EEG-Based Emotion Recognition Using Frequency Domain Features and Support Vector Machines
Neural Information Processing. Theory and Algorithms - 17th International Conference, ICONIP 2010, Sydney, Australia, November 22-25, 2010, Proceedings, Part I
Information Security Implications of Machine-Learning-Based Automation in ITO Service Delivery - An Agency Theory Perspective
Requirements for Neural Assembly Formation, Ignition and Maintenance: Formalisation of Traditional Concepts
Event-Driven Simulation of Arbitrary Spiking Neural Networks on SpiNNaker
Robust Visual Tracking Using Local Sparse Covariance Descriptor and Matching Pursuit
Industrial Applications for an Active Vision System Based on Primate Oculomotion and Neural Computation
PCMO: Partial Classification from CNN-Based Model Outputs
Pinning Synchronization of Complex Networks with Switching Topology and a Dynamic Target System
Adaptively Coordinating Heterogeneous Robot Teams through Asynchronous Situated Coevolution
Calibrated k-labelsets for Ensemble Multi-label Classification
Topological Order Discovery via Deep Knowledge Tracing
Delving into Precise Attention in Image Captioning
Enhanced ResNet with Attention Mechanisms for High-Accuracy Wildlife Monitoring: A Case Study on Penguins and Turtles
Stereo Matching Using Conditional Adversarial Networks
Decentralized Belief Propagation in LLM Agents: A Brain-Inspired Approach to AI Safety Analysis
Sparse Coding on Multiple Manifold Data
Bayesian Curve Fitting Based on RBF Neural Networks
Cluster Aware Deep Dictionary Learning for Single Cell Analysis
Structural Regularity Exploration in Multidimensional Networks
AAKD-Net: Attention-Based Adversarial Knowledge Distillation Network for Image Classification
Universal Learning Machines
Support Constraint Machines
STOTFormer: A Transformer-Based Model for Vertical Offset Estimation in Underground Power Optical Cables
Sequential Collaborative Ranking Using (No-)Click Implicit Feedback
Hybrid Collaborative Recommendation via Semi-AutoEncoder
An Analog Circuit Design for k-Winners-Take-All Operations
InsightGAN: Semi-Supervised Feature Learning with Generative Adversarial Network for Drug Abuse Detection
Forecasting Bike Sharing Demand Using Fuzzy Inference Mechanism
Neural Network Training Using a Biogeography-Based Learning Strategy
Stack Multiple Shallow Autoencoders into a Strong One: A New Reconstruction-Based Method to Detect Anomaly
CATM: Candidate-Aware Temporal Multi-head Self-attention News Recommendation Model
A Method to Construct Visual Recognition Algorithms on the Basis of Neural Activity Data
Maintaining Trust in Cloud Computing through SLA Monitoring
Robust Eye Center Localization Based on an Improved SVR Method
Residual Broad Learning System with Variational Autoencoder for Robust Regression
Semantic De-biased Associations (SDA) Model to Improve Ill-Structured Decision Support
CPSAM: Channel and Position Squeeze Attention Module
Overlap-Based Similarity Metrics for Motif Search in DNA Sequences
Understanding Test-Time Augmentation
A Fuzzy VSM-Based Approach for Semantic Service Retrieval
Influence of Difference of Spatial Information Obtained from a Moving Virtual Sound Presentation on Auditory BCI
Multi-domain Abdomen Image Alignment Based on Joint Network of Registration and Synthesis
Ontology-Based Framework for Personalized Diagnosis and Prognosis of Cancer Based on Gene Expression Data
Attention Based Dialogue Context Selection Model
Accurate Localization Algorithm in Wireless Sensor Networks in the Presence of Cross Technology Interference
RAEDiff: Diffusion Models Enable Self-Generation and Self-Recovery of Reversible Adversarial Examples
Fast Protocol Recognition by Network Packet Inspection
Quantum Inspired Evolutionary Algorithm by Representing Candidate Solution as Normal Distribution
Using Image Stimuli to Drive fMRI Analysis
XaIBO: An Extension of aIB for Trajectory Clustering with Outlier
Neural Information Processing - 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part VII
Deep Learning Based Placement Acceleration for 3D-ICs
A Nonlinear Prediction Search Algorithm with Successive Differentiation for Video Coding
SCIEnt: A Semantic-Feature-Based Framework for Core Information Extraction from Web Pages
Neural Local and Global Contexts Learning for Word Sense Disambiguation
Discrete-Time Hopfield Neural Network Based Text Clustering Algorithm
Particle Swarm Optimization Based Salient Object Detection for Low Contrast Images
Cooperation and Competition: Flocking with Evolutionary Multi-Agent Reinforcement Learning
Enhanced Genetic Algorithm Applied for Global Optimization
Fundamental Macro-Properties of Brain Activity Revealed by Magnetoencephalography (MEG)
An Iterative Method for a Class of Generalized Global Dynamical System Involving Fuzzy Mappings in Hilbert Spaces
In Situ Augmentation for Defending Against Adversarial Attacks on Text Classifiers
Data Mining Using AI Techniques to Enhance Decision-Making and Investments in the Capital Markets
Progressive Supervision for Tampering Localization in Document Images
RLD-GS: Reinforcement Learning-Driven Gaussian Splatting for High-Fidelity Neural Rendering
A Set of Geometrical Features for Writer Identification
Optimizing and Benchmarking a Multi-task Transformer Model for Netlist Generation of Electrical Passive Components
A Novel Iterative Fusion Multi-task Learning Framework for Solving Dense Prediction
Robust Collaboration: Enriching Decisions with Abstract Preferences
Declarative Agent Languages and Technologies VIII - 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers
Component-Based Standardisation of Agent Communication
Programming Declarative Goals Using Plan Patterns
Towards Process-Oriented Modelling and Creation of Multi-Agent Systems
Coo-BDI: Extending the BDI Model with Cooperativity
Declarative Agent Languages and Technologies II, Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
Plan Indexing for State-Based Plans
Norm Verification and Analysis of Electronic Institutions
LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming
Distributed Abductive Reasoning with Constraints
Beliefs in Agent Implementation
From Multi-Agent Programming to Object Oriented Design Patterns
The Semantics of MALLET-An Agent Teamwork Encoding Language
An Architecture for Rational Agents
1000 Years of Coo-BDI
Computing Utility from Weighted Description Logic Preference Formulas
Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS
Goal Generation from Possibilistic Beliefs Based on Trust and Distrust
Composing High-Level Plans for Declarative Agent Programming
A Scalable Runtime Platform for Multiagent-Based Simulation
Dynamics of Declarative Goals in Agent Programming
Correctness Properties for Multiagent Systems
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems
The Refinement of Choreographed Multi-Agent Systems
Combining Multiple Knowledge Representation Technologies into Agent Programming Languages
Joint Conversation Specification and Compliance
Verifying Dribble Agents
A Deduction System for Meaning Negotiation
The Logic of Communication Graphs
Strategic Agent Communication: An Argumentation-Driven Approach
Interoperation in Protocol Enactment
Model Checking Agent Dialogues
Dynamic Model Checking for Multi-agent Systems
Detecting Conflicts in Commitments
Automating Belief Revision for AgentSpeak
Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason
The Shaping of the Agent-Oriented Mindset - Twenty Years of Engineering MAS
A Combined Logic of Expectation & Observation. A generalisation of BDI logics
An Agent-based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology
An Integrated Formal Framework for Reasoning about Goal Interactions
Modeling Agents' Choices in Temporal Linear Logic
Web Service Composition via Organisation-Based (Re)Planning
A Collaborative Framework to Realize Virtual Enterprises Using 3APL
Typing Multi-Agent Systems via Commitments
Social Norm Emergence in Virtual Agent Societies
Go! for Multi-Threaded Deliberative Agents
About Declarative Semantics of Logic-Based Agent Languages
A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results
Efficient Verification of MASs with Projections
Agreeing on Defeasible Commitments
Agent Deliberation via Forward and Backward Chaining in Linear Logic
Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology
Infinite States Verification in Game-Theoretic Logics: Case Studies and Implementation
A Modeling Framework for Generic Agent Interaction Protocols
Mutation Testing for Jason Agents
Satisfying Maintenance Goals
Some Thoughts about Commitment Protocols - (Position Paper)
The Interaction as an Integration Component for the JaCaMo Platform
Designing and Implementing a Framework for BDI-Style Communicating Agents in Haskell - (Position Paper)
Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains
Monitoring Directed Obligations with Flexible Deadlines: A Rule-Based Approach
Query-Driven Coordination of Multiple Answer Sets
A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks
Semantic Representations of Agent Plans and Planning Problem Domains
Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming
Leveraging New Plans in AgentSpeak(PL)
A Social Approach to Communication in Multiagent Systems
Social Commitments in Time: Satisfied or Compensated
Operational Semantics for Agents by Iterated Refinement
Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour
A Retrospective on the Reactive Event Calculus and Commitment Modeling Language
Formalizing Commitments Using Action Languages
A Dynamic Logic Programming Based System for Agents with Declarative Goals
Declarative Abstractions for Agent Based Hybrid Control Systems
Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report
MAS as Complex Systems: A View on the Role of Declarative Approaches
Keeping a Clear Separation between Goals and Plans
A Proposal for Reasoning in Agents: Restricted Entailment
Improving the Design and Modularity of BDI Agents with Capability Relationships
Complete Axiomatizations of Finite Syntactic Epistemic States
Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication
Side Effects of Agents Are Not Just Random
A Stepwise Refinement Based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants
Probing Attacks on Multi-Agent Systems Using Electronic Institutions
Towards Theory Translation
Logic-Based Electronic Institutions
A Lightweight Coordination Calculus for Agent Systems
Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading
On Modelling Multi-agent Systems Declaratively
Tractable Reasoning about Group Beliefs
Understanding Permissions through Graphical Norms
A logic for ignorance
Agent-Oriented Modelling: Declarative or Procedural?
Enhancing Commitment Machines
Mental State Abduction of BDI-Based Agents
Agent-Oriented Programming with Underlying Ontological Reasoning
Abstracting and Verifying Strategy-Proofness for Auction Mechanisms
Reasoning About Agents' Interaction Protocols Inside DCaseLP
Partial Deduction for Linear Logic-The Symbolic Negotiation Perspective
Handling Change in Normative Specifications
Keep Improving MAS Method Fragments: A Medee-Based Case Study for MOISE+
Solving Fuzzy Distributed CSPs: An Approach with Naming Games
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study
Linear Logic, Partial Deduction and Cooperative Problem Solving
Declarative Agent Languages and Technologies IX - 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers
Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers
Tableaux for Acceptance Logic
A Distributed Architecture for Norm-Aware Agent Societies
Environments and Organizations in Multi-Agent Systems: From Modelling to Code
A Distributed Normative Infrastructure for Situated Multi-agent Organisations
Engineering Multi-Agent Systems - Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers
The Evolution of Interoperability
Strong Planning in the Logics of Communication and Change
Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints
Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification - Extended Abstract for a Course at DALT Spring School 2011
JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies
Declarative Agent Languages and Technologies V, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication
N-Jason: Run-Time Norm Compliance in AgentSpeak(L)
Executing Specifications of Social Reasoning Agents
BDI Agents with Objectives and Preferences
A Logic-Based Infrastructure for Reconfiguring Applications
Inductive Negotiation in Answer Set Programming
CaFé: A Group Process to Rationalize Technologies in Hybrid AAMAS Systems
Intensional Programming for Agent Communication
An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents
Playing with Rules
Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games
A Generalized Commitment Machine for 2CL Protocols and Its Implementation
Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages
When Agents Communicate Hypotheses in Critical Situations
Commitment Protocol Generation
A Distributed Architecture for Norm-Aware Agent Societies: A Retrospective
Declarative Agent Languages and Technologies VII, 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers
Reflections on Agent Beliefs
Structured Argumentation in a Mediator for Online Dispute Resolution
Security Games in the Field: Deployments on a Transit System
A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
Plan Generation and Plan Execution in Agent Programming
Declarative Agent Languages and Technologies IV, 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers
Theories of Intentions in the Framework of Situation Calculus
Iterated Belief Revision in the Face of Uncertain Communication
Unifying the Intentional and Institutional Semantics of Speech Acts
Goal-Based Qualitative Preference Systems
SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems
Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers
A Functional Program for Agents, Actions, and Deontic Specifications
Integrating Agent Models and Dynamical Systems
Towards Alternative Approaches to Reasoning About Goals
Producing Compliant Interactions: Conformance, Coverage, and Interoperability
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming
Resource-Bounded Belief Revision and Contraction
Semantic Web and Declarative Agent Languages and Technologies: Current and Future Trends - (Position Paper)
Symbolic Model Checking Commitment Protocols Using Reduction
A Foundational Ontology of Organizations and Roles
Declarative Agent Languages and Technologies, First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers
JADL - An Agent Description Language for Smart Agents
Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Review
Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation
Prioritized Goals and Subgoals in a Logical Account of Goal Change - A Preliminary Report
Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks
The Complexity of Model Checking Concurrent Programs Against CTLK Specifications
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming
The AORTA Architecture: Integrating Organizational Reasoning in Jason
Logic of Information Flow on Communication Channels
Latest Developments of WADE to Support User-Centric Business Processes
A Fibred Tableau Calculus for Modal Logics of Agents
Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective
Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
Generation of Synthetic Data for Sharing and Utilization in Healthcare Data
Automatic Generation of Review Content in Specific Domain of Social Network Based on RNN
Enhancing Adversarial Robustness: A Novel Bayesian Uncertainty-Based Ensemble Learning Method
Shock Trap: An active defense architecture based on trap vulnerabilities
A Novel Concept-Driven Negative Sampling Mechanism for Enhancing Semanticity and Interpretability of Knowledge Graph Completion Task
Enhancing Continuous Service of Information Systems Based on Cyber Resilience
An Empirical Case Study of Meta-IP Chain DAO: The Pioneer Tokenless DAO
Multi-source Knowledge Fusion: A Survey
Research on Vulnerability of Space Information Network Based on Interdependent Networks
CyGPT: Knowledge Graph-Based Enhancement Techniques for Large Language Models in Cybersecurity
Which DGA Family does A Malicious Domain Name Belong To
Deep Learning Based Scene Text Reading for Cloud Audit Information Extraction
An Experimental Study on Block DCT Coefficient Analysis for Image Splicing Detection
Role and Time-Based Access Control with Efficient Revocation for Cloud Storage
Probability-Weighted Extreme Learning Machine for Classification with Uncertain Data
SMRT: An Effective Malicious Node Resistance Design for Mixnets
Influence Maximization on Large-Scale Networks with a Group-Based Method via Network Embedding
The Efficient Implementation of the Android Kernel with China Standard Cryptographic Algorithm
Multimodal Object Classification Using Bidirectional Gated Recurrent Unit Networks
Multi-authority Attribute-Based Encryption Access Control Scheme with Hidden Policy and Constant Length Ciphertext for Cloud Storage
Security and Privacy of Artificial Intelligence with Ethical Concerns
Time-Lock Encryption for Multiple Consecutive Periods and its Application
Attribute-Based Encryption with Multi-keyword Search
A Content Auditing Method of IPsec VPN
On Improving a Microblog Ranking
Community partition based source localization in early time
Dynamic detection technology of encryption algorithm based on Pin
Personality2vec: Network Representation Learning for Personality
10 Gigabit industrial thermal data acquisition and storage solution based on software-defined network
Correlation Analysis Using Global Dataset of Events, Location and Tone
Smart Grid Attack Region Partitioning Strategy Based on Node Importance
Assessing the Risk of Heavy Metal Mixture Exposure and its Association with Cancer Mortality
A Movie Summary Generation System
SCOBERT: A Pre-Trained BERT for Smart Contract Vulnerability Detection
GEV Regression with Convex Loss Applied to Imbalanced Binary Classification
Chinese Text Classification Based on Neural Networks and Word2vec
Identifying Reply Relationships from Telegram Groups Using Multi-Features Fusion
LoginSoEasy: a System Enabling both Authentication and Protection of Personal Information based on Trusted User Agent
Deep Learning-based Mortality Prediction of COVID-19 Patients with Cardiovascular Disease
Research on Multi-Model Fusion for Named Entity Recognition Based on Loop Parameter Sharing Transfer Learning
Building a High-Performance Data Channel for the Federal Cyber Range
Analysis of Big Data Research Hotspots Based on Keyword Co-occurrence
Evaluating the Rationality of Judicial Decision with LSTM-Based Case Modeling
Prediction of Real Popularity based on Sample Debias
Mobile Device Management System Based on AOSP and SELinux
High Efficient and Secure Chaos-Based Compressed Spectrum Sensing in Cognitive Radio IoT Network
Big Data for Social Media Evaluation: A Case of Wechat Platform Rankings in China
PRFP: Privacy-respecting and Accurate Device Fingerprint Identification
A Trusted Power System Network in Electrical Industry
Detection and Defense of SYN Flood Attacks Based on Dual Stack Network Firewall
Hybrid butterfly optimization algorithm-based support vector machine for botnet command-and-control channel detection
A Fast and High Quality Approach for Overlapping Community Detection through Minimizing Conductance
Finding Influential Papers in Citation Networks
Research on Online Learning of Radar Emitter Recognition Based on Hull Vector
Combination Forecast on Health Status of Residents in China
Integrating Relationships and Attributes: A Model of Multilayer Networks
An Improved Uniform Identity Authentication Method Based on SAML in Cloud Environment
Sequence Attention for Multivariate Time Series Forecasting
A Novel Method for Honeypot Anti-Identification against Modbus Fuzz Testing in Industrial Control Systems
Remanufacturing Closed-Loop Supply Chain Model with RFID Technology Saving Recycling Cost
FedValidate: A Robust Federated Learning Framework Based on Client-Side Validation
Research on Security of Key Algorithms in Intelligent Driving System
TREST: A Hadoop Based Distributed Mobile Trajectory Retrieval System
A Blockchain-Based Secure Data Sharing Approach with Proxy Re-Encryption
Cognitive Detection of Multiple Discrete Emotions from Chinese Online Reviews