yusuke1997/dblp-id-title huggingface dataset:
A Model for Transformation of Self-Similar Traffic into Poisson's Arrival Packets
Dynamical Change of the Perceiving Properties of Neural Networks as Training with Noise and Its Impact on Pattern Recognition
YSIP2 - Proceedings of the Second Young Scientist's International Workshop on Trends in Information Processing, Dombai, Russian Federation, May 16-20, 2017
The Complexity of Contextual Abduction in Human Reasoning Tasks
Invited Talk: Enabling Smart Data Services for Behavioural Change
A Calculator Model for the Estimation of Noise Immunity of Trans-Ionospheric Communication Channels, Based on the Theory of Residue Number Systems
Obligation versus Factual Conditionals under the Weak Completion Semantics
Image Recognition by a Second-Order Convolutional Neural Network with Dynamic Receptive Fields
An Intelligent System for Content Generation
A Method of Forming Code Sets for CDMA in Communication, Navigation and Control Systems
The Solution to the Problem of Optimal Control in an Unstable Economic System
Processing Principles of Ionosphere Passive Monitoring Data
Advanced Petri Nets and the Fluent Calculus
Tabu Search Hybridized with Multiple Neighborhood Structures for the Frequency Assignment Problem
Hybrid Metaheuristics - 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings
A Hybrid Genetic and Variable Neighborhood Descent for Probabilistic SAT Problem
A Pre-processing Aware RINS Based MIP Heuristic
Hybrid Metaheuristics, First International Workshop, HM 2004, Valencia, Spain, August 22-23, 2004, Proceedings
A Partition-Based Heuristic for the Steiner Tree Problem in Large Graphs
SearchCol: Metaheuristic Search by Column Generation
One-dimensional cutting stock problem with a given number of setups: a hybrid approach of metaheuristics and linear programming
An LP-Based Hybrid Heuristic Procedure for the Generalized Assignment Problem with Special Ordered Sets
Robust Berth Allocation Using a Hybrid Approach Combining Branch-and-Cut and the Genetic Algorithm
Evolutionary Clustering Search for Flowtime Minimization in Permutation Flow Shop
A Memetic Algorithm with Population Management (MA|PM) for the Periodic Location-Routing Problem
GRASP and Variable Neighborhood Search for the Virtual Network Mapping Problem
An ELSxPath Relinking Hybrid for the Periodic Location-Routing Problem
Combining Forces to Reconstruct Strip Shredded Text Documents
Hybridization of Stochastic Tunneling with (Quasi)-Infinite Time-Horizon Tabu Search
On the Combination of Constraint Programming and Stochastic Search: The Sudoku Case
Stochastic Local Search Algorithms for the Direct Aperture Optimisation Problem in IMRT
Hybrid Local Search Techniques for the Generalized Balanced Academic Curriculum Problem
Colour Reassignment in Tabu Search for the Graph Set T-Colouring Problem
A Hybrid GRASP-Path Relinking Algorithm for the Capacitated p-hub Median Problem
A Variable Neighborhood Search Using Very Large Neighborhood Structures for the 3-Staged 2-Dimensional Cutting Stock Problem
Using Datamining Techniques to Help Metaheuristics: A Short Survey
A Taxonomy of Cooperative Search Algorithms
Parametrized Greedy Heuristics in Theory and Practice
Optimised Search Heuristic Combining Valid Inequalities and Tabu Search
A Memetic Algorithm for Reconstructing Cross-Cut Shredded Text Documents
A New Multi-objective Particle Swarm Optimization Algorithm Using Clustering Applied to Automated Docking
A Hybrid Metaheuristic to Solve the Resource Allocation Problem in Bike Sharing Systems
Hybrid Tabu Search for Lot Sizing Problems
A Hybrid Tabu Search Heuristic for a Bilevel Competitive Facility Location Model
Scheduling Simultaneous Resources: A Case Study on a Calibration Laboratory
Hybrid Algorithms for the Variable Sized Bin Packing Problem
A Unified View on Hybrid Metaheuristics
Hybrids of Integer Programming and ACO for Resource Constrained Job Scheduling
Comparing Parallelization of an ACO: Message Passing vs. Shared Memory
The Capacitated m Two-Node Survivable Star Problem: A Hybrid Metaheuristic Approach
Dealing with the Strategic Level of Decisions Related to Automated Transit Networks: A Hybrid Heuristic Approach
Iterative Probabilistic Tree Search for the Minimum Common String Partition Problem
Hybridizing Beam-ACO with Constraint Programming for Single Machine Job Scheduling
Effective Hybrid Stochastic Local Search Algorithms for Biobjective Permutation Flowshop Scheduling
An Evolutionary ILS-Perturbation Technique
A New Approach for Solving the Generalized Traveling Salesman Problem
Hybrid Metaheuristics - 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings
Neighborhood Composition Strategies in Stochastic Local Search
Reconstruction of Chlorophyll Concentration Profile in Offshore Ocean Water using a Parallel Ant Colony Code
A Self-adaptive Differential Evolution with Fragment Insertion for the Protein Structure Prediction Problem
Hybrid Heuristics for Dynamic Resource-Constrained Project Scheduling Problem
Fixed Set Search Applied to the Traveling Salesman Problem
Iterative Relaxation-Based Heuristics for the Multiple-choice Multidimensional Knapsack Problem
A Memetic Algorithm for the Tool Switching Problem
Boosting VNS with Neighborhood Heuristics for Solving Constraint Optimization Problems
A Reactive Greedy Randomized Variable Neighborhood Tabu Search for the Vehicle Routing Problem with Time Windows
Optimization of the Velocity Profile of a Solar Car Used in the Atacama Desert
On Index Structures in Hybrid Metaheuristics for Routing Problems with Hard Feasibility Checks: An Application to the 2-Dimensional Loading Vehicle Routing Problem
GeNePi: A Multi-Objective Machine Reassignment Algorithm for Data Centres
Guiding ACO by Problem Relaxation: A Case Study on the Symmetric TSP
Multi-level Ant Colony Optimization for DNA Sequencing by Hybridization
Workgroups Diversity Maximization: A Metaheuristic Approach
Improvement in the Performance of Island Based Genetic Algorithms Through Path Relinking
An Improved Memetic Algorithm for Break Scheduling
Hybridization as Cooperative Parallelism for the Quadratic Assignment Problem
Packing Problems with Soft Rectangles
Maximising the Net Present Value of Project Schedules Using CMSA and Parallel ACO
A Hybrid Metaheuristic for the Longest Common Subsequence Problem
An Iterated Local Search Heuristic for a Capacitated Hub Location Problem
A Path-Generation Matheuristic for Large Scale Evacuation Planning
GRASP-VNS hybrid for the Strip Packing Problem
Using Memory to Improve the VNS Metaheuristic for the Design of SDH/WDM Networks
A Multi-population Parallel Genetic Algorithm for Highly Constrained Continuous Galvanizing Line Scheduling
Algorithm Comparison by Automatically Configurable Stochastic Local Search Frameworks: A Case Study Using Flow-Shop Scheduling Problems
Incremental Particle Swarm-Guided Local Search for Continuous Optimization
Hybrid Numerical Optimization for Combinatorial Network Problems
3D Inter-subject Medical Image Registration by Scatter Search
Empirical Analysis of Two Different Metaheuristics for Real-World Vehicle Routing Problems
Speeding Up Logic-Based Benders' Decomposition by a Metaheuristic for a Bi-Level Capacitated Vehicle Routing Problem
A Hybrid VNS for Connected Facility Location
Iterated Greedy Algorithms for a Real-World Cyclic Train Scheduling Problem
Local Search Methods for the MRCPSP-Energy
A Hybrid Simulated Annealing Algorithm for Location of Cross-Docking Centers in a Supply Chain
Experimental Analysis of Pheromone-Based Heuristic Column Generation Using irace
Matheuristics: Optimization, Simulation and Control
A Hybrid Meta-heuristic Approach for Natural Gas Pipeline Network Optimization
Generic CP-Supported CMSA for Binary Integer Linear Programs
Hybrid Metaheuristics - 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings
A Hybrid Multi-Objective Evolutionary Algorithm Using an Inverse Neural Network
A hybrid ACO algorithm for the Capacitated Minimum Spanning Tree Problem
Investigation of One-Go Evolution Strategy/Quasi-Newton Hybridizations
New Hybrid Matheuristics for Solving the Multidimensional Knapsack Problem
Hybridization of GRASP Metaheuristics with Data Mining Techniques
Hierarchical Iterated Local Search for the Quadratic Assignment Problem
A Memetic Algorithm for the Optimum Communication Spanning Tree Problem
Game of Patterns and Genetic Algorithms Under a Comparative Study
An Effective Memetic Algorithm with Population Management for the Split Delivery Vehicle Routing Problem
On the Integration of a TSP Heuristic into an EA for the Bi-objective Ring Star Problem
Incorporating Inference into Evolutionary Algorithms for Max-CSP
A Hybridized Particle Swarm Optimization with Expanding Neighborhood Topology for the Feature Selection Problem
An Efficient Heuristic to the Traveling Salesperson Problem with Hotel Selection
DEEPSAM: A Hybrid Evolutionary Algorithm for the Prediction of Biomolecules Structure
Multiple Variable Neighborhood Search Enriched with ILP Techniques for the Periodic Vehicle Routing Problem with Time Windows
Lagrangian Decomposition, Metaheuristics, and Hybrid Approaches for the Design of the Last Mile in Fiber Optic Networks
On Missing Data Hybridizations for Dimensionality Reduction
Hybrid Metaheuristics, Second International Workshop, HM 2005, Barcelona, Spain, August 29-30, 2005, Proceedings
Intensification/Diversification in Decomposition Guided VNS
Variable Neighbourhood Descent with Memory: A Hybrid Metaheuristic for Supermarket Resupply
Strategies for Iteratively Refining Layered Graph Models
Hybrid Metaheuristics - 11th International Workshop, HM 2019, Concepción, Chile, January 16-18, 2019, Proceedings
A CP/LNS Approach for Multi-day Homecare Scheduling Problems
Hybrid Metaheuristics - 9th International Workshop, HM 2014, Hamburg, Germany, June 11-13, 2014. Proceedings
Evolutionary Local Search for the Super-Peer Selection Problem and the p -Hub Median Problem
Hybrid Metaheuristics, 4th International Workshop, HM 2007, Dortmund, Germany, October 8-9, 2007, Proceedings
+CARPS: Configuration of Metaheuristics based on JADE Agents
An Adaptive Greedy Genetic Algorithm Using Fuzzy Reasoning for the Travelling Salesman Problem
Hybridization of Chaotic Systems and Success-History Based Adaptive Differential Evolution
Finding Uniquely Hamiltonian Graphs of Minimum Degree Three with Small Crossing Numbers
Consultant-Guided Search Algorithms for the Quadratic Assignment Problem
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal + +
A Hybrid ACO+CP for Balancing Bicycle Sharing Systems
A New Hybrid Metaheuristic - Combining Stochastic Tunneling and Energy Landscape Paving
Automatic Tuning of GRASP with Evolutionary Path-Relinking
A Hybridization of Electromagnetic-Like Mechanism and Great Deluge for Examination Timetabling Problems
Automatic Design of Hybrid Stochastic Local Search Algorithms
Using Branch & Bound Concepts in Construction-Based Metaheuristics: Exploiting the Dual Problem Knowledge
Solving Feature Subset Selection Problem by a Hybrid Metaheuristic
Gradient-Based/Evolutionary Relay Hybrid for Computing Pareto Front Approximations Maximizing the S-Metric
Hybrid Metaheuristics, 6th International Workshop, HM 2009, Udine, Italy, October 16-17, 2009. Proceedings
Investigating Edge-Reordering Procedures in a Tabu Search Algorithm for the Capacitated Arc Routing Problem
Interleaving Constraint Propagation: An Efficient Cooperative Search with Branch and Bound
Scheduling Social Golfers with Memetic Evolutionary Programming
A Symbiotic Organisms Search Algorithm for Blood Assignment Problem
Applying an Iterated Greedy Algorithm to Production Programming on Manufacturing Environment Controlled by the PBC Ordering System
Evolution Strategies and Threshold Selection
A GRASP/VND Heuristic for a Generalized Ring Star Problem
Hybrid Metaheuristics, Third International Workshop, HM 2006, Gran Canaria, Spain, October 13-15, 2006, Proceedings
A Cultural Algorithm for POMDPs from Stochastic Inventory Control
A Hybrid GRASP with Data Mining for the Maximum Diversity Problem
Balancing Bicycle Sharing Systems: Improving a VNS by Efficiently Determining Optimal Loading Operations
Hybrid Metaheuristics, 5th International Workshop, HM 2008, Málaga, Spain, October 8-9, 2008. Proceedings
Hybridizing GRASP, PROBE and Path Relinking
Memetic Algorithm for Intense Local Search Methods Using Local Search Chains
Variable Neighborhood Search Coupled with ILP-Based Very Large Neighborhood Searches for the (Periodic) Location-Routing Problem
A Hybrid LS-CP Solver for the Shifts and Breaks Design Problem
Hybrid Metaheuristic for the Assembly Line Worker Assignment and Balancing Problem
Hybrid Approaches for Rostering: A Case Study in the Integration of Constraint Programming and Local Search
Ants for Sampling in the Nested Partition Algorithm
Adaptation of Late Acceptance Hill Climbing Algorithm for Optimizing the Office-Space Allocation Problem
Construct, Merge, Solve and Adapt: Application to Unbalanced Minimum Common String Partition
A Variable Neighborhood Search Integrated in the POPMUSIC Framework for Solving Large Scale Vehicle Routing Problems
JAM: A Tabu-Based Two-Stage Simulated Annealing Algorithm for the Multidimensional Arrangement Problem
A Multi-Start Evolutionary Local Search for the Two-Echelon Location Routing Problem
Combining Local Search with the Multilevel Paradigm for the Traveling Salesman Problem
Incorporating Tabu Search Principles into ACO Algorithms
Combining Genetic Algorithm and Simulated Annealing Methods for Reconstructing HV-Convex Binary Matrices
Solving a Video-Server Load Re-Balancing Problem by Mixed Integer Programming and Hybrid Variable Neighborhood Search
A Hybrid GRASP/VND Heuristic for the Design of Highly Reliable Networks
A Hybrid Multi-objective Evolutionary Approach for Optimal Path Planning of a Hexapod Robot - A Preliminary Study
A Hybrid ILS Heuristic to the Referee Assignment Problem with an Embedded MIP Strategy
Fast Ejection Chain Algorithms for Vehicle Routing with Time Windows
Improvement Strategies for the F-Race Algorithm: Sampling Design and Iterative Refinement
COSEARCH: A Parallel Co-evolutionary Metaheuristic
Survey: Matheuristics for Rich Vehicle Routing Problems
Cooperative Parallel Decomposition Guided VNS for Solving Weighted CSP
Multi-chaotic Approach for Particle Acceleration in PSO
Hybrid Local Search Techniques for the Resource-Constrained Project Scheduling Problem
A Local Search Approach for Binary Programming: Feasibility Search
Multi-neighborhood Local Search for the Patient Admission Problem
Districting and Routing for Security Control
Online Performance Measures for Metaheuristic Optimization
Hybrid Metaheuristics for the Far From Most String Problem
Functional Dependencies on Extended Relations Defined by Regular Languages
Implementing Term Algebra Syntactic Unification in Free Modules over Certain Rings
Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-Inference
A Framework for Comparing Query Languages in Their Ability to Express Boolean Queries
Foundations of Information and Knowledge Systems, Third International Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20, 2004, Proceedings
On the Existence of Armstrong Instances with Bounded Domains
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover
A Probabilistic Logic with Polynomial Weight Formulas
A Generalized Iterative Scaling Algorithm for Maximum Entropy Model Computations Respecting Probabilistic Independencies
Using Functional Dependencies for Reducing the Size of a Data Cube
On the Semantics of Partially Ordered Bases
Systems and Implementations for Solving Reasoning Problems in Conditional Logics
Information-Optimal Reflections of View Updates on Relational Database Schemata
Hypergraph Transversals
Persistent Turing Machines as a Model of Interactive Computation
Cost-Minimising Strategies for Data Labelling: Optimal Stopping and Active Learning
A Logical Framework for Integrating Inconsistent Information in Multiple Databases
Autonomous Sets - A Method for Hypergraph Decomposition with Applications in Database Theory
Functional Dependencies in Presence of Errors
Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach
Simplification of Integrity Constraints for Data Integration
Solving Abduction by Computing Joint Explanations: Logic Programming Formalization, Applications to P2P Data Integration, and Complexity Results
Challenges in Fixpoint Computation with Multisets
Foundations of Information and Knowledge Systems - 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings
Foundations of Information and Knowledge Systems - 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings
Towards a Paradoxical Description Logic for the Semantic Web
An Investigation of the Negationless Fragment of the Rescher-Härtig quantifier
A Decidable Multi-agent Logic with Iterations of Upper and Lower Probability Operators
On Lifted Inference for a Relational Probabilistic Conditional Logic with Maximum Entropy Semantics
Approximation and Dependence via Multiteam Semantics
Tools and Techniques in Qualitative Reasoning about Space
Maintenance of Queries Under Database Changes: A Unified Logic Based Approach
Enumeration Complexity of Poor Man's Propositional Dependence Logic
Schema Optimisation Instead of (Local) Normalisation
Uniform Evaluation of Nonmonotonic DL-Programs
Reflective Relational Machines Working on Homogeneous Databases
Probabilistic Team Semantics
Strategic Dialogical Argumentation Using Multi-criteria Decision Making with Application to Epistemic and Emotional Aspects of Arguments
Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic
Towards a Fuzzy Logic for Automated Multi-issue Negotiation
Algorithmic Definability and Completeness in Modal Logic
Properties of System W and Its Relationships to Other Inductive Inference Operators
Backing and Undercutting in Abstract Argumentation Frameworks
Realisability of Choreographies
Flexible and Efficient Distributed Resolution of Large Entities
A k-Means-Like Algorithm for Clustering Categorical Data Using an Information Theoretic-Based Dissimilarity Measure
Approximate Keys and Functional Dependencies in Incomplete Databases with Limited Domains
Axiomatising Functional Dependencies for XML with Frequencies
Imprecision and User Preferences in Multimedia Queries: A Generic Algebraic Approach
Concatenation, Separation, and Other Properties of Variably Polyadic Relations
Old Keys that Open New Doors
FD Covers and Universal Complements of Simple Projections
Some Contributions to the Minimum Representation Problem of Key Systems
Error-Correcting Keys in Relational Databases
A Survey of the Data Complexity of Consistent Query Answering under Key Constraints
Using Transversals for Discovering XML Functional Dependencies
Verifying Resource Requirements for Ontology-Driven Rule-Based Agents
Semantic Matching Strategies for Job Recruitment: A Comparison of New and Known Approaches
Towards Controlled Query Evaluation for Incomplete First-Order Databases
Skyline Cardinality for Relational Processing
Evolving Schemas for Streaming XML
Event Sequence Interpretation of Structural Geomodels: A Knowledge-Based Approach for Extracting Tectonic Sequences
The Impact of Transitive Closure on the Boolean Expressiveness of Navigational Query Languages on Graphs
Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases
Plan Databases: Model and Algebra
On the Logic of Interventionist Counterfactuals Under Indeterministic Causal Laws
Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings
Minimal Keys in Higher-Order Datamodels
On the Expressive Power of Message-Passing Neural Networks as Global Feature Map Transformers
The Structure of Oppositions in Rough Set Theory and Formal Concept Analysis - Toward a New Bridge between the Two Settings
Possibilistic Conditional Tables
A Knowledge Based Framework for Link Prediction in Social Networks
Arity and Alternation: A Proper Hierarchy in Higher Order Logics
Logic-Based Approach to Incremental Monitoring and Optimization on Strongly Distributed Data Streams
Minimal Armstrong Databases for Cardinality Constraints
Towards a Unified Model of Preference-Based Argumentation
First-Order Definable Counting-Only Queries
On the Existence of Armstrong Data Trees for XML Functional Dependencies
Uniqueness of Update Strategies for Database Views
Possibilistic Semantics for Logic Programs with Ordered Disjunction
Game Description Logic with Integers: A GDL Numerical Extension
Towards the Evaluation of Action Reversibility in STRIPS Using Domain Generators
Foundations of Information and Knowledge Systems, Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002, Proceedings
Towards an Approximative Ontology-Agnostic Approach for Logic Programs
An Algorithm for Generating Nash Stable Coalition Structures in Hedonic Games
Consistency Checking Algorithms for Restricted UML Class Diagrams
Towards a Generalized Interaction Scheme for Information Access
ASP Programs with Groundings of Small Treewidth
On Matrices and K-Relations
Scaling up Nonmonotonic c-Inference via Partial MaxSAT Problems
Guarded Open Answer Set Programming with Generalized Literals
A Complete Fragment of LTL(EB)
Social Consolidations: Rational Belief in a Many-Valued Logic of Evidence and Peerhood
Decomposing Analogy: A Logic Characterization
Decomposition of Database Classes under Path Functional Dependencies and Onto Constraints
Foundations of Information and Knowledge Systems, First International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000, Proceedings
Polymorphism in Datalog and Inheritance in a Metamodel
Arguments Using Ontological and Causal Knowledge
Discovering Overlapping Quantitative Associations by Density-Based Mining of Relevant Attributes
Preference-Based Query Tuning Through Refinement/Enlargement in a Formal Context
Query Rewriting with Symmetric Constraints
Optimizing Computation of Repairs from Active Integrity Constraints
On Interactions of Cardinality Constraints, Key, and Functional Dependencies
Synchronous Parallel Database Transformations
Database Preferences Queries - A Possibilistic Logic Approach with Symbolic Priorities
Defeasible Reasoning and Partial Order Planning
Coupling Design and Verification in Software Product Lines
Implementing Ordered Choice Logic Programming using Answer Set Solvers
Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of $\mathcal{E}\mathcal{L}^\bot $ Ontologies
ASPARTIX-V19 - An Answer-Set Programming Based System for Abstract Argumentation
Database Repair via Event-Condition-Action Rules in Dynamic Logic
Making Decision Trees More Accurate by Losing Information
Abstract State Machines: An Overview of the Project
A Multi-granular Database Model
Detecting Suspect Answers in the Presence of Inconsistent Information
Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems
Equational Constraint Solving Via a Restricted Form of Universal Quantification
Guard Independence and Constraint-Preserving Snapshot Isolation
Towards a Tailored Theory of Consistency Enforcement in Databases
Relational Complexity and Higher Order Logics
Revising Belief without Revealing Secrets
A Finite Axiomatization of Conditional Independence and Inclusion Dependencies
Foundations of Information and Knowledge Systems - 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings
Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings
A Graph Based Semantics for Logical Functional Diagrams in Power Plant Controllers
Formalizing Production Systems with Rule-Based Ontologies
Selected Results and Related Issues of Confidentiality-Preserving Controlled Interaction Execution
Visibly Pushdown Transducers for Approximate Validation of Streaming XML
Enhancing Dung's Preferred Semantics