yusuke1997/dblp-id-title huggingface dataset:
Lazy proofs for DPLL(T)-based SMT solvers
Traversal Techniques for Concurrent Systems
Chasing Minimal Inductive Validity Cores in Hardware Model Checking
The Proof Checkers Pacheck and Pastèque for the Practical Algebraic Calculus
Automatic Formal Verification of Block Cipher Implementations
Verification of recursive methods on tree-like data structures
Accurate ICP-based floating-point reasoning
Scaling probabilistic timing verification of hardware using abstractions in design source code
Over-Approximating Boolean Programs with Unbounded Thread Creation
A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts
Scalable MLTL Runtime Monitoring and Satisfiability via Bit-Vector Encoding
Efficient handling of obligation constraints in synthesis from omega-regular specifications
Automatic Verification of Mixed-Level Logic Circuits
Large-scale application of formal verification: From fiction to fact
Verification of a lazy cache coherence protocol against a weak memory model
Formal Methods with a Touch of Magic
A Formal Y86 Simulator with CHERI Features
Stainless Verification System Tutorial
Model Checking on Product Structures
Structure-aware computation of predicate abstraction
Symbolic Computer Algebra for Multipliers Revisited - It's All About Orders and Phases
Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths
From PSL to NBA: a Modular Symbolic Encoding
Selecting Stable Safe Configurations for Systems Modelled by Neural Networks with ReLU Activation
Certifying Proofs for LTL Model Checking
A program transformation for faster goal-directed search
Bisimulation Minimization in an Automata-Theoretic Verification Framework
Small Proofs from Congruence Closure
Optimal Constraint-Preserving Netlist Simplification
Synthesizing Reactive Systems Using Robustness and Recovery Specifications
Localizing Quantifiers for DQBF
Verified Substitution Redundancy Checking
Symmetry Reduction for STE Model Checking
Generalized Reversible Rules
On Solving Presburger and Linear Arithmetic with SAT
Automatic verification of application-tailored OSEK kernels
PV: An Explicit Enumeration Model-Checker
Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012
Automated Conversion of Axiomatic to Operational Models: Theory and Practice
The FMCAD 2020 Student Forum
A Method for the Verification of Memory Management Software in the Presence of TLBs
On interpolants and variable assignments
Tackling Scalability Issues in Bit-Vector Reasoning
Exact quantitative probabilistic model checking through rational search
Formal Synthesis in Circuit Design - A Classification and Survey
A framework for incremental modelling and verification of on-chip protocols
SMT-D: New Strategies for Portfolio-Based SMT Solving
Variable Reuse for Efficient Image Computation
Proof certificates for SMT-based model checkers for infinite-state systems
Word Equations as Abstract Domain for String Manipulating Programs
Automated formal verification of processors based on architectural models
Reactive Synthesis Modulo Theories using Abstraction Refinement
Computing without Servers, V8, Rocket Ships, and Other Batsh*t Crazy Ideas in Data Systems
Non-negative Matrix Factorization for Topic Modeling
2dSearch: A Visual Approach to Search Strategy Formulation
Searching in the Smart City?
User Knowledge and Search Goals in Information Retrieval: A Benchmark and Study on the Evolution of Users' Knowledge Gain
Single Query Optimisation is the Root of All Evil
RUDI: Real-Time Learning to Update Dense Retrieval Indices
REBL: Entity Linking at Scale (prototype)
IOQP: A simple Impact-Ordered Query Processor written in Rust
Proceedings of the Third International Conference on Design of Experimental Search & Information REtrieval Systems, San Jose, CA, USA, August 30-31, 2022
Proceedings of the Second International Conference on Design of Experimental Search & Information REtrieval Systems, Padova, Italy, September 15-18, 2021
Toward Conversational Query Reformulation
Pilot Experiments of Hypothesis Validation Through Evidence Detection for Historians
A Bayesian Neural Model for Documents' Relevance Estimation
What Makes a Query Semantically Hard?
INCEpTION: Interactive machine-assisted annotation
It's Messy Out There: DBC's Journey Towards its First Test Collection
Agile Information Retrieval Experimentation with Terrier Notebooks
Mix and Match: Collaborative Expert-Crowd Judging for Building Test Collections Accurately and Affordably
WannaDB: Ad-hoc Structured Exploration of Text Collections Using Queries
Learning a Sparse Representation Model for Neural CLIR
Keyword Search on RDF Graphs
A Hitchhiker's Guide to Ontology
Combining Lexical and Neural Retrieval with Longformer-based Summarization for Effective Case Law Retrieval
Answering What If, Should I, and Other Expectation Exploration Queries Using Causal Inference over Longitudinal Data
Building Interaction Profiles for Better Search Tools in DLs
BASE: a Bias-Aware news Search Engine for improving user awareness (prototype)
Topic-Specific Off-line Web Search
Exploring Datasets via Cell-Centric Indexing
NeuraSearch: Neuroscience and Information Retrieval
Towards Interactive Summarization of Large Document Collections
Timeline as Information Retrieval and Ranking Unit in News Search
Comparing User Experience in Search Interaction for Conversational and Conventional Search Systems using Implicit Evaluation Methods (prototype)
Towards Supporting Complex Retrieval Tasks Through Graph-Based Information Retrieval and Visual Analytics
RULK: A Framework for Representing User Knowledge in Search-as-Learning
Joint Modeling and Optimization of Search and Recommendation
Finding all the Needles in the Haystack. A System to Estimate the Costs of e-Discovery and Systematic Reviews
Netted?! How to Improve the Usefulness of Spider & Co
T4TEC: A Prototype for Simplified Multilingual Technical Communication (abstract)
On the Development of a Collaborative Search System
Developing ContemporaryWeb-Based Interaction Logging Infrastructure: The Design and Challenges of LogUI
Proceedings of the First Biennial Conference on Design of Experimental Search & Information Retrieval Systems, Bertinoro, Italy, August 28-31, 2018
Temporal Relation Extraction: The Event Ordering Task
We Don't Know S***** (Search)
APONE: Academic Platform for ONline Experiments
Quest: A Query-driven Explanation Framework for Black-Box Classifiers on Tabular Data
Towards System-Initiative Conversational Information Seeking
Training On-Device Ranking Models from Cross-User Interactions in a Privacy-Preserving Fashion
Search Agent Model: A Conceptual Framework for Search by Algorithms and Agent Systems
TAR on Social Media: A Framework for Online Content Moderation
Pretrained Language Models Rankers on Private Data: Is Online and Federated Learning the Solution? (short paper)
On the Separation of Logical and Physical Ranking Models for Text Retrieval Applications
Towards Efficient and Effective Query Variant Generation
Fact Checking and Information Retrieval
NeuralSearchX: Serving a Multi-billion-parameter Reranker for Multilingual Metasearch at a Low Cost
Conversational AI from an Information Retrieval Perspective: Remaining Challenges and a Case for User Simulation
Lessons Learned from 20 Years of Implementing LSI Applications
Enhancing SNS ProfileWriting with a Search-Based Assistant System
Retrieval and Richness when Querying by Document
EXAM: How to Evaluate Retrieve-and-Generate Systems for Users Who Do Not (Yet) Know What They Want
Hyperdimensional utterance spaces
Learning to Rank at Bloomberg - From Theory to Production
Searching Arguments in German with ArgumenText
GeeseDB: A Python Graph Engine for Exploration and Search
Getting to Know You: Search Logs and Expert Grading to Define Children's Search Roles in the Classroom
WASP: Web Archiving and Search Personalized
"Do Users Need Human-like Conversational Agents?" - Exploring Conversational System Design Using Framework of Human Needs
Serverless BM25 Search and BERT Reranking
Implicit-Explicit Representations for Case-Based Retrieval
Balancing ​Efficiency and Effectiveness ​Trade-offs in Large Scale Multi-Stage Search Engines
Closure properties of interconnections of determinate systems
Comparative schematology
Decompositions of control networks
Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, Woods Hole, Massachusetts, USA, June 2-5, 1970
On the determinacy of schemata
Events and conditions: introduction
Flow graph schemata
Events and conditions: properties of marked graphs
Computational processes
Modular, asynchronous control structures for a high performance processor
Coordinated sharing of resources in asynchronous systems
Events and conditions: state machines and information
Events and conditions: system description
Asynchronous machines exhibiting concurrency
Robot Planning in Partially Observable Continuous Domains
Explaining Boolean Classifiers with Non-monotonic Background Theories
Tracking Perceptual and Memory Decisions by Decoding Brain Activity
Dutch SQuAD and Ensemble Learning for Question Answering from Labour Agreements
Modeling and Simulation of Selling, Buying, Deceit, and Trust Behavior in the Trust and Tracing Game
Solving the Travelling Umpire Problem with Answer Set Programming
Predicting 120-Day Hospital Readmission Using Medical Administrative Patient Data
Cognitively Plausible Computational Models of Lexical Processing Can Explain Variance in Human Word Predictions and Reading Times
Formalization and Improvement of Ambulance Dispatching in Brabant-Zuidoost
Designing MacPherson Suspension Architectures Using Bayesian Optimization
Regular Decision Processes for Grid Worlds
Beyond Local Nash Equilibria for Adversarial Networks
Maximum Entropy Logistic Regression for Demographic Parity in Supervised Classification
Solving Hofstadter's Analogies Using Structural Information Theory
A Study of Early Sepsis Detection Models Based on Multivariate Medical Time Series
A Semantic Tableau Method for Argument Construction
Does Language Shape the Way We Conceptualize the World?
Decentralized Reputation-Based Trust for Assessing Agent Reliability Under Aggregate Feedback
A Hybrid Graphical Model for Robust Feature Extraction from Video
Fluidiom: The Evolution of Locomotion
Multiagent Reinforcement Learning with Adaptive State Focus
FlipOut: Uncovering Redundant Weights via Sign Flipping
Improving Zero-Intelligence Plus for Call Markets
Modeling Bayesian Networks by Learning from Experts
Privacy Norms in Online Social Networks
A Virtual Maze Game to Explain Reinforcement Learning
Adversarial Perturbations for Joint Entity and Relation Extraction
Integrating Clinically-Relevant Features into Skin Lesion Classification
Machine Learning Methods for Ordinal Classification with Additional Relative Information
Coordinating Self Interested Autonomous Planning Agents
Active Learning for Reducing Labeling Effort in Text Classification Tasks
GRAWIS: Groningen Automatic Writer Identification System
Efficiency and Fairness in Air Traffic Control
Scientific Machine Learning: Towards Predictive Closed-Form Models
Towards a Phylogenetic Measure to Quantify HIV Incidence
Deep Learning Classifiers to Reduce False Positives in Osteolytic Lesion Segmentation Results from Low-Dose CT Scans of Multiple Myeloma
On the Complexity of Hierarchical Problem Solving
News Topic Recommendation Using an Extended Bayesian Personalized Ranking
Evolving Virtual Embodied Agents Using External Artifact Evaluations
Predictive Maintenance of a Rotating Condenser Inside a Synchrocyclotron
'Thy Algorithm Shalt Not Bear False Witness': An Evaluation of Multiclass Debiasing Methods on Word Embeddings
Combining Model-Based and Instance-Based Learning for First Order Regression
An Adaptive Pursuit Strategy for Allocating Operator Probabilities
Lack of Effort or Lack of Ability? Robot Failures and Human Perception of Agency and Responsibility
A Comparative Study of Sentence Embeddings for Unsupervised Extractive Multi-document Summarization
Sample-Efficient Model-Free Reinforcement Learning with Off-Policy Critics
On Domination and Control in Strategic Ability
Forecast Reconciliation for Vaccine Supply Chain Optimization
Gaining Insight into Determinants of Physical Activity Using Bayesian Network Learning
ExCAPE-DB: An Integrated Large Scale Dataset Facilitating Big Data Analysis in Chemogenomics
Design Considerations for an Infrastructure-Less Mobile Middleware Platform
Explainable Robotics Applied to Bipedal Walking Gait Development
Temporal Plan and Resource Management
No Imputation Without Representation
A Motorized Wheelchair that Learns to Make its Way through a Crowd
Symmetry and Dominance Breaking for Pseudo-Boolean Optimization
Deriving Formulas for Integer Sequences Using Inductive Programming
Segmentation of Photovoltaic Panels in Aerial Photography Using Group Equivariant FCNs
Deep Quality-Value (DQV) Learning
Explaining Lexical Processing Times with Cognitively Plausible Computational Models
Object Detection with Semi-supervised Adversarial Domain Adaptation for Real-Time Edge Devices
A Systematic Analysis of a Context Aware Deep Learning Architecture for Object Detection
Assessing the Optimality of Decentralized Inspection and Maintenance Policies for Stochastically Degrading Engineering Systems
ZebraTutor: Explaining How to Solve Logic Grid Puzzles
SWISH DataLab: A Web Interface for Data Exploration and Analysis
Reduction Methods for Multi-Label Datasets Based on Granular Computing
Aspects of the Cooperative Card Game Hanabi
Exploring Explainable AI in the Financial Sector: Perspectives of Banks and Supervisory Authorities
Conditional Network Embeddings
Defining and Evaluating the Degrees of Abstraction in Explanations with Kolmogorov Complexity
Modelling Mutually Interactive Fictional Character Conversational Agents
Towards Task Allocation Decision Support by means of Cognitive Modeling of Trust (Extended Abstract)
Explaining Two Strange Learning Curves
Temporal Factorization of 3D Convolutional Kernels
Simulated Annealing as an Optimization Algorithm in the Automatic Modular Design of Robot Swarms
All or In-cloud: How the Identification of Six Types of Anomalies Is Affected by the Discretization Method
Virtual Screening on FPGA
Reasoning with Inconsistent Ontologies
TACOP: A Cognitive Agent for a Naval Training Simulation Environment
An Aggregate Learning Approach for Interpretable Semi-Supervised Population Prediction and Disaggregation Using Ancillary Data
Towards Deterministic Diverse Subset Sampling
Using the Max-Plus Algorithm for Multiagent Decision Making in Coordination Graphs
Design of a Fuzzy Logic Based Framework for Comprehensive Anomaly Detection in Real-World Energy Consumption Data
Analysing Visitor Flow Using a Bluetooth Positioning System
Computational Mechanism Design: An AI Agenda
An Interactive Knowledge Base Application for Group Assignment
Constructing a Semantic Network for Legal Content
Efficient Feature Detection for Sequence Classification in a Receptor Database
Swarm Construction Coordinated Through the Building Material
Automatic Ontology Population by Googling
Reinforcement Learning of Traffic Light Controllers Adapting to Traffic Congestion
Semantic Analysis of Chisholm's Paradox
Contamination in Formal Argumentation Systems
Great Expectations & Aborted Business Initiatives: The Paradox of Social Robot Between Research and Industry
Modeling Bilateral Negotiations over Multiple, Interdependent Issues Using Utility Graphs
Model-Based Reinforcement Learning with State Abstraction: A Survey
SubSect - An Interactive Itemset Visualization
Calibrated Multi-Probabilistic Prediction as a Defense against Adversarial Attacks
Modelling Uncertainty in Agent Programming
A Context Aware Deep Learning Architecture for Object Detection
Recipe for Fast Large-Scale SVM Training: Polishing, Parallelism, and More RAM!
Use of the Noisy Threshold Function in Building Bayesian Networks
Handling Unforeseen Failures Using Argumentation-Based Learning
Plan Repair using a Plan Library
Towards Automated Grading of UML Class Diagrams with Machine Learning
A Spiking Neuron Implementation of Genetic Algorithms for Optimization
Training a Speech-to-Text Model for Dutch on the Corpus Gesproken Nederlands
Adversarial Variational Optimization of Non-Differentiable Simulators
Cost-Efficient Segmentation of Electron Microscopy Images Using Active Learning
Towards Legal Compliance by Correlating Standards and Laws with a Semi-automated Methodology
Computer Aided Detection and Diagnosis System for Breast Cancer Detection Based on High Resolution 3D micro-CT Breast Microcalcifications
AutoMoDe-IcePop: Automatic Modular Design of Control Software for Robot Swarms Using Simulated Annealing
The Effect of Noise Level on the Accuracy of Causal Discovery Methods with Additive Noise Models
Multi-Agent Counterfactual Communication Using Difference Rewards Policy Gradients
Towards a Common Lexicon in The Naming Game: The Dynamics of Synonymy Reduction
Learning to Transform, Combine, and Reason in Open-Domain Question Answering
Extended Bayesian Personalized Ranking Based on Consumption Behavior
On Support Vector and Relevance Vector Machines
Self-labeling of Fully Mediating Representations by Graph Alignment
What are we Measuring Anyway? A Literature Survey of Questionnaires Used in Studies Reported in the Intelligent Virtual Agent Conferences
Timed Inference for Behavioral Pattern Recognition
Turning Game Models Turn-Based for Model Checking Properties of Agents
An Intelligent Tree Planning Approach Using Location-Based Social Networks Data
Refining Weakly-Supervised Free Space Estimation Through Data Augmentation and Recursive Training
Improving sequence segmentation learning by predicting trigrams
Specificity and Context Dependent Preferences in Argumentation Systems
Guidelines for Probabilistic Model Qualification
A Meta-Level Architecture for Strategic Reasoning in Naval Planning (extended abstract)
Learning Hierarchical Spectral Representations of Human Speech with the Information Dynamics of Thinking
Visualising the Training Process of Convolutional Neural Networks for Non-Experts
Interpreting and Explaining Deep Models Visually
Deep Multi-agent Reinforcement Learning in a Homogeneous Open Population
Improving automatic writer identification
Get Your Virtual Hands Off Me! - Developing Threatening IVAs Using Haptic Feedback
Evaluating the Robustness of Question-Answering Models to Paraphrased Questions
Visual Rationalizations in Deep Reinforcement Learning for Atari Games
Compressed Linear Genetic Programming: empirical parameter study on the Even-n-parity problem
Refining a Heuristic for Constructing Bayesian Networks from Structured Arguments
Multi-Agent Simulations of the Evolution of Combinatorial Phonology
Web Usage Mining Framework
Computing and Predicting Winning Hands in the Trick-Taking Game of Klaverjas
Improving Machine Learning-Based Decision-Making Through Inclusion of Data Quality
Fostering Relatedness Between Children and Virtual Agents Through Reciprocal Self-disclosure
Deep Learning Applied to Sign Language
Humans, Agents and International Humanitarian Law: Dilemmas in Target Discrimination
Artificial Intelligence and Machine Learning - 33rd Benelux Conference on Artificial Intelligence, BNAIC/Benelearn 2021, Esch-sur-Alzette, Luxembourg, November 10-12, 2021, Revised Selected Papers
A Boxology of Design Patterns for Hybrid Learning and Reasoning Systems
Competition Between Cooperative Projects
Reciprocation Effort Games
A Machine Learning-Based Approach for Predicting Tool Wear in Industrial Milling Processes
Nonlinear Causality Inference in Microarray Time Series
Crafting Conversational Agents' Personality in a User-Centric Context
BNAIC 2016: Artificial Intelligence - 28th Benelux Conference on Artificial Intelligence, Amsterdam, The Netherlands, November 10-11, 2016, Revised Selected Papers
Style Transfer of Abstract Drum Patterns Using a Light-Weight Hierarchical Autoencoder
Generalization to Unseen Cases
Artificial Intelligence - 30th Benelux Conference, BNAIC 2018, 's-Hertogenbosch, The Netherlands, November 8-9, 2018, Revised Selected Papers
Experiments with strategies for agents in the social interaction game Mafia
A Labeled Graph Approach to Support Analysis of Organizational Performance
Linking in Fluid Construction Grammars
Towards Sustained Team Effectiveness
Textual Inference with Tree-Structured LSTM
Combining Combinatorial Game Theory with an \alpha - \beta Solver for Clobber: Theory and Experiments
Predicting experimental similarity ratings and recognition rates for individual natural stimuli with the NIM model
Partial Convolution Based Multimodal Autoencoder for Art Investigation
Laser Learning Environment: A New Environment for Coordination-Critical Multi-agent Tasks
End-To-End Anomaly Detection, Correction and Prediction of Missing Values in Historical Daily Temperature Timeseries
Causal Inference in Multi-Agent Causal Models
Industrial Assets Performance Labelling Based on Numerically Encoded Event Logs
Understanding Telecom Customer Churn with Machine Learning: From Prediction to Causal Inference
Failure Avoidance for Wind Turbines through Fleetwide Control
BNAIC 2005 - Proceedings of the Seventeenth Belgium-Netherlands Conference on Artificial Intelligence, Brussels, Belgium, October 17-18, 2005
An Interactive Consultant
AI techniques for face detection
A Formal Investigation of Mapping Languages for Terminological Knowledge
Artificial Intelligence and Machine Learning - 34th Joint Benelux Conference, BNAIC/Benelearn 2022, Mechelen, Belgium, November 7-9, 2022, Revised Selected Papers
Model Selection for Multi-directional Ensemble of Regression and Classification Trees
Learning-Based Diagnosis and Repair
Maximal Classes of Utility Functions for Efficient one-to-one Negotiation: Extended Abstract
Task Independent Capsule-Based Agents for Deep Q-Learning
Artificial Intelligence and Machine Learning - 32nd Benelux Conference, BNAIC/Benelearn 2020, Leiden, The Netherlands, November 19-20, 2020, Revised Selected Papers
Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), Brussels, Belgium, November 6-8, 2019
A Residual Neural-Network Model to Predict Visual Cortex Measurements
Finding Dissimilar Explanations in Bayesian Networks: Complexity Results
Towards Automatic Formulation of a Physician's Inforrnation Needs
Machine Learning Applications in Route Planning for Attended Home Delivery
Artificial Intelligence and Machine Learning - 31st Benelux AI Conference, BNAIC 2019, and 28th Belgian-Dutch Machine Learning Conference, BENELEARN 2019, Brussels, Belgium, November 6-8, 2019, Revised Selected Papers
Assessing Aggressive Driving Behaviour Using Attention Based Models
Mining Tree Queries in a Graph
Repeated Auctions with Complementarities: Extended Abstract
Benchmarking Artificial Immune Systems
Channel-based Architecture for Dynamically Reconfigurable Networks
Neural Networks for Discrete Tomography
Interactive Learning of Grounded Concepts
Boosting Web Retrieval through Query Operations
Automated Artemia Detection and Length Measurement Using Deep Convolutional Networks
SMURFF: A High-Performance Framework for Matrix Factorization Methods
Speeding up Feature Selection by Using an Information Theoretic Bound
Time to Take Emoji Seriously: They Vastly Improve Casual Conversational Models
Examining Speaker and Keyword Uniqueness: Partitioning Keyword Spotting Datasets for Federated Learning with the Largest Differencing Method
A Situated Model of Active Vision
Proximal Policy Optimisation for a Private Equity Recommitment System
A dialectics system in which agents play and arbitrate
Evaluation of Alternative Exploration Schemes in the Automatic Modular Design of Robot Swarms
Assessing the Potential of Classical Q-learning in General Game Playing
Representation and execution of temporal criteria for guideline-based medical decision support at the Intensive Care Unit
Learning to Play Donkey Kong Using Neural Networks and Reinforcement Learning
Unconstrained Monotonic Neural Networks
Distillation of Deep Reinforcement Learning Models Using Fuzzy Inference Systems