yusuke1997/dblp-id-title huggingface dataset:
On the Feasibility of Planning Graph Style Heuristics for HTN Planning
PLGRIM: Hierarchical Value Learning for Large-scale Exploration in Unknown Environments
Learning Behaviors Models for Robot Execution Control
Universal Quantification in a Constraint-Based Planner
CHAP-E: A Plan Execution Assistant for Pilots
Learning to Plan Using Harmonic Analysis of Diffusion Models
Closing the Gap: Improved Bounds on Optimal POMDP Solutions
Guidelines for Action Space Definition in Reinforcement Learning-Based Traffic Signal Control Systems
Computing All-Pairs Shortest Paths by Leveraging Low Treewidth
A Path Planning Algorithm for an AUV Guided with Homotopy Classes
A Comparison of Cost Partitioning Algorithms for Optimal Classical Planning
Pervasive Model Adaptation: The Integration of Planning and Information Gathering in Dynamic Production Systems
Online Learning of Robot Soccer Free Kick Plans Using a Bandit Approach
Learning Heuristic Functions through Approximate Linear Programming
Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems
DREAM: An Algorithm for Mitigating the Overhead of Robust Rescheduling
Certified Unsolvability for SAT Planning with Property Directed Reachability
Planning Graph Heuristics for Selecting Objectives in Over-subscription Planning Problems
In-Station Train Dispatching: A PDDL+ Planning Approach
Two-Job Shop Scheduling Problems with Availability Constraints
TLdR: Policy Summarization for Factored SSP Problems Using Temporal Abstractions
Beating LM-Cut with h max (Sometimes): Fork-Decoupled State Space Search
A Closer Look at Causal Links: Complexity Results for Delete-Relaxation in Partial Order Causal Link (POCL) Planning
Chance-Constrained Consistency for Probabilistic Temporal Plan Networks
Binary Branching Multi-Objective Conflict-Based Search for Multi-Agent Path Finding
Sufficient Conditions for Node Expansion in Bidirectional Heuristic Search
Decision support system class for R&D planning
The Need for Different Domain-independent Heuristics
Using Decision Procedures Efficiently for Optimization
Learning to Speed Up Query Planning in Graph Databases
Reserved Optimisation: Handling Incident Priorities in Emergency Response Systems
Safe LTL Assumption-Based Planning
Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, ICAPS 2015, Jerusalem, Israel, June 7-11, 2015
Bounded Suboptimal Path Planning with Compressed Path Databases
Opportunities: A Unifying Framework for Planning and Execution
Partially Observable Online Contingent Planning Using Landmark Heuristics
Model Checking for Adversarial Multi-Agent Reinforcement Learning with Reactive Defense Methods
Measuring and Optimizing Durability against Scheduling Disturbances
Planning for Social Interaction in a Robot Bartender Domain
Multiple Pattern Databases
Sampling-Based Coverage Path Planning for Inspection of Complex Structures
Trade-Offs in Sampling-Based Adversarial Planning
A New Approach to Conformant Planning Using CNF*
Fragment-Based Planning Using Column Generation
Synthesizing Protection Monitors from Causal Structure
Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), June 9-13, 2003, Trento, Italy
Leveraging Probabilistic Reasoning in Deterministic Planning for Large-Scale Autonomous Search-and-Tracking
An Effective Approach to Realizing Planning Programs
Using domain knowledge to restrict search in an AI planner
A Factored Approach to Deterministic Contingent Multi-Agent Planning
Optimal Rectangle Packing: Initial Results
A Planning Heuristic Based on Causal Graph Analysis
On MABs and Separation of Concerns in Monte-Carlo Planning for MDPs
Risk-Variant Policy Switching to Exceed Reward Thresholds
Faster Optimal Planning with Partial-Order Pruning
A Preference-Based Interpretation of Other Agents' Actions
Reinforcement Learning of Dispatching Strategies for Large-Scale Industrial Scheduling
Learning Portfolios of Automatically Tuned Planners
Tuning the Hyperparameters of Anytime Planning: A Metareasoning Approach with Deep Reinforcement Learning
Dynamic Control in Path-Planning with Real-Time Heuristic Search
A Multi-Agent System-driven AI Planning Approach to Biological Pathway Discovery
AIPS 2002 Workshop on Planning for Temporal Domains, Toulous, France, April 24, 2002
GPT Meets PSR
An Optimal Any-Angle Pathfinding Algorithm
Symbolic Planning with Axioms
Bounded Rank Optimization for Effective and Efficient Emergency Response
Loop Detection in the PANDA Planning System
Stochastic Planning with Lifted Symbolic Trajectory Optimization
Beyond Red-Black Planning: Limited-Memory State Variables
Integrating Mission and Task Planning in an Industrial Robotics Framework
When Optimal Is Just Not Good Enough: Learning Fast Informative Action Cost Partitionings
Indefinite-Horizon Reachability in Goal-DEC-POMDPs
A Robotic Execution Framework for Online Probabilistic (Re)Planning
Action-based Planning
Who Said We Need to Relax All Variables?
Bootstrapping Simulation-Based Algorithms with a Suboptimal Policy
Active Grammatical Inference for Non-Markovian Planning
A Fast Incremental Algorithm for Maintaining Dispatchability of Partially Controllable Plans
Deep Policies for Width-Based Planning in Pixel Domains
Abstractions for Oversubscription Planning
From Hybrid Systems to Universal Plans via Domain Compilation
Lessons Learned in Applying Domain-Independent Planning to High-Speed Manufacturing
Generating Exponentially Smaller POMDP Models Using Conditionally Irrelevant Variable Abstraction
Planning and Acting in Incomplete Domains
Planning the Behaviour of Low-Cost Quadcopters for Surveillance Missions
The More, the Merrier: Combining Heuristic Estimators for Satisficing Planning
Symbolic Planning with Edge-Valued Multi-Valued Decision Diagrams
Batch Random Walk for GPU-Based Classical Planning
Dynamic Online Planning and Scheduling Using a Static Invariant-Based Evaluation Model
Tabu-Based Large Neighbourhood Search for Time/Sequence-Dependent Scheduling Problems with Time Windows
Complete Local Search: Boosting Hill-Climbing through Online Relaxation Refinement
A Linear Search Strategy using Bounds
Planning for PDDL3 - An OCSP Based Approach
W-restrained Bidirectional Bounded-Suboptimal Heuristic Search
Landmarks, Critical Paths and Abstractions: What's the Difference Anyway?
Computing Opportunities to Augment Plans for Novel Replanning during Execution
When Policies Can Be Trusted: Analyzing a Criteria to Identify Optimal Policies in MDPs with Unknown Model Parameters
Optimal Planning for Delete-Free Tasks with Incremental LM-Cut
Suspending Recursion in Causal-Link Planning
Structural Patterns of Tractable Sequentially-Optimal Planning
A Compact and Efficient SAT Encoding for Planning
Using Adaptive Priority Weighting to Direct Search in Probabilistic Scheduling
Inferring Probabilistic Reward Machines from Non-Markovian Reward Signals for Reinforcement Learning
Approximate Gradient Descent Convergence Dynamics for Adaptive Control on Heterogeneous Networks
Cooperative Multi-Robot Sampling-Based Motion Planning with Dynamics
Planning under Uncertainty for Coordinating Infrastructural Maintenance
Producing Satisficing Solutions to Scheduling Problems: An Interactive Constraint Relaxation Approach
Talking Trucks: Decentralized Collaborative Multi-Agent Order Scheduling for Self-Organizing Logistics
Handling Goal Utility Dependencies in a Satisfiability Framework
A knowledge based scheduler
Submodular Function Maximization for Group Elevator Scheduling
SAT-Based Parallel Planning Using a Split Representation of Actions
Cost-Sensitive Concurrent Planning Under Duration Uncertainty for Service-Level Agreements
A Network Flow Interpretation of Robust Goal Legibility in Path Finding
The Consistent Case in Bidirectional Search and a Bucket-to-Bucket Algorithm as a Middle Ground between Front-to-End and Front-to-Front
New Results for the GEO-CAPE Observation Scheduling Problem
Computing Valid Intervals for Collections of Activities with Shared States and Resources
Temporally-Expressive Planning as Constraint Satisfaction Problems
Efficient Policy Construction for MDPs Represented in Probabilistic PDDL
Multiple Plans are Better than One: Diverse Stochastic Planning
Criticality Metrics for Distributed Plan and Schedule Management
Integrating Acting, Planning, and Learning in Hierarchical Operational Models
Backward Plan Construction for Planning with Partial Observability
Improving the Combination of JPS and Geometric Containers
Detecting Unsolvability Based on Separating Functions
Tight Bounds for HTN Planning
The Compression Power of Symbolic Pattern Databases
Economically Augmented Job Shop Scheduling
Learning Generalized Reactive Policies Using Deep Neural Networks
Incremental Policy Generation for Finite-Horizon DEC-POMDPs
Situated Temporal Planning Using Deadline-aware Metareasoning
Efficient ADD Operations for Point-Based Algorithms
Advances in A I applications for power system planning
Counterexample-Guided Abstraction Refinement for Pattern Selection in Optimal Classical Planning
Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems
Incentivizing the Use of Bike Trailers for Dynamic Repositioning in Bike Sharing Systems
Transition Trees for Cost-Optimal Symbolic Planning
Multi-Objective Policy Generation for Mobile Robots under Probabilistic Time-Bounded Guarantees
Exploiting the Power of Local Search in a Branch and Bound Algorithm for Job Shop Scheduling
Robust Execution of Temporally Flexible Plans for Bipedal Walking Devices
A New Local Search for the Job Shop Problem with Uncertain Durations
Proceedings of the First International Conference on Expert Planning Systems, Brighton, UK, June 27-29, 1990
Incremental Planning with Adaptive Dimensionality
Adapting Routines to Improve Task Coordination
Short-Term Human-Robot Interaction through Conditional Planning and Execution
Real Time Crowd Navigation from First Principles of Probability Theory
A Multiagent Planning Architecture
Learning to Avoid Local Minima in Planning for Static Environments
Safety Shielding under Delayed Observation
Improved Non-Deterministic Planning by Exploiting State Relevance
Efficient Solutions to Factored MDPs with Imprecise Transition Probabilities
A New Hybrid Genetic Algorithm for the Job Shop Scheduling Problem with Setup Times
Learning Relational Decision Trees for Guiding Heuristic Planning
A Framework for Automatic Problem Decomposition in Planning
Temporal Planning through Mixed Integer Programming
Heuristics for Bounded-Cost Search
Complexity of Timeline-Based Planning
Optimizing Planning Domains by Automatic Action Schema Splitting
Endomorphisms of Lifted Planning Problems
itSIMPLE 2.0: An Integrated Tool for Designing Planning Domains
Near-Optimal Nonmyopic Contact Center Planning Using Dual Decomposition
Tackling Large-Scale Home Health Care Delivery Problem with Uncertainty
Speeding Up Search-Based Motion Planning using Expansion Delay Heuristics
Revisiting Goal Probability Analysis in Probabilistic Planning
Robust Partial Order Schedules for RCPSP/max with Durational Uncertainty
Minimal Sufficient Explanations for Factored Markov Decision Processes
Stochastic Over-Subscription Planning Using Hierarchies of MDPs
Bayesian Optimization with Resource Constraints and Production
LPG: A Planner Based on Local Search for Planning Graphs with Action Costs
Improving Jump Point Search
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, ICAPS 2012, Atibaia, São Paulo, Brazil, June 25-19, 2012
DeepFreight: A Model-free Deep-reinforcement-learning-based Algorithm for Multi-transfer Freight Delivery
Planning, Behaviours, Decomposition, and Monitoring Using Graph Grammars and Fuzzy Logic
Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners
A knowledge based planning and scheduling toolkit for the process industry
Human Frontal Lobes and AI Planning Systems
Using Iterative Repair to Improve the Responsiveness of Planning and Scheduling
Planning Spacecraft Activities: An Automated Approach
Temporal Planning With Required Concurrency Using Classical Planning
Uniform Machine Scheduling with Predictions
A Competitive Analysis of Online Multi-Agent Path Finding
The Design of ALPS: An Adaptive Learning and Planning System
Prioritizing Bellman Backups without a Priority Queue
Traps, Invariants, and Dead-Ends
LM-Cut Heuristics for Optimal Linear Numeric Planning
Solving Simultaneous Target Assignment and Path Planning Efficiently with Time-Independent Execution
SOFIA's Choice: Scheduling Observations for an Airborne Observatory
A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems
On-line Planning and Scheduling for High-speed Manufacturing
Localizing Planning with Functional Process Models
Concurrent Probabilistic Temporal Planning with Policy-Gradients
Learning Heuristic Selection with Dynamic Algorithm Configuration
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic
Analyzing Plans with Conditional Effects
The Discrete Morse Complex of Images: Algorithms, Modeling and Applications
Determination of Aggregate Elastic Properties of Powder-Beds in Additive Manufacturing Using Convolutional Neural Networks
Simulation and Application of a Piezo-Driven System Enabling Vibration-Assisted Micro Milling
Physical Modeling of Process Forces in Grinding
Physics Simulation of Material Flows: Effects on the Performance of a Production System
Physical Modeling of Process-Machine-Interactions in Micro Machining
2nd International Conference of the DFG International Research Training Group 2057 - Physical Modeling for Virtual Manufacturing, iPMVM 2020, Schloss Dagstuhl, Wadern, Germany (Virtual Conference), November 16-18, 2020
A Phase Field Modeling Approach of Crack Growth in Materials with Anisotropic Fracture Toughness
Modeling of Nanoindentation in Ni-Graphene Nanocomposites: A Molecular Dynamics Sensitivity Study
Interactive Quality Inspection of Measured Deviations in Sheet Metal Assemblies
Is Smaller Always Better? - Evaluating Video Compression Techniques for Simulation Ensembles
An Improved Particle Finite Element Method for the Simulation of Machining Processes
Finite Element Simulation Combination to Predict the Distortion of Thin Walled Milled Aluminum Workpieces as a Result of Machining Induced Residual Stresses
Molecular Simulation Study on the Influence of the Scratching Velocity on Nanoscopic Contact Processes
Optimized Routine of Machining Distortion Characterization Based on Gaussian Surface Curvature
Development and Validation of Energy Simulation for Additive Manufacturing
Visitation Graphs: Interactive Ensemble Visualization with Visitation Maps
Influence of Flank Face Structuring on Cooling, Tool Lifetime and Borehole Quality When Drilling Inconel 718: Physical Simulations and Experimental Validation
Physical Modeling of Full-Field Time-Domain Optical Coherence Tomography
Interpolation of Scientific Image Databases
Trigram-Based Persistent IDE Indices with Quick Startup
Evolving the Computational Notebook: A Two-Dimensional Canvas for Enhanced Human-AI Interaction
Tool-augmented LLMs as a Universal Interface for IDEs
Don't Step on My Toes: Resolving Editing Conflicts in Real-Time Collaboration in Computational Notebooks
Code Refactoring in Virtual Reality
Proceedings of the 1st ACM/IEEE Workshop on Integrated Development Environments, IDE 2024, Lisbon, Portugal, 20 April 2024
Using CognitIDE to Capture Developers' Cognitive Load via Physiological Activity During Everyday Software Development Tasks
Bridging Education and Development: IDEs as Interactive Learning Platforms
Envisioning the Next-Generation AI Coding Assistants: Insights & Proposals
LLM-Driven Code Refactoring: Opportunities and Limitations
In-IDE Human-AI Experience in the Era of Large Language Models; A Literature Review
Embedding-based search in JetBrains IDEs
Help Me to Understand this Commit! - A Vision for Contextualized Code Reviews
Jasay: Towards Voice Commands in Projectional Editors
Detecting Security-Relevant Methods using Multi-label Machine Learning
Context Composing for Full Line Code Completion
IEEE/ACM Second IDE Workshop, IDE@ICSE 2025, Ottawa, ON, Canada, May 3, 2025
In-IDE Programming Courses: Learning Software Development in a Real-World Setting
A Plugin for Cross-Language Static Analysis for Vulnerability Detection in Android Applications
Hidden Gems in the Rough: Computational Notebooks as an Uncharted Oasis for IDEs
Enhancing Block Composition: The Role of Category Highlighting in Block-Based Environments
IDEs in the age of LLMs and XR
The Visual Debugger: Past, Present, and Future
JetTrain: IDE-Native Machine Learning Experiments
On the Integration of Spectrum-Based Fault Localization Tools into IDEs
Trust Calibration in IDEs: Paving the Way for Widespread Adoption of AI Refactoring
IDE Native, Foundation Model Based Agents for Software Refactoring
Understanding and Evaluating Developer Behaviour in Programming Tasks
HyLiMo: A Hybrid Live-Synchronized Modular Diagramming Editor as IDE Extension for Technical and Scientific Publications
I3DE: An IDE for Inspecting Inconsistencies in PL/SQL Code
A New Generation of Intelligent Development Environments
IntelliGame in Action: An Experience Report on Gamifying JavaScript Unit Tests
Lessons from a Pioneering Software Engineering Environment: Design Principles of Software through Pictures
An IDE Plugin for Gamified Continuous Integration
Improving the DX for Newbie and Casual Array Developers
A Prototype VS Code Extension to Improve Web Accessible Development
Gamified GUI testing with Selenium in the IntelliJ IDE: A Prototype Plugin
Rethinking IDE Customization for Enhanced HAX: A Hyperdimensional Perspective
Challenges of Processing Data Clumps within Plugin Architectures of Integrated Development Environment
An efficient technique for image contrast enhancement using artificial bee colony
Accessibility evaluation of a mobile biometric recognition system
Cardiac radar for biometric identification using nearest neighbour of continuous wavelet transform peaks
A hybrid model for CFA interpolation detection
Utilizing Template Diversity for Fusion Of Face Recognizers
A gender-specific behavioral analysis of mobile device usage data
Improvement of human identification accuracy by wavelet of peak-aligned ECG
Locality Preserving Discriminant Projection
Efficient blind image deblurring method for palm print images
Modeling the individuality of iris pattern and the effectiveness of inconsistent bit masking strategy
Pore based indexing for High-Resolution Fingerprints
DeepVein: Novel finger vein verification methods based on Deep Convolutional Neural Networks
Combining keystroke and mouse dynamics for continuous user authentication and identification
Subband Analysis for Performance Improvement of Replay Attack Detection in Speaker Verification Systems
De-genderization by body contours reshaping
Multi-view gait recognition using 2D-EGEI and NMF
FDFNet: A Secure Cancelable Deep Finger Dorsal Template Generation Network Secured via. Bio-Hashing
Blind minutiae selection for standard minutiae templates
Towards making Morphing Attack Detection robust using hybrid Scale-Space Colour Texture Features
Quasi-straightness based features for off-line verification of signatures
User Behavior Profiling using Ensemble Approach for Insider Threat Detection
Unusual human activity detection using Markov Logic Networks
A practical evaluation of free-text keystroke dynamics
Tattoo recognition technology - challenge (Tatt-C): an open tattoo database for developing tattoo recognition research
Towards Reducing the Error Rates in Template Protection for Iris Recognition Using Custom Cuckoo Filters
Fusion analysis of soft biometrics for recognition at a distance
Millimetre wave person recognition: Hand-crafted vs learned features
On the vulnerability of extended Multispectral face recognition systems towards presentation attacks
A discriminative spatio-temporal mapping of face for liveness detection
Rendering or normalization? An analysis of the 3D-aided pose-invariant face recognition
Sitting posture diagnosis using a pressure sensor mat
Continuous authentication using one-class classifiers and their fusion
Thermal handprint analysis for forensic identification using Heat-Earth Mover's Distance
Effects of meteorological factors on finger vein recognition
Multi-object trajectory coupling using online target specific decision making
Human face identification via comparative soft biometrics
Keystroke dynamics performance enhancement with soft biometrics
Binary watermarks: a practical method to address face recognition replay attacks on consumer mobile devices
Anatomy of secondary features in keystroke dynamics - achieving more with less
GHCLNet: A generalized hierarchically tuned contact lens detection network
Super-Resolution and Image Re-projection for Iris Recognition
PVSNet: Palm Vein Authentication Siamese Network Trained using Triplet Loss and Adaptive Hard Mining by Learning Enforced Domain Specific Features
Assessment of permanence of non-volitional EEG brainwaves as a biometric
On motion sensors as source for user input inference in smartphones
Biometrie presentation attack detection using gaze alignment
BioSoft - a multimodal biometric database incorporating soft traits
VGR-net: A view invariant gait recognition network
Normalized face image generation with perceptron generative adversarial networks
Investigating users' readiness to trade-off biometric fingerprint data
Iris recognition based on human-interpretable features
Multi-source approach for crowd density estimation in still images
Please hold on: Unobtrusive user authentication using smartphone's built-in sensors
An enhanced statistical approach for median filtering detection using difference image
Quality based classification of images for illumination invariant face recognition
Towards EEG biometrics: pattern matching approaches for user identification
FDSNet: Finger dorsal image spoof detection network using light field camera
Effect of data size on performance of free-text keystroke authentication
Quality of online signature templates
Transfer learning in long-text keystroke dynamics
LivDet-Iris 2015 - Iris Liveness Detection Competition 2015
A two-stage estimation method for depth estimation of facial landmarks
Real-world gender recognition using multi-order LBP and localized multi-boost learning
Pain expression as a biometric: Why patients' self-reported pain doesn't match with the objectively measured pain?
IEEE International Conference on Identity, Security and Behavior Analysis, ISBA 2016, Sendai, Japan, February 29 - March 2, 2016
IEEE 4th International Conference on Identity, Security, and Behavior Analysis, ISBA 2018, Singapore, January 11-12, 2018
Removing Personally Identifiable Information from Shared Dataset for Keystroke Authentication Research
A longitudinal study of iris recognition in children
Performance analysis of gait recognition with large perspective distortion
Prediction of human error using eye movements patterns for unintentional insider threat detection
Pre-trained classifiers with One Shot Similarity for context aware face verification and identification
Orientation invariant gait matching algorithm based on the Kabsch alignment
5th IEEE International Conference on Identity, Security, and Behavior Analysis, ISBA 2019, Hyderabad, India, January 22-24, 2019
A Novel Fingerprint Indexing Approach Focusing on Minutia Location and direction
Ear recognition after ear lobe surgery: A preliminary study
Gender classification from periocular NIR images using fusion of CNNs models
DyGazePass: A gaze gesture-based dynamic authentication system to counter shoulder surfing and video analysis attacks
Improved sequential fusion of heart-signal and fingerprint for anti-spoofing
Forensic Performance on Handwriting to Identify Forgery Owing to Word Alteration
Modeling interactive sensor-behavior with smartphones for implicit and active user authentication
Determining the best attributes for surveillance video keywords generation
Template ageing and quality analysis in time-span separated fingerprint data
An efficient finger vein indexing scheme based on unsupervised clustering