yusuke1997/dblp-id-title huggingface dataset:
Practical Aspects of Declarative Languages - 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
Automatic Web Services Composition for Phylotastic
Prospective Storytelling Agents
Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs
Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications
Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings
Conversion by Evaluation
Practical Aspects of Declarative Languages - 28th International Symposium, PADL 2026, Rennes, France, January 12-13, 2026, Proceedings
Integrative Functional Statistics in Logic Programming
Improving Residuation in Declarative Programs
Using Iterative Deepening for Probabilistic Logic Inference
Single-Threaded Objects in ACL2
First-Order Interactive Programming
On the Implementation of the CLP( B N \mathcal BN) Language
Distributed Protocol Combinators
Prolog Performance on Larger Datasets
A Hybrid Approach for Solving Large Scale Crew Scheduling Problems
Contracts and Specifications for Functional Logic Programming
Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program
On Repairing Web Services Workflows
Typed Datalog
Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs
On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization
The Environment as an Argument - Context-Aware Functional Programming
Using Bloom Filters for Large Scale Gene Sequence Analysis in Haskell
Declarative Network Verification
Industrial Functional Programming
Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell
A Meta-heuristic for Subset Problems
LearnPADS + + : Incremental Inference of Ad Hoc Data Formats
A Practical Approach to Handling Tabular Data in Logic
Sunroof: A Monadic DSL for Generating JavaScript
Dependently Typed Web Client Applications - FRP in Agda in HTML5
Heap Garbage Collection in XSB: Practice and Experience
GNU Prolog: Beyond Compiling Prolog to C
Rewriting Haskell Strings
Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming
Supporting Decisions in Complex, Uncertain Domains with Declarative Languages
Declaratively Solving Google Code Jam Problems with Picat
Lowering the Learning Curve for Declarative Programming: A Python API for the IDP System
Rethinking Answer Set Programming Templates
Functional Hybrid Modeling
Mnesia - A Distributed Robust DBMS for Telecommunications Applications
A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises
The Role of Abduction in Declarative Authorization Policies
Current Trends in Logic Programming: Prospects and Promises
The CONTINUE Server (or, How I Administered PADL 2002 and 2003)
Integrating Answer Set Programming with Object-Oriented Languages
The Role of Declarative Languages in Mining Biological Databases
Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
Ontology-Driven Data Semantics Discovery for Cyber-Security
A Declarative Specification of Tree-Based Symbolic Arithmetic Computations
Creating Domain-Specific Languages by Composing Syntactical Constructs
Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures
Using Local Weather and Geographical Information to Predict Cholera Outbreaks in Hanoi, Vietnam
GPS Tracklog Compression by Heading-Based Filtering
Belief Merging for Possibilistic Belief Bases
Incremental Mining Class Association Rules Using Diffsets
On the Design of a Privacy Preserving Collaborative Platform for Cybersecurity
The Cropland Capture Game: Good Annotators Versus Vote Aggregation Methods
Molecular Screening of Azurin-Like Anticancer Bacteriocins from Human Gut Microflora Using Bioinformatics
Graph Coloring Tabu Search for Project Scheduling
Bidirectional Deep Learning of Context Representation for Joint Word Segmentation and POS Tagging
Efficient Processing of Recursive Joins on Large-Scale Datasets in Spark
Usability of Deterministic and Stochastic Petri Nets in the Wood Industry: A Case Study
Opensource Based IoT Platform and LoRa Communications with Edge Device Calibration for Real-Time Monitoring Systems
Context in Ontology for Knowledge Representation
A Probability-Based Close Domain Metric in Lifelong Learning for Multi-label Classification
Scheduling Problem for Bus Rapid Transit Routes
An Intensive Empirical Study of Machine Learning Algorithms for Predicting Vietnamese Stock Prices
A Deep Architecture for Sentiment Analysis of News Articles
Exploring Drivers of Urban Expansion
Non-linear Classification of Massive Datasets with a Parallel Algorithm of Local Support Vector Machines
DCA with Successive DC Decomposition for Convex Piecewise-Linear Fitting
Improvement of Production Layout in the Furniture Industry in Indonesia with the Concept of Group Technology
Speech Assessment Based on Entropy and Similarity Measures
A Survey on Forecasting Models for Preventing Terrorism
Hyperpath Centers
A Two-Stage Consensus-Based Approach for Determining Collective Knowledge
Some Practical Aspects on Modelling Server Clusters
A Method for Building a Labeled Named Entity Recognition Corpus Using Ontologies
A New Method of Virus Detection Based on Maximum Entropy Model
Learning Rough Set Based Classifiers Using Boolean Kernels
Deep Clustering with Spherical Distance in Latent Space
Policy by Policy Analytical Approach to Develop GAINS-City Data Marts Based on Regional Federated Data Warehousing Framework
On the Efficiency of Query-Subquery Nets with Right/Tail-Recursion Elimination in Evaluating Queries to Horn Knowledge Bases
Searching for Strongly Subsuming Higher Order Mutants by Applying Multi-objective Optimization Algorithm
Problems of Mutation Testing and Higher Order Mutation Testing
The Confrontation of Two Clustering Methods in Portfolio Management: Ward's Method Versus DCA Method
A Cutting Plane Approach for Solving Linear Bilevel Programming Problems
Applying MASI Algorithm to Improve the Classification Performance of Imbalanced Data in Fraud Detection
Combining Random Sub Space Algorithm and Support Vector Machines Classifier for Arabic Opinions Analysis
An Improvement of Stability Based Method to Clustering
Discrete Time Sliding Mode Control of Milling Chatter
Comparison of Feedback Strategies for Supporting Programming Learning in Integrated Development Environments (IDEs)
Approximating the Minimum Tour Cover with a Compact Linear Program
How to Apply Large Deviation Theory to Routing in WSNs
Assessment of the Water Area in the Lowland Region of the Mekong River Using MODIS EVI Time Series
Story-Based Multimedia Analysis Using Social Network Technique
A New Queueing Model for a Physician Office Accepting Scheduled Patients and Patients without Appointments
Using Online Synchronous Interschool Tournaments to Boost Student Engagement and Learning in Hands-On Physics Lessons
A Constraint Solver for Equations over Sequences and Contexts
A Method for Reducing the Number of Support Vectors in Fuzzy Support Vector Machine
Application of Sigmoid Models for Growth Investigations of Forest Trees
Using Mathematical Tools to Reduce the Combinatorial Explosion During the Automatic Segmentation of the Symbolic Musical Text
Native Runtime Environment for Internet of Things
A Hybrid Intelligent Control System Based on PMV Optimization for Thermal Comfort in Smart Buildings
Numerical Technologies for Investigating Optimal Control Problems with Free Right-Hand End of Trajectories
Twitter Sentiment Analysis Using Machine Learning Techniques
Query-Subquery Nets with Stratified Negation
Measuring the Influence of Bloggers in Their Community Based on the H-index Family
Secure and Robust Watermarking Scheme in Frequency Domain Using Chaotic Logistic Map Encoding
Distributed Hierarchy of Clusters in the Presence of Topological Changes
Effect of the Text Size on Stylometry - Application on Arabic Religious Texts
Advanced Computational Methods for Knowledge Engineering - Proceedings of the 4th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2016, 2-3 May, 2016, Vienna, Austria
Fusing of Deep Learning, Transfer Learning and GAN for Breast Cancer Histopathological Image Classification
An Improved Algorithm for Mining Top-k Association Rules
A Combination of CMAES-APOP Algorithm and Quasi-Newton Method
A Genetic Algorithm Approach for Scheduling Trains Maintenance Under Uncertainty
Solving Efficient Target-Oriented Scheduling in Directional Sensor Networks by DCA
A Review of Technologies for Conversational Systems
The Formal Models for the Socratic Method
Formal Security Verification of Transport Protocols for Wireless Sensor Networks
Granular Floor Plan Representation for Evacuation Modeling
Quality of the Approximation of Ruin Probabilities Regarding to Large Claims
Processing Collective Knowledge from Autonomous Individuals: A Literature Review
Semantic Evaluation of Text Clustering
A Method for Transforming TimeER Model-Based Specification into Temporal XML
A Novel Approach for Travel Time Optimization in Single-Track Railway Networks
A New Approach for Buffering Space in Scheduling Unknown Service Time Jobs in a Computational Cluster with Awareness of Performance and Energy Consumption
Time Series Methods for Synthetic Video Traffic
Application of Recently Proposed Metaheuristics to the Sequence Dependent TSP
A Direct Method for Determining the Lower Convex Hull of a Finite Point Set in 3D
An Overview of Information Discovery Using Latent Semantic Indexing
Triple Extraction Using Lexical Pattern-based Syntax Model
A Domain Partitioning Method for Bisimulation-Based Concept Learning in Description Logics
DC Programming and DCA Approach for Resource Allocation Optimization in OFDMA/TDD Wireless Networks
omparative Study of Extended Kalman Filter and Particle Filter for Attitude Estimation in Gyroless Low Earth Orbit Spacecraft
Advanced Computational Methods for Knowledge Engineering - Proceedings of the 6th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2019, Hanoi, Vietnam, December 19-20, 2019
Advanced Computational Methods for Knowledge Engineering - Proceedings of the 2nd International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2014, 8-9 May, 2014, Budapest, Hungary
Stacking of SVMs for Classifying Intangible Cultural Heritage Images
A Triple Stabilized Bundle Method for Constrained Nonconvex Nonsmooth Optimization
Personalized Facets for Faceted Search Using Wikipedia Disambiguation and Social Network
Job Scheduling in a Computational Cluster with Multicore Processors
Sentiment Polarity Detection in Social Networks: An Approach for Asthma Disease Management
An Overview of Fuzzy Ontology Integration Methods Based on Consensus Theory
Efficient Core Selection for Multicast Routing in Mobile Ad Hoc Networks
An Improvement of Applying Multi-objective Optimization Algorithm into Higher Order Mutation Testing
DC Programming and DCA for Enhancing Physical Layer Security in Amplify-and-Forward Relay Beamforming Networks Based on the SNR Approach
Using Support Vector Machine to Monitor Behavior of an Object Based WSN System
Realization of a Test System Framework
A New Solution Method for a Mean-Risk Mixed Integer Nonlinear Program in Transportation Network Protection
Similarity Measures for Music Information Retrieval
Attentive biLSTMs for Understanding Students' Learning Experiences
Analysis Techniques for Feedback-Based Educational Systems for Programming
DC Programming and DCA for Transmit Beamforming and Power Allocation in Multicasting Relay Network
Parallel Multiclass Logistic Regression for Classifying Large Scale Image Datasets
Readiness Measurement Model (RMM): Mathematical-Based Evaluation Technique for the Quantification of Knowledge Acquisition, Individual Understanding, and Interface Acceptance Dimensions of Software Applications on Handheld Devices
Video Recommendation Using Neuro-Fuzzy on Social TV Environment
A Model for a Computing Cluster with Two Asynchronous Servers
Reinforcement Learning in Stock Trading
Mathematical Morphology on Soft Sets for Application to Metabolic Networks
Integrated Assessment Model on Global-Scale Emissions of Air Pollutants
A Collaborative Metaheuristic Optimization Scheme: Methodological Issues
Solving Conflicts in Video Semantic Annotation Using Consensus-Based Social Networking in a Smart TV Environment
A New Approach Based on Interval Analysis and B-splines Properties for Solving Bivariate Nonlinear Equations Systems
eDTWBI: Effective Imputation Method for Univariate Time Series
Stochastic DCA for Sparse Multiclass Logistic Regression
An Adapted Derivative-Free Optimization Method for an Optimal Design Application with Mixed Binary and Continuous Variables
Minimum K-Adjacent Rectangles of Orthogonal Polygons and its Application
DC Programming and DCA for General DC Programs
A DC Programming Approach to the Continuous Equilibrium Network Design Problem
Advanced Computational Methods for Knowledge Engineering - Proceedings of the 5th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2017, Berlin, Germany, June 30 - July 1, 2017
Supporting Energy-Efficient Mobile Application Development with Model-Driven Code Generation
Efficient Privacy Preserving Data Audit in Cloud
Palmprint Recognition Using Discriminant Local Line Directional Representation
DC Programming Approaches for BMI and QMI Feasibility Problems
A New Efficient Algorithm for Maximizing the Profit and the Compactness in Land Use Planing Problem
A Parallel Algorithm for Frequent Subgraph Mining
A Channel-Pruned and Weight-Binarized Convolutional Neural Network for Keyword Spotting
Next Improvement Towards Linear Named Entity Recognition Using Character Gazetteers
New Feed Rate Optimization Formulation in a Parametric Domain for 5-Axis Milling Robots
Solving an Infinite-Horizon Discounted Markov Decision Process by DC Programming and DCA
Optimal Path Planning for Information Based Localization
A DC Programming Approach for Sparse Linear Discriminant Analysis
Enhancing Reduced Order Model Predictive Control for Autonomous Underwater Vehicle
Reweighted ℓ 1 Algorithm for Robust Principal Component Analysis
A Cash-Flow-Based Optimization Model for Corporate Cash Management: A Monte-Carlo Simulation Approach
Advanced Computational Methods for Knowledge Engineering - Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications - ICCSAMA 2015, Metz, France, 11-13 May, 2015
Novel Operations for FP-Tree Data Structure and Their Applications
An Early-Biologisation Process to Improve the Acceptance of Biomimetics in Organizations
Reformulation of the Quadratic Multidimensional Knapsack Problem as Copositive/Completely Positive Prorams
Statistical Features for Emboli Identification Using Clustering Technique
Designing a Tableau Reasoner for Description Logics
Modeling Multidimensional Data Cubes Based on MDA (Model-Driven Architecture)
DC Approximation Approach for ℓ0-minimization in Compressed Sensing
Automatic Question Generation for Educational Applications - The State of Art
An Improved Depth-First Control Strategy for Query-Subquery Nets in Evaluating Queries to Horn Knowledge Bases
DC Programming and DCA for a Novel Resource Allocation Problem in Emerging Area of Cooperative Physical Layer Security
Computing Residual Diffusivity by Adaptive Basis Learning via Super-Resolution Deep Neural Networks
Demand Side Management: A Case for Disruptive Behaviour
Plot-Creation Support System for Writing Novels
Implementing the Pragmatic Web: Practical Approaches
A Conceptual Architecture for Pragmatic Web Services
The Role of Virtual Servants in e-Interaction
Pragmatic Web as Communication Design Practice
Can the Pragmatic Web Assist Search Engine Optimisation?
Trading Semantically Enhanced Digital Products in Electronic Markets
A Devolved Ontology Model for the Pragmatic Web
A Policy Framework for Collaborative Web Service Customization
Characteristics of Public E-services: Investigating the E-diamond Model
PragWeb 2006: Proceedings of the First International Conference on the Pragmatic Web, 21-23 September 2006, Suttgart, Germany
Supporting Global Software Development in Open Source Ecosystems: A Role for Actability in the Pragmatic Web
Architecture of a Semantic Portal on Mobile Business
Active Knowledge Systems for the Pragmatic Web
A B2B Benchmark on Top of UMM and TPC-App
Sensemaking on the Pragmatic Web: a Hypermedia Discourse Perspective
An Engineering Approach to Adaptation and Calibration
Designing the Context Matching Engine for Evaluating and Selecting Context Information Sources
Situation Modeling and Smart Context Retrieval with Semantic Web Technology and Conflict Resolution
Steps Towards Making Contextualized Decisions: How to Do What You Can, with What You Have, Where You Are
A Context Model for Personal Knowledge Management Applications
Using Activity Theory to Model Context Awareness
Modeling and Retrieval of Context, Second International Workshop, MRC 2005, Edinburgh, UK, July 31 - August 1, 2005, Revised Selected Papers
A Layered Model for User Context Management with Controlled Aging and Imperfection Handling
An Architecture for Developing Context-Aware Systems
Identifying the Multiple Contexts of a Situation
Automatic Localization and Segmentation of Vertebral Bodies in 3D CT Volumes with Deep Learning
Broad Learning-based Intervertebral Discs Localization and Segmentation
Degree Evaluation of Facial Nerve Paralysis by Combining LBP and Gabor Features
Bladder MR Image Segmentation by Convex Global Optimization of Coupled Borders
Contour-based Historical Building Image Matching
Left Ventricle Segmentation and Quantification with Attention-Enhanced Segmentation and Shape Correction
Low-dose X-ray Computed Tomography Image Reconstruction Using Edge Sparsity Regularization
Multitask Learning for Pathomorphology Recognition of Squamous Intraepithelial Lesion in Thinprep Cytologic Test
Liver vessel segmentation based on densely connected three-dimensional fully convolutional neural network
A New Microorganism Dataset for Image Segmentation and Classification Evaluation
Task-Driven Deep Learning for LDCT Image Denoising
Body Composition Segmentation Based on Dual-pathway Deep Dilated Convolutional Neural Network
Effective Representation of Three-Dimension Nodules for False-Positive Reduction in Pulmonary Nodule Detection
Level Set Framework of Multi Labels Fusion for Multiple Sclerosis Lesion Segmentation
ROI Localization and Initialization Method for Left Ventricle Segmentation
Quantifying Auricular Cartilage in Vivo Using Ultra-Short Echo Time (UTE) T2* Mapping
A Novel Multi-Atlas and Multi-Channel (MAMC) Approach for Multiple Sclerosis Lesion Segmentation in Brain MRI
Multiscale Morphological Tone Mapping Operator for High Dynamic Range Images
Automatic Degree Evaluation of Facial Nerve Paralysis Based on Triple-stream Long Short Term Memory
Expanded Mask R-CNN's Retinal Edema Detection Network
A New Smoothing Based Image Recolorization Method
A Brief Review of Computer-aided Whole-slide Image Detection Techniques
Classification of Benign and Malignant Breast Mass in Digital Mammograms with Convolutional Neural Networks
Pulmonary Nodules Image Retrieval via Supervised Deep Hashing
Segmentation of Prostate Peripheral Zone based on Multi-scale Features Enhancement
S-GCN: A siamese spectral graph convolutions on brain connectivity networks
Segmentation of Lung Parenchyma Based on FPN++Mask R-CNN Model
Local Gauss Multiplicative Components (LG-MC) Method for MR Image Segmentation
Image Threshold Segmentation Based on BEMD and Genetic Algorithm
Regularized UNet for Automated Pancreas Segmentation
Fluoroscopic Image Denoising with Feature Preserving Residual Noise Learning
Coarse-to-fine Kidney Segmentation Incorporating Abnormality Detection and Correction
Accurate and Robust Active Contour Model for Medical Image Segmentation and Correction
R4: A Client Server Architecture Oriented Open Three Dimensional Reconstruction Layered Reference Model for Medical Images
Saliency Detection Based on Non-convex Weighted Surrogates
Transfer Learning Based Classification of Cervical Cancer Immunohistochemistry Images
Z-range Extension of Volume Imaged with Clinical C-arm Computed Tomography from A Single Rotation Helical Cone-beam Scan
Convolutional Neural Networks Based Level Set Framework for Pancreas Segmentation from CT Images
Dental Data Analysis Based on Dental X-ray Panorama
Dental pulp segmentation from cone-beam computed tomography images
Unsupervised learning-based registration for T1 and T2 breast MRI images
3D Fully Convolutional Network Incorporating Savitzky-Golay Filtering for Prostate Segmentation
Non-invasive Imaging the Relative Changes in Cerebral Blood Volume during Total Aortic-arch Replacement Using Electrical Impedance Tomography: a First Study
Simultaneous Detection and Segmentation of Cell Nuclei based on Convolutional Neural Network
Automatic segmentation of prostate cancer based on fusion multi-parameter MRI images
The Minimum Description Length Guided Model Selection in Granger Causality Analysis
Anisotropic total variation minimization approach in in-line phase-contrast tomographyT
Multi-retinal Images Stitching Based on the Maximum Fusion and Correction Ratio of Gray Average
GCN-RNN: An Unified Framework for Modeling the multi-label diagnosis of chest X-ray disease
A Projection Match Based Motion Compensated Algorithm in 4DCBCT
Application of Distance Regularized Chan-Vese Method for Kidney Segmentation in Renal Scintigraphy
The Prognosis Prediction of GBM Based on High-risk Subregion and Multi-parametric MR Imaging
A Bayesian approach for CT perfusion parameters estimation
Computed Tomography for Preoperative Colorectal Staging Prediction Based on Deep Multi-task Learning: Colorectal Staging Prediction Based on Deep Multi-task Learning
A Modified Multiplicative Intrinsic Component and Local Intensity Inhomogeneity for Brain Image Segmentation
Combination Strategy of Deep Learning and Direct Back Projection for High-efficiency Computed Tomography Reconstruction
A Hybrid Fusion Method Based on Image Decomposition and Low Rank Representation
SP-MTFL: A self paced multi-task feature learning method for cognitive performance predicting of Alzheimer's disease
Graph Cuts and Shape Constraint Based Automatic Femoral Head Segmentation in CT Images
Robust Segmentation of the Left Ventricle from Cardiac MRI via Capsule Neural Network
A Pulmonary Nodule Detection Algorithm Based on Low Dose CT Images
An Adaptive Device-Aware Model Optimization Framework
Organ Localization in PET/CT Images using Hierarchical Conditional Faster R-CNN Method
Transfer Learning Models on Brain Age Prediction
Microscopic Image Augmentation Using an Enhanced WGAN
Conditional Convolution Generative Adversarial Network for Bi-ventricle Segmentation in Cardiac MR Images
Dynamic alterations of amplitude of low-frequency fluctuations in adolescents with autism spectrum disorder
Amygdala-Based Structural Covariance and Functional Connectivity Alterations in Patients with Generalized Anxiety Disorder
Automatic Classification of Exudates in Color Fundus Images Using an Augmented Deep Learning Procedure
Adaptive Sampling for GPU-based 3-D Volume Rendering
Automatic hippocampus segmentation based on convolutional neural networks and level set model
Multi-energy CT image restoration algorithm based on the flat-panel X-ray source
Automated Diabetic Retinopathy Identification via Lesion Guided Network
An Improved Method of Blood Vessel Enhancement Based on Hessian Matrix
An atlas based level set method for 3D brain structures segmentation
ISICDM 2020: The Fourth International Symposium on Image Computing and Digital Medicine, Shenyang, China, December 5-7, 2020
Fixed-Point Deformable U-Net for Pancreas CT Segmentation
A Fast Convexity Preserving Level Set Method for Segmentation of Cardiac Left Ventricle