yusuke1997/dblp-id-title huggingface dataset:
Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers
Defeasible Logic
Action Rules for Programming Constraint Propagators and Interactive User Interfaces
Declarative Programming for Knowledge Management, 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005, Revised Selected Papers
The SeaLion has Landed: An IDE for Answer-Set Programming - Preliminary Report
Contestations and Constraints for Databases
Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical Users
KBSET - Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative [inline-graphic not available: see fulltext] Markup and a Core Written in SWI-Prolog
Not-First and Not-Last Detection for Cumulative Scheduling in O ( n 3 log n )
Mining for Association Rules by 4ft-Miner
Techniques for Efficient Lazy-Grounding ASP Solving
The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems
E-learning as a Vehicle for Knowledge Management
Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers
Every Formula-Based Logic Program Has a Least Infinite-Valued Model
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems
Towards Constraint Logic Programming over Strings for Test Data Generation
Collaborative Information Filtering by Using Categorized Bookmarks on the Web
Software Components for Internet Based Self-service Consulting Systems
Reconciling Use Cases via Controlled Languages and Graphical Models
Declarative Aspects in Explicative Data Mining for Computational Sensemaking
A Descriptive Handling of Directly Conflicting Rules in Preferred Answer Sets
Inductive Logic Programming: Yet Another Application of Logic
Preferring and Updating in Logic-Based Agents
TURTLE++ - A CIP-Library for C++
Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001
Introduction to Part IV: Data Mining and Web-Knowledge Management
Deduction on XML Documents: A Case Study
HEX-Programs with Nested Program Calls
A Process Calculus for Formally Verifying Blockchain Consensus Protocols
Constraint Solving on Hybrid Systems
From Textual Information Sources to Linked Data in the Agatha Project
Sharing and Exchanging Data
Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Logic
Run-Time Analysis of Temporal Constrained Objects
Relational Information Retrieval through Natural Lanaguage Analysis
Selection Restrictions Acquisition for Parsing Improvement
ISCO: A Practical Language for Logic-Based Construction of Heterogeneous Information Systems
Relationship-Based Dynamic Versioning of Evolving Legal Documents
Knowledge Base Programming for Medical Decision Support
A Framework for the Search And Rescue Domain
Content-based Management of Document Access Control
JSquash: Source Code Analysis of Embedded Database Applications for Determining Sql Statements
Adding Data to Curry
On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry
O ( n log n ) Overload Checking for the Cumulative Constraint and Its Application
Applications of Declarative Programming and Knowledge Management - 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers
iML: A Logic-based Framework for Constructing Graphical User Interface on Mobile Agents
Introducing Real Variables and Integer Objective Functions to Answer Set Programming
Data Mining-Assisted Decision Support for Fever Diagnosis
Prolog Cafe : A Prolog to Java Translator System
Stabel Model Implementation of Layer Supported Models by Program Transformation
Design Patterns for Tabled Logic Programming
GPU-Based Parallelism for ASP-Solving
The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters
A General Procedure to Test Containment of Conjunctive Queries
Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers
Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs
Prolog Issues of an MCMC Algorithm
Elder Care via Intention Recognition and Evolution Prospection
Case-Based Student Model using Knowledge Markup Language for Intelligent e-learning Systems
Declarative Programming for Microcontrollers - Datalog on Arduino
Relationship-based Dynamic Versioning of Evolving Legal Documents
Debate Games in Logic Programming
Multi-threading Inside Prolog for Knowledge-Based Enterprise Applications
Modular Modeling and Optimized Scheduling of Building Energy Systems Based on Mixed Integer Programming
Introduction to Part III: Decision Support by Advanced Logic Programming
Towards Parallel Constraint-Based Local Search with the X10 Language
Software Components for Internet based Self Service Consulting Systems
Sensitivity Analysis for Declarative Relational Query Languages with Ordinal Ranks
Towards Computing Revised Models for FO Theories
Developing A Knowledge Management System for Construction Contract Management
Knowledge Management Strategy and Tactics for Forging Die Design Support
TRIPLE - An RDF Query, Inference, and Transformation Language
Relational Information Retrieval through Natural Language Analysis
Mining Prediction Rules from Minority Classes
Railway Scheduling with Declarative Constraint Programming
Declarative XML Schema Validation with SWI-Prolog - System Description
Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley
A functional operator-based morphological analysis of Japanese
ubiCMS - A Prolog Based Content Management System
Introduction to Part I: Web-Languages and Logic
Attributed Variables for Dynamic Constraint Solving
On Axiomatic Rejection for the Description Logic ALC
Evolutionary Computation in Combinatorial Optimization - 24th European Conference, EvoCOP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings
Sparse Surrogate Model for Optimization: Example of the Bus Stops Spacing Problem
Instance Space Analysis and Algorithm Selection for a Parallel Batch Scheduling Problem
Evolutionary Computation in Combinatorial Optimization - 25th European Conference, EvoCOP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings
Mixed-Binary Problems Optimized with Fast Discrete Solver
Diversification Through Candidate Sampling for a Non-iterated Lin-Kernighan-Helsgaun Algorithm
Studies on Multi-objective Role Mining in ERP Systems
Healthcare Facility Location Problem and Fitness Landscape Analysis
A Genetic Approach to the Operational Freight-on-Transit Problem
Generating (Semi-)active Schedules for Dynamic Multi-mode Project Scheduling Using Genetic Programming Hyper-heuristics
A Neural Network Based Guidance for a BRKGA: An Application to the Longest Common Square Subsequence Problem
Where the Really Hard Quadratic Assignment Problems Are: The QAP-SAT Instances
Greedy Heuristic Guided by Lexicographic Excellence
Evolutionary Anytime Algorithms
Emergence of New Local Search Algorithms with Neuro-Evolution
Experimental and Theoretical Analysis of Local Search Optimising OBDD Variable Orderings
A Theoretical Investigation of Termination Criteria for Evolutionary Algorithms
Meta-learning of Univariate Estimation-of-Distribution Algorithms for Pseudo-Boolean Problems
LON/D - Sub-problem Landscape Analysis in Decomposition-Based Multi-objective Optimization
Adaptive Neighborhood Search Based on Landscape Learning: A TSP Study
A Runtime Analysis of the Multi-valued Compact Genetic Algorithm on Generalized LeadingOnes
Reduction-Based MAX-3SAT with Low Nonlinearity and Lattices Under Recombination
Hardest Monotone Functions for Evolutionary Algorithms
A Memetic Algorithm with Adaptive Operator Selection for Graph Coloring
Visualizing Pseudo-Boolean Functions: Feature Selection and Regularization for Machine Learning
Feature-Based Evolutionary Diversity Optimization of Discriminating Instances for Chance-Constrained Optimization Problems
A Selective Vehicle Routing Problem for the Bloodmobile System
Studies on Survival Strategies to Protect Expert Knowledge in Evolutionary Algorithms for Interactive Role Mining
Price-and-Branch Heuristic for Vector Bin Packing
Q-Learning Based Framework for Solving the Stochastic E-waste Collection Problem
Neural Unit Sensitive to Modulation
Double Growing Neural Gas for Disease Diagnosis
Quantification of Diabetic Retinopathy using Neural Networks and Sensitivity Analysis
Bayesian Neural Networks used to Find Adverse Drug Combinations and Drug Related Syndromes
A Three-Neuron Model of Information Processing During Bayesian Foraging
A New Artificial Neural Network Method for the Interpretation of ECGs
Particle Swarm Optimisation in Feedforward Neural Network
Internet Based Artificial Neural Networks for the Interpretation of Medical Images
Isolating Seizure Activity in the EEG with Independent Component Analysis
Neuronal Network Modelling of the Somatosensory Pathway and its Application to General Anaesthesia
Self-Organizing Networks for Mapping and Clustering Biological Macromolecules Images
Modelling Uncertainty in Biomedical Applications of Neural Networks
Case-Based Explanation for Artificial Neural Nets
Extraction of Sleep-Spindles from the Electroencephalogram (EEG)
A Simulation Model for Activated Sludge Process Using Fuzzy Neural Network
Survival Analysis: A Neural-Bayesian Approach
Analyzing Brain Tumor related EEG Signals with ICA Algorithms
A Hybrid Classification Tree and Artificial Neural Network Model for Predicting the In vitro Response of the Human Immunodeficiency Virus (HIV1) to Anti-Viral Drug Therapy
Artificial Neural Networks in Medicine and Biology, Proceedings of the ANNIMAB-1 Conference, Göteborg, Sweden, 13-16 May 2000
Cancerous Liver Tissue Differentiation Using LVQ
An Unsupervised Learning Method that Produces Organized Representations from Real Information
Neural Network Predictions of Outcome from Posteroventral Pallidotomy
Neural Network Based Classification of Cell Images via Estimation of Fractal Dimensions
Outstanding Issues for Clinical Decision Support with Neural Networks
An Assessment System of Dementia of Alzheimer Type Using Artificial Neural Networks
Sensorimotor Sequential Learning by a Neural Network Based on Redefined Hebbian Learning
Monitoring of Physiological Parameters of Patients and Therapists During Psychotherapy Sessions Using Self-Organizing Maps
On Methods for Combination of Results from Gene-Finding Programs for Improved Prediction Accuracy
A General Method for Combining Predictors Tested on Protein Secondary Structure Prediction
The Use of a Knowledge Discovery Method for the Development of a Multi-layer Perceptron Network that Classifies Low Back Pain Patients
Discriminating Gourmets, Lovers, and Enophiles? Neural Nets Tell All About Locusts, Toads, and Roaches
Neural Computation in Medicine: Perspectives and Prospects
Use of a Kohonen Neural Network to Characterize Respiratory Patients for Medical Intervention
Protein β-Sheet Partner Prediction by Neural Networks
Neural Network Model for Muscle Force Control Based on the Size Principle and Recurrent Inhibition of Renshaw Cells
On Forgetful Attractor Network Memories
On Synaptic Plasticity: Modelling Molecular Kinases involved in Transmitter Release
Seizure Detection with the Self-Organising Feature Map
A Learning by Sample Approach for the Detection of Features in Medical Images
Acute Myocardial Infarction: Analysis of the ECG Using Artificial Neural Networks
Artificial Neural Networks to Predict Postoperative Nausea and Vomiting
Determination of Microalbuminuria and Increased Urine Albumin Excretion by Immunoturbidimetric Assay and Neural Networks
Classifying Pigmented Skin Lesions with Machine Learning Methods
ART Neural Networks for Medical Data Analysis and Fast Distributed Learning
Kernel PCA Feature Extraction of Event-Related Potentials for Human Signal Detection Performance
Identifying Discriminant Features in the Histopathology Diagnosis of Inflammatory Bowel Disease Using a Novel Variant of the Growing Cell Structure Network Technique
Mutual Control Neural Networks for Sleep Arousal Detection
Applications of Optimizing Neural Networks in Medical Image Registration
Segmentation of Magnetic Resonance Images According to Contrast Agent Uptake Kinetics Using a Competitive Neural Network
Prediction of Photosensitizers Activity in Photodynamic Therapy Using Artificial Neural Networks: A 3D - QSAR Study
Graphical Analysis of Respiration in Postoperative Patients Using Self Organising Maps
Recovery of handwritten text from the diaries and papers of David Livingstone
Automation of digital historical map analyses
Improved methods for dewarping images in convex mirrors in fine art: applications to van Eyck and Parmigianino
The automatic annotation and retrieval of digital images of prints and tile panels using network link analysis algorithms
Resolution enhancement in the recovery of underdrawings via style transfer by generative adversarial deep neural networks
Transfer Learning with Style Transfer between the Photorealistic and Artistic Domain
Computer Vision and Image Analysis of Art 2022, online, January 15-26, 2022
Computer Vision and Image Analysis of Art 2021, online, January 11-28, 2021
Automatic multispectral ultraviolet, visible and near-infrared capturing system for the study of artwork
A computer vision-aided analysis of facial similarities in Song dynasty imperial portraits
Explaining scene composition using kinematic chains of humans: application to Portuguese tiles history
After digital cleaning: visualization of the dirt layer
CVAA Conference Overview and Papers Program
Extracting associations and meanings of objects depicted in artworks through bi-modal deep networks
A framework for analysis of large database of old art paintings
Computer Vision and Image Analysis of Art 2023, San Francisco, CA, USA, January 15-19, 2023
Did Tim Paint a Vermeer?
Computer analysis of lighting style in fine art: steps towards inter-artist studies
Top-down analysis of low-level object relatedness leading to semantic understanding of medieval image collections
Improved curvature-based inpainting applied to fine art: recovering van Gogh's partially hidden brush strokes
Front Matter: Volume 7869
Improving semantic segmentation of fine art images using photographs rendered in a style learned from artworks
Automated classification of quilt photographs into crazy and non-crazy
Time and order estimation of paintings based on visual features and expert priors
Computer Vision and Image Analysis of Art II, San Francisco Airport, California, USA, January 23-27, 2011
Image fusion for art analysis
Recovery of underdrawings and ghost-paintings via style transfer by deep convolutional neural networks: A digital tool for art scholars
X-ray image analysis of Lorenzo Lotto's Husband and wife
A Web-based Visualization Tool for Multispectral Images
Artist-specific style transfer for semantic segmentation of paintings: The value of large corpora of surrogate artworks
Improved Identification of Portraiture of the Julio-Claudian Period with Mobile Apps
Computer Vision and Image Analysis of Art 2022 Conference Overview and Papers Program
Did Caravaggio employ optical projections? An image analysis of the parity in the artist's paintings
Computational identification of significant actors in paintings through symbols and attributes
A computer graphics reconstruction and optical analysis of scale anomalies in Caravaggio's Supper at Emmaus
Exploring the Facial Color Representative Regions Using the Humanae Images
Towards automatic registration of technical images of works of art
Art documentation quality in function of 3D scanning resolution and precision
Polarized light scanning for cultural heritage investigation
Investigation of the degradation mechanism and discoloration of traditional Japanese pigments by multispectral imaging
Boosting multi-feature visual texture classiffiers for the authentication of Jackson Pollock's drip paintings
Histograms for Fuzzy Color Spaces
Discrete Kernel Aggregation Functions
A Heterogeneous Evaluation Model for the Assessment of Sustainable Energy Policies
A Multicriteria Linguistic Decision Making Model Dealing with Comparative Terms
Color Image Magnification with Interval-Valued Fuzzy Sets
A Construction Method of Aggregations Functions on the Set of Discrete Fuzzy Numbers
On the Semantics of Bipolarity and Fuzziness
A Possibilistic Logic View of Sugeno Integrals
Decomposition of Possibilistic Belief Functions into Simple Support Functions
Fuzzy Integrals as a Tool for Multicriteria Decision Support
Robustness of N-Dual Fuzzy Connectives
Multi-feature Tracking Approach Using Dynamic Fuzzy Sets
On the Usefulness of Interval Valued Fuzzy Sets for Learning Fuzzy Rule Based Classification Systems
Towards a New Fuzzy Linguistic Preference Modeling Approach for Geolocation Applications
Modelling Fish Habitat Preference with a Genetic Algorithm-Optimized Takagi-Sugeno Model Based on Pairwise Comparisons
Edge Detection on Interval-Valued Images
On a Generalization of the Notion of a Survival Copula
A PCA-Fuzzy Clustering Algorithm for Contours Analysis
Generalized Attanasov's Operators Defined on Lattice Intervals
Image Reduction Using Fuzzy Quantifiers
Eurofuse 2011 - Workshop on Fuzzy Methods for Knowledge-Based Systems, Douro Wine Region, Régua, Portugal, 21-23 September 2011
On e-Vertical Generated Implications
A Characterization Theorem for t-Representable n-Dimensional Triangular Norms
Learning Valued Relations from Data
Construction of Interval-Valued Fuzzy Preference Relations Using Ignorance Functions: Interval-Valued Non Dominance Criterion
Multiset Merging: The Majority Rule
Defining Aggregation Functions from Negations
Penalty Fuzzy Function for Derivative-Free Optimization
Objective Comparison of Some Edge Detectors Based on Fuzzy Morphologies
Indoor Location Using Fingerprinting and Fuzzy Logic
On the Properties of Probabilistic Implications
Using Aggregation Functions for Measuring Social Inequality and Poverty
Fuzzy Ontologies to Represent Background Knowledge: Some Experimental Results on Modelling Climate Change Knowledge
A Model for B2B Supplier Selection
Multicriteria Decision Making by Means of Interval-Valued Choquet Integrals
Transitivity and Negative Transitivity in the Fuzzy Setting
Some Properties of Consistency in the Families of Aggregation Operators
AuroraFlow, an Easy-to-Use, Low-Latency FPGA Communication Solution Demonstrated on Multi-FPGA Neural Network Inference
Resource and Phase Awareness for Dynamically Scheduled High-Level Synthesis
Accelerating Space Radiative Transfer on FPGA using OpenCL
Acceleration of Deep Recurrent Neural Networks with an FPGA cluster
Accelerating Memcached on AWS Cloud FPGAs
Accelerated Embedded AKAZE Feature Detection Algorithm on FPGA
The Evaluation of Partial Reconfiguration for a Multi-board FPGA System FiCSW
Scaling Performance for N-Body Stream Computation with a Ring of FPGAs
Soft GPGPU versus IP cores: Quantifying and Reducing the Performance Gap
Self-aware Operation of Heterogeneous Compute Nodes using the Learning Classifier System XCS
Flexible Reconfigurable On-chip Networks for Multi-core SoCs
Mutation Tree Reconstruction of Tumor Cells on FPGAs Using a Bit-Level Matrix Representation
FPGA based ASIC Emulator with High Speed Optical Serial Links
A programming environment for multi-FPGA systems based on CyberWorkBench: an integrated design tool
Latency-Accurate Models for Software Programmable Streaming Coarse-Grained Reconfigurable Hardware Architectures
Proceedings of the 14th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies, HEART 2024, Porto, Portugal, June 19-21, 2024
Minimizing Local Interconnections to Reduce Chip Area in eFPGAs
HEART 2022: International Symposium on Highly-Efficient Accelerators and Reconfigurable Technologies, Tsukuba, Japan, June 9 - 10, 2022
HLS-based FPGA Acceleration of Light Propagation Simulation in Turbid Media
HEART '21: 11th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies, Virtual Event, Germany, 21-23 June, 2021
Software-based Dynamic Overlays Require Fast, Fine-grained Partial Reconfiguration
Customisable Processing of Neural Networks for FPGAs
BraggHLS: High-Level Synthesis for Low-Latency Deep Neural Networks for Experimental Science
A SYCL-based high-level programming framework for HPC programmers to use remote FPGA clusters
FPGA-Dedicated Network vs. Server Network for Pipelined Computing with Multiple FPGAs
MLIR-Based Homomorphic Encryption Compiler for GPU
Low-Latency FIR Filter Structures Targeting FPGA Platforms
Learned Index Acceleration with FPGAs: A SMART Approach
A Performance Per Power Efficient Object Detector on an FPGA for Robot Operating System (ROS)
Exploration of Compute vs. Interconnect Tradeoffs in CGRAs for HPC
An FPGA NIC Based Hardware Caching for Blockchain
A data compressor for FPGA-based state vector quantum simulators
Memory and Energy Efficient Memory Model and Instruction Set Architectures for Tree Data Structures
Accelerating Learned Join with FPGAs in Relational Databases
Embedded Security Accelerators within Network-on-Chip Environments
A Novel Scalable Decision Tree Implementation on SoC Based FPGAs
CSA Based Radix-4 Gemmini Systolic Array for Machine Learning Applications
ResBench: A Resource-Aware Benchmark for LLM-Generated FPGA Designs
An Adaptive Demotion Policy for High-Associativity Caches
Breaking Boundaries: Optimizing FPGA CAD with Flexible and Multi-threaded Re-Clustering
Dense or Sparse? Post-Packing Interconnection Analysis in FPGAs
Harnessing Numerical Flexibility for Deep Learning on FPGAs
Proceedings of the 15th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies, HEART 2025, Kumamoto, Japan, May 26-28, 2025
StreamBrain: An HPC Framework for Brain-like Neural Networks on CPUs, GPUs and FPGAs
Systolic Array-Based Matrix Multiplication and Reduction on Elastic CGRAs
Efficient FPGA Implementation of Amoeba-inspired SAT Solver with Feedback and Bounceback Control: Harnessing Variable-Level Parallelism for Large-Scale Problem Solving in Edge Computing
DTP: Enabling Exhaustive Exploration of FPGA Temporal Partitions for Streaming HPC Applications
ReconOS64: High-Performance Embedded Computing for Industrial Analytics on a Reconfigurable System-on-Chip
Proceedings of the 13th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies, HEART 2023, Kusatsu, Japan, June 14-16, 2023
FPGA-based detector with SiC sensing for real-time monitoring of muon beams: A preliminary report of the SCIBER-1 system in COMET Phase-α
Hardware Acceleration with Multi-Threading of Java-Based High Level Synthesis Tool
Heterogeneous Resource-Elastic Scheduling for CPU+FPGA Architectures
FPGA-based Implementation of Memory-Intensive Application using OpenCL
An FPGA-Based Hardware Accelerator for K-Nearest Neighbor Classification for Machine Learning on Mobile Devices
Towards Performance Characterization of FPGAs in Context of HPC using OpenCL Benchmarks
Towards Flexible Automatic Generation of Graph Processing Gateware
Swap Based Merge Network for High Performance Sorting Accelerators
A porting and optimization of search for neighbour-particle in MPS method for GPU by using OpenACC
High-Level Synthesis Countermeasure Using Threshold Implementation with Mixed Number of Shares
FPT-EMS: An FPGA Implementation Using NB-LDPC Code for Continuous-Variable Quantum Key Distribution
Physical Design Considerations for Synthesizable Standard-Cell-Based FPGAs
Accelerating Linear Programming Performance: A Hardware-Software Co-Design Approach for the Simplex Method