yusuke1997/dblp-id-title huggingface dataset:
Sur la multiplicité des Sémantiques Opérationnelles de la Programmation en Logique, leur Modélisation à l'aide de Grammaires Attribuées et leur utilisation pour valider des Programmes Logiques
Synthèse de spécifications à partir de programmes
Amortized Non-Systematic Search Algorithms
Amélioration de la complexité des kB-consistances
Ich habe es nicht gewollt
Mesures comportementales sur l'interprétation de Prolog
DF - a feature constraint system and its extension to a logic concurrent language
Prolog et les techniques de contrôle
Unification associative dans le langage de programmation grammaticale logique AFFLOG
Conférence invitée: Négation et quantification dans les contraintes
COSYLOG: Symbolic Constraints in Logic towards a more Natural Programming
Etude de langage Concurrent Prolog
Termes typés et termes globaux en Prolog
Représentation de séquences définies sur des ensembles non instanciés par arbre PQR patiel
Une représentation graphique pour Prolog
Prolog et la Synergéthique
Une approche déclarative et non déterministe de la programmation logique par objets mutables
Transformation de programmes Prolog avec insertion de "slash"
Implémenter Prolog dans un environnement de programmation
Expériences de parallélisme en Prolog III
Une reconstruction de la programmation en logique avec négation
Vérification Symbolique et Programmation Logique avec Contraintes: les Raisons d'un Mariage
Un mariage heureux entre LISP et PROLOG: le système LOVLISP
Représentation des connaissances par ensemble d'atomes et clauses de Horn
Bases de données avec informations incertaines. Sémantique et mises à jour
La programmation logique: un outil pour l'aide à la formulation du raisonnement
Une approche Multi-Aspects pour la négation: yet another article sur la négation en prolog?!
Transformation d'un programme algorithmique en programme Prolog
PLC(Bool) pour la détection de variables numériques bornées
SPLT'84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France
Ant-P-Solveur: un solveur de contraintes à base de fourmis artificielles
Parallélisme et programmation fonctionnelle à la Backus
Canonical extensions as common basis for interval constraints and interval arithmetic
Caractérisation de diverses sémantiques pour des programmes logiques avec négation et application à la validation de programmes
Recherche de chemins contraints dans les réseaux biochimiques
Une logique à grain fain: la logique linéaire
TALC : un tuteur pour la construction de figures géométriques logiquement correctes
De l'utilité des contraintes pour explorer des catalogues
Evaluation ensembliste en "largeur d'abord" dans Prolog
Prolog IV : langage et algorithmes
ECOLOG: un Environnement pour la programmation en LOgique COntrainte
University timetabling using constraint handling rules
Optimisation des évolutions d'un réseau télécoms
Logic Programming with Monads and Comprehensions
Des programmes logiques avec contraintes qui apprennent des programmes logiques avec contraintes
Des contraintes sur des ontologies
Pi-calcul et LCC, une odyssée de l'espace
JFPLC'97, Sixièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 26-28 mai 1997, Orléans, France
SCORE(FD/B) : résolution de problèmes SAT aléatoires et structurés
Sur l'intégration des technologies IA et BD
Méthode de transformation de programmes de Burstall-Darlington appliquée à la programmation logique
An achievement by part method to solve the incompleteness of forward chaining
Utilisation de la Programmation logique avec contraintes pour des systèmes d'aide à la décision en planification et ordonnancement chez Dassault Aviation
Deux applications de la programmation logique avec contraintes
Une machine à réduction d'un langage logique exploitant le parallélisme d'ADA
Outils pour l'implémentation des interprètes Prolog
Operational semantics of Standard Prolog: an axiomatic approach
Automated debugging of non-terminating Prolog programs
Une application pragmatique de la consistance de chemins
Conférénce invitée: Négation et dualité en programmation logique
Une technique de backtracking intelligent, basée sur un algorithme d'unification étendu et sur la datation du processus de résolution
Une technique déclarative pour filtrer des motifs topologiques de protéines
Refining the Basic Constraint Propagation Algorithm
Deux outils complémentaires pour la récupération de la mémoire dans les interprètes PROLOG
Analyse ascendante d'une grammaire de Montague en PROLOG
PROLOG et le traitement sémantique des langues naturelles
Une implémentation d'un système coopératif pour la résolution de contraintes sur les réels
Un système ouvert de programmation Prolog
Solvable set/hyperset context
Proposition d'une extension objet minimale pour Prolog
Utilisation de PROLOG II pour la réalisation d'un système expert
Résolution incrémentale d'inéquations linéairés à variables dans Z
Relationnalisation des programmes logiques
Compilation de Prolog sur une machine de traitement symbolique
NLOG: une extension de Prolog qui donne une solution constructive à l'échec d'un programme Prolog
Indépendance de la règle de calcul pour la résolution SLD avec retard
Programmation en Logique: faire encore plus
The clp(FD) system
PHOCUS: Production rules, Horn clauses, Objects and Contexts in a Unification-based System
STARLOG: une nouvelle interprétation des clauses de Horn
VEGA: une nouvelle méthode de programmation en logique
SPLT'88, 7 ème Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France
Le calcul relationnel au service de l'implantation d'un langage de programmation logique
Programmation par contraintes et composition musicale
CLP(X) for proving prgram properties
Décompilation de clauses, Traitement des predicats assert/1, retract/1, clause/2, ...: Pour une implantation compilée de "tout" Prolog
Une solution Prolog au problème de Schubert
STARLET: un langage pour une programmation logique fiable
Gestion de mémoire dans les interpréteurs Prolog
Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis
Architectures méta-réflexives en programmation logique par objets
Un modèle d'exécution réactif et interactif pour la programmation logique avec contraintes
Une compilation logique exacte en calcul des prédicats: le cas de l'achèvement partiel
Acteurs et programmation en logique: ALOG
Un module Prolog de mu-calcul booléen: une réalisation par BDD
Un modèle de trace pour PROLOG
Une approche de compilation pour les programmes logiques exploitant le parallélisme "et" et "ou"
Bounds and adjustments associated with the Pm/r i , q i /Cmax scheduling problem
Couplage Prolog/base de données: un modèle asynchrone
PloSys: parallélisme OU et effets de bords sur système parallèle sans mémoire commune
LISLOG-C: Une première étape vers l'expression généralisée des contraintes en programmation en logique
Une sémantique opérationelle instrumentale pour Prolog et son application à la preuve de consistance d'un modèle d'interprétation abstraite
Présentation de Loglisp et QLog: aspects contrôle de résolution et évaluation des expressions
LOGIC: un environnement de programmation Prolog mêlant interprétation et compilation
Les boucles dans Prolog: structures et origines
Les Sleepers: une technique d'implémentation de haut niveau pour contrôler le processus de démonstration
Implémentation logicielle et matérielle des ressources et des fonctions de manipulation de listes
Résolution dans les systèmes formels abstraits: applications à la programmation en logique, aux systèmes de réécriture et aux grammaires formelles
Style de programmation pour une machine de programmation logique munie d'un récupérateur de mémoire
Une Interprétation abstraite en programmation logique avec contraintes
L'environnement de programmation par contraintes CHIP dans l'industrie
Point fixe alterné et bases de données Datalog étendues
Arbre d'itérations chaotiques pour décrire la résolution des CSP
Mondes et programmation en logique
Un modèle de programmation logique OU-parallèle facilitant la prise en compte du travail spéculatif
DP-LOG: un langage logique data-parallèle
Du prototype à l'application: éléments de méthode et outils
Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003
Prolog est-il un outil idéal pour la construction de prototypes?
Programmation Concurrente avec Contraintes
The theorem prover SATCHMO : strategies, heuristics and applications
Implantation de SBDS en GNU-Prolog
Contrôle dynamique de la résolution pour les programmes logiques avec contraintes
Interprétation parallèle de Prolog et Bases de données: Une application de l'algorithme de jointure par tri et composition
Pilotage d'un méta-interprète ensembliste par une trace "relationelle" pour le débogage de bases de données déductives
DyALog: une implantation des Clauses de Horn en Programmtion Dynamique
LF: langage de spécification de fonctions et de types de données en logique
Analyse automatisée de traces d'exécution de programmes CLP(FD)
Programmation concurrente par contraintes explicitement répartie
Stratégies de résolution de CSP numériques
Programmation, logique et calcul: Présentation d'un enseignement de maîtrise d'informatique
Utilisation de CHIP pour la synthèse et vérification des circuits CMOS
Yet another intelligent Backtracking method
Diagnostic déclaratif d'insuffisance en Programme logique avec contraintes
Une expérience de réalisation du Gel et du Dif dans MALI
Implanter des langages d'arbres en Prolog
Contraintes de sous-typage dans les quasi-treillis
A new model semantics for a program with negation
Résolution et dépendance entre données dans un programme Prolog
Algorithmes complet et incomplet pour la coloration des graphes de reines
Logique et apprentissage
Etude des symétries dans les modèles finis
Un outil de débogage du store pour la programmation par contraintes
Logique linéaire et Prolog
Modélisation d'un système de décodage acoustico-phonéthique à l'aide de Lislog-c
Fixpoint definitions of the well-founded semantics for disjunctive logic programs and deductive databases
Un cours "électronique" sur la programmation par contraintes
Formes de Pierce en logique propositionnelle
Une vue méthodologique de la Programmation en Logique avec négation
"Model Checking" symbolique de réseaux bio-chimiques
SPLT'90, 8 ème Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France
A hybrid MIP-CP algorithm for a linked planning and scheduling problem from chemical industry
Modélisation du flot de données par des schémas d'attributs dans les programmes logiques
Algorithmes d'unification étendue pour l'intégration des langages fonctionnels et logiques
Preferred constraints as optimization
PROB: un outil de modélisation formelle
Gymnaste ou l'informatisation des plannings des personnels dans l'unité de soins: un défi technique et sociologique
Les grammaires logiques et lambda-Prolog
Le traitement des axiomes récursifs dans les bases de données déductives
Approximations entre langages de programmation logique avec contraintes
Stratégies en meilleur d'abord pour la relaxation de contraintes
Formalisation des structures de contrôle de PROLOG
Deux approches du parallélisme ET en Prolog
Programmation d'ordre supérieur en lambda-Prolog
Termination induction by means of an abstract OLDT resolution
Une contrainte de négation par l'échec en Prolog
Inférer et compiler la terminaison des programmes logiques avec contraintes
SPLT'85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France
Preuves compositionnelles en programmation logique
Constraint programming for concurrent and distributed computing
Sur la transformation de l'appel terminal en itération dans un interprète PROLOG
La démonstration automatique en calcul propositionnel au service de la programmation par contraintes
Systèmes à base de Connaissance en Programmation Logique, un schéma: CLP (Théorie Conceptuelle)
Vers une méthodologie de programmation en logique: A propos d'une classe de problèmes
Sémantique de Parlog, un langage logique parallèle
Abduction et déduction de structures d'objets: une intégration multiparadigmes
ELyCe: Calcul d'emploi du temps lycée et collège
Des primitives pour la synchronisation des branches OU. Un exemple d'application
SetX2 : un langage logico-fonctionnel ensembliste
OBLOGIS, une implantation par objets et orientée objets de la logique de Prolog
Fashion Meets Computer Vision
MCFR@MM 2022: Proceedings of the 1st Workshop on Multimedia Computing towards Fashion Recommendation, Lisboa, Portugal, 14 October 2022
I-MALL An Effective Framework for Personalized Visits. Improving the Customer Experience in Stores
On Leveraging the Metapath and Entity Aware Subgraphs for Recommendation
CI-OCM: Counterfactural Inference towards Unbiased Outfit Compatibility Modeling
Orthogonal Vector-Decomposed Disentanglement Network of Interactive Image Retrieval for Fashion Outfit Recommendation
Hierarchical Color Quantization with a Neural Gas Model Based on Bregman Divergences
Computation of Mechanical Properties of Parts Manufactured by Fused Deposition Modeling Using Finite Element Method
Illegal Activity Categorisation in DarkNet Based on Image Classification Using CREIC Method
A Novel Formulation for the Energy Storage Scheduling Problem in Solar Self-consumption Systems
Using Identity-Based Cryptography in Mobile Applications
Soft Computing Models in Industrial and Environmental Applications, 5th International Workshop (SOCO 2010), Guimarães, Portugal, June 2010
PhrasIS: Phrase Inference and Similarity Benchmark
Advances in Clustering Search
Image Processing to Detect and Classify Situations and States of Elderly People
Evolutionary Simulation of Complex Networks' Structures with Specific Functional Properties
Mobile Agent Security Based on Artificial Immune System
ACO Using a MCDM Strategy for Route Finding in the City of Guadalajara, México
Analysis and Application of Normalization Methods with Supervised Feature Weighting to Improve K-means Accuracy
Text Classification Techniques in Oil Industry Applications
A Data-Driven Approach to Dialog Structure Modeling
Efficient Tabu Search Algorithm for the Cyclic Inspection Problem
Intelligent Decision System Based on Fuzzy Logic Expert System to Improve Plastic Injection Molding Process
Powering Soft Querying in J-CO-QL with JavaScript Functions
Machine Learning in Classification of the Wax Structure of Breathing Openings on Leaves Affected by Air Pollution
Parallel Performance of the Boundary Element Method in Thermoelastic Contact Problems
Mobile Architecture for Forest Fire Simulation Using PhyFire-HDWind Model
Combining Heuristics Backtracking and Genetic Algorithm to Solve the Container Loading Problem with Weight Distribution
Concurrent Planning and Scheduling of Heterogeneous Production System. Case Study
Estimation of Distribution Algorithms Applied to the Next Release Problem
Multi-scale Neural Model for Tool-Narayanaswamy-Moynihan Model Parameter Extraction
Detecting Defects of Steel Slabs Using Symbolic Regression
An Application of Laser Measurement to On-Line Metal Strip Flatness Measurement
A Statistical Classifier for Assessing the Level of Stress from the Analysis of Interaction Patterns in a Touch Screen
Computer-Vision-Based Industrial Algorithm for Detecting Fruit and Vegetable Dimensions and Positioning
Mobile Wireless System for Outdoor Air Quality Monitoring
The Control of the Output Power Gas Temperature at the Heat Exchanger
Multi-objective Optimization for Multi-Robot Path Planning on Warehouse Environments
Fuzzy Optimization of Start-Up Operations for Combined Cycle Power Plants
A Comparison of Computer-Based Technologies Suitable for Cryptographic Attacks
Learning Patterns from Data by an Evolutionary-Fuzzy Approach
Model Driven Classifier Evaluation in Rule-Based System
Low Voltage Grid Operation Scheduling Considering Forecast Uncertainty
Opinion Mining to Detect Irony in Twitter Messages in Spanish
Optimal Hyperbox Shrinking in Dendritic Computing Applied to Alzheimer's Disease Detection in MRI
Correlation between Speech Quality and Weather
A Hybrid Intelligence Model Forecasts the SOC of Electric Vehicle's Battery
Neural Model of a Specific Single Proton Exchange Membrane PEM Fuel Cell
Production Scheduling for Energy Cost Optimization with Constraints: Comparison of Genetic Algorithm and PSO Techniques
Multivariate Adaptive Downsampling Algorithm for Industry 4.0 Data Visualization
Collision Detector for Industrial Robot Manipulators
Equivalent Inner Key Recovery Attack to NMAC
Enhancing Time Series Anomaly Detection Using Discretization and Word Embeddings
Soft Computing Techniques to Analyze the Turbulent Wake of a Wall-Mounted Square Cylinder
Vehicle Overtaking Hazard Detection over Onboard Cameras Using Deep Convolutional Networks
A Study on the Performance of Secure Elliptic Curves for Cryptographic Purposes
Earthquake Prediction in California Using Feature Selection Techniques
Robust Velocity Control of an Automated Guided Vehicle Using Artificial Neural Networks
Extracting Non-taxonomic Relationships of Ontologies from Texts
Combining Evolutionary Generalized Radial Basis Function and Logistic Regression Methods for Classification
Abnormal Driving Behavior Identification Based on Naturalistic Driving Data Using LSTM Recurrent Neural Networks
Computer Vision Based Quality Control for Molding Injection Machines
A Parallel Cooperative Evolutionary Strategy for Solving the Reporting Cells Problem
Comparison of D-Wave Quantum Computing Environment Solvers for a Two-Machine Jobs Scheduling Problem
Possibilities of Decision Support in Organizing Production Processes
Foreground Segmentation Improvement by Image Denoising Preprocessing Applied to Noisy Video Sequences
First Approach of an Intelligent Automatic System for Aircraft Flap/Slat Positioning
Machine-Learning Techniques Applied to Biomass Estimation Using LiDAR Data
Performance of Chaos Driven Differential Evolution on Shifted Benchmark Functions Set
Waste Management as a Smart Cognitive System: The Wasman Case
Multi-agent System to Support Decision-Making Process in Ecodesign
An Approach of Fuzzy Models for Supplier Assessment and Selection
First Approach of an Electromechanical Fuzzy Logic Controller for MPPT Wind Turbine Control
Thermal Efficiency Supervision by NN Based Functional Approximation Techniques
Heuristics for Apnea Episodes Recognition
Case-Based Reasoning for the Prediction of Flash Flood
Logistics Process Modelling in Supply Chain - Algorithm of Coordination in the Supply Chain - Contracting
Manufacturing Description Language for Process Control in Industry 4.0
A SO 2 Pollution Concentrations Prediction Approach Using Autoencoders
Context-Aware Data Mining vs Classical Data Mining: Case Study on Predicting Soil Moisture
Generating 2.5D Photorealistic Synthetic Datasets for Training Machine Vision Algorithms
Reinforcement Learning for Hand Grasp with Surface Multi-field Neuroprostheses
Implementing Artificial Immune Systems for the Linear Ordering Problem
Deep Learning-Based Emotion Detection in Aphasia Patients
A Simple Data Compression Algorithm for Wireless Sensor Networks
Blockchain for Supply Chain Traceability with Data Validation
Deep Learning Approach for the Prediction of the Concentration of Chlorophyll ɑ in Seawater. A Case Study in El Mar Menor (Spain)
A Fuzzy Ordered Weighted Averaging Approach to Rerostering in Nurse Scheduling Problem
A Hybrid Method for Optimizing Shopping Lists Oriented to Retail Store Costumers
Optimizing Communication Data Streams in Edge Computing Systems Using Bayesian Algorithms
Ensemble Deep Learning for Forecasting ^222Rn 222 R n Radiation Level at Canfranc Underground Laboratory
A MAS Architecture for a Project Scheduling Problem with Operation Dependant Setup Times
A SEIR Model for Computer Virus Spreading Based on Cellular Automata
Deep Learning in Modeling Energy Cost of Buildings in the Public Sector
Discovering Spatio-Temporal Patterns in Precision Agriculture Based on Triclustering
AES-CTR as a Password-Hashing Function
A Proposal for the Development of Lifelong Dialog Systems
Improved Energy-Aware Stochastic Scheduling Based on Evolutionary Algorithms via Copula-Based Modeling of Task Dependences
Approaching System Administration as a Group Project in Computer Engineering Higher Education
17th International Conference on Soft Computing Models in Industrial and Environmental Applications (SOCO 2022) - Salamanca, Spain, September 5-7, 2022, Proceedings
Energy Optimization of a Dynamic System Controller
Automatic Detection of White Grapes in Natural Environment Using Image Processing
Lightweight Cosmetic Contact Lens Detection System for Iris Recognition at a Distance
Towards a Soft Evaluation and Refinement of Tagging in Digital Humanities
Multi-domain, Advisory Computing System in Continuous Manufacturing Processes
Exploiting the Relationship Between Visual and Textual Features in Social Networks for Image Classification with Zero-Shot Deep Learning
16th International Conference on Soft Computing Models in Industrial and Environmental Applications, SOCO 2021, Bilbao, Spain, 22-24 September, 2021
A Kernel for Time Series Classification: Application to Atmospheric Pollutants
Real-Time Big Data Analytics in Smart Cities from LoRa-Based IoT Networks
Software Defined Networking Opportunities for Intelligent Security Enhancement of Industrial Control Systems
Robust 3D Object Detection from LiDAR Point Cloud Data with Spatial Information Aggregation
Modeling Structural Elements Subjected to Buckling Using Data Mining and the Finite Element Method
Data Mining Techniques for the Estimation of Variables in Health-Related Noisy Data
Deep Learning for Big Data Time Series Forecasting Applied to Solar Power
Synthesized A* Multi-robot Path Planning in an Indoor Smart Lab Using Distributed Cloud Computing
Double Randomized Estimation of Russian Blue Chips Based on Imprecise Information
Predicting 30-Day Emergency Readmission Risk
A Comparison Analysis of the Computer Simulation Results of a Real Production System - Production System Modelling with FlexSim and Plant Simulation Software
New Method for Assessment of Raters Agreement Based on Fuzzy Similarity
A Study on Trust in Black Box Models and Post-hoc Explanations
A Preliminary Many Objective Approach for Extracting Fuzzy Emerging Patterns
Inconsistency Detection on Data Communication Standards Using Information Extraction Techniques: The ABP Case
A System for Multi-label Classification of Learning Objects
Using the Phone's Light Sensor to Detect the TV Video Stream
Deep Dense Convolutional Networks for Repayment Prediction in Peer-to-Peer Lending
Quality of Microcalcification Segmentation in Mammograms by Clustering Algorithms
Learning Bayesian Network to Predict Group Emotion in Kindergarten by Evolutionary Computation
An Introduction to Some Methods for Soft Computing in Fluid Dynamics
A Movement Control System Based on Qualitative Reasoning
A Novel Heuristic Approach for the Simultaneous Selection of the Optimal Clustering Method and Its Internal Parameters for Time Series Data
Advancements in Machine Learning Algorithms for Precision Crop Yield Prediction: A Comprehensive Review with Focus on European Union
Convolutional Neural Networks for Structured Industrial Data
Solving the Two-Stage Supply Chain Network Design Problem with Risk-Pooling and Lead Times by an Efficient Genetic Algorithm
Language Identification for Under-Resourced Languages in the Basque Context
On the Performance of Deep Learning Models for Time Series Classification in Streaming
Enhanced Image Segmentation Using Quality Threshold Clustering for Surface Defect Categorisation in High Precision Automotive Castings
Distribution of the Density of Current in the Base of Railway Traction Line Posts
Multi-agent Artificial Immune System for Network Intrusion Detection and Classification
A Study on Hyperparameter Configuration for Human Activity Recognition
Assessing the Efficient Market Hypothesis for Cryptocurrencies with High-Frequency Data Using Time Series Classification
Predicting Landslides with Machine Learning Methods Using Temporal Sequences of Meteorological Data
Indoor Scenes Video Captioning
PainFusion: Multimodal Pain Assessment from RGB and Sensor Data