
Irony Detection in a Multilingual Context
This paper proposes the first multilingual (French, English and Arabic) ...
read it

From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group)
This paper proposes a tentative and original survey of meeting points be...
read it

Adequate and fair explanations
Explaining sophisticated machinelearning based systems is an important ...
read it

Modeling ContrarytoDuty with CPnets
In a ceterisparibus semantics for deontic logic, a state of affairs whe...
read it

Learning event representations in image sequences by dynamic graph embedding
Recently, selfsupervised learning has proved to be effective to learn r...
read it

Relaxing Exclusive Control in Boolean Games
In the typical framework for boolean games (BG) each player can change t...
read it

Variational Reflectance Estimation from Multiview Images
We tackle the problem of reflectance estimation from a set of multiview...
read it

On Singleton Arc Consistency for Natural CSPs Defined by Forbidden Patterns
Singleton arc consistency is an important type of local consistency whic...
read it

Joint Dynamic MRI Reconstruction and Aggregated Motion Estimation with Optical Flow Constraint
This paper proposes a novel framework to jointly reconstruct the dynamic...
read it

LEDbased Photometric Stereo: Modeling, Calibration and Numerical Solution
We conduct a thorough study of photometric stereo under nearby point lig...
read it

Temporal Logic Programs with Variables
In this note we consider the problem of introducing variables in tempora...
read it

Towards a SelfOrganized AgentBased Simulation Model for Exploration of Human Synaptic Connections
In this paper, the early design of our selforganized agentbased simula...
read it

Optimal spectral transportation with application to music transcription
Many spectral unmixing methods rely on the nonnegative decomposition of...
read it

Hybridization of Interval CP and Evolutionary Algorithms for Optimizing Difficult Problems
The only rigorous approaches for achieving a numerical proof of optimali...
read it

Variable and value elimination in binary constraint satisfaction via forbidden patterns
Variable or value elimination in a constraint satisfaction problem (CSP)...
read it

On Backdoors To Tractable Constraint Languages
In the context of CSPs, a strong backdoor is a subset of variables such ...
read it

Arguments using ontological and causal knowledge
We investigate an approach to reasoning about causes through argumentati...
read it

Reconstruction of Enhanced Ultrasound Images From Compressed Measurements Using Simultaneous Direction Method of Multipliers
High resolution ultrasound image reconstruction from a reduced number of...
read it

Predictive Interval Models for Nonparametric Regression
Having a regression model, we are interested in finding twosided interv...
read it

A Dichotomy for 2Constraint Forbidden CSP Patterns
Although the CSP (constraint satisfaction problem) is NPcomplete, even ...
read it

Interactive multiclass segmentation using superpixel classification
This paper adresses the problem of interactive multiclass segmentation. ...
read it

The tractability of CSP classes defined by forbidden patterns
The constraint satisfaction problem (CSP) is a general problem central t...
read it

Compressive Deconvolution in Medical Ultrasound Imaging
The interest of compressive sampling in ultrasound imaging has been rece...
read it

Ontologybased inference for causal explanation
We define an inference system to capture explanations based on causal st...
read it

Tag Clouds for Displaying Semantics: The Case of Filmscripts
We relate tag clouds to other forms of visualization, including planar o...
read it

Joint Segmentation and Deconvolution of Ultrasound Images Using a Hierarchical Bayesian Model based on Generalized Gaussian Priors
This paper proposes a joint segmentation and deconvolution Bayesian meth...
read it

Revising Partially Ordered Beliefs
This paper deals with the revision of partially ordered beliefs. It prop...
read it

"Minimal defence": a refinement of the preferred semantics for argumentation frameworks
Dung's abstract framework for argumentation enables a study of the inter...
read it

DSRIM: A Deep Neural Information Retrieval Model Enhanced by a Knowledge Resource Driven Representation of Documents
The stateoftheart solutions to the vocabulary mismatch in information...
read it

Toward a Deep Neural Approach for KnowledgeBased IR
This paper tackles the problem of the semantic gap between a document an...
read it

Everything You Always Wanted to Know About TREC RTS* (*But Were Afraid to Ask)
The TREC RealTime Summarization (RTS) track provides a framework for ev...
read it

Expressing and verifying embedded software requirements
Writing requirements for embedded software is pointless unless they refl...
read it

An Existence Theorem of Nash Equilibrium in Coq and Isabelle
Nash equilibrium (NE) is a central concept in game theory. Here we prove...
read it

Cognitive Hierarchy and Voting Manipulation
By the GibbardSatterthwaite theorem, every reasonable voting rule for ...
read it

Bisimulations for intuitionistic temporal logics
We introduce bisimulations for the logic ITL^e with `next', `until' and ...
read it

Splitandaugmented Gibbs sampler  Application to largescale inference problems
Recently, a new class of Markov chain Monte Carlo (MCMC) algorithms took...
read it

Characterizing Asynchronous MessagePassing Models Through Rounds
Messagepassing models of distributed computing vary along numerous dime...
read it

LockFree Search Data Structures: Throughput Modelling with Poisson Processes
This paper considers the modelling and the analysis of the performance o...
read it

Evolving simple programs for playing Atari games
Cartesian Genetic Programming (CGP) has previously shown capabilities in...
read it

Bias in Semantic and Discourse Interpretation
In this paper, we show how gametheoretic work on conversation combined ...
read it

Densely Connected CNNs for Bird Audio Detection
Detecting bird sounds in audio recordings automatically, if accurate eno...
read it

Evolving Differentiable Gene Regulatory Networks
Over the past twenty years, artificial Gene Regulatory Networks (GRNs) h...
read it

Factor analysis of dynamic PET images: beyond Gaussian noise
Factor analysis has proven to be a relevant tool for extracting tissue t...
read it

Evaluating the Complementarity of Taxonomic Relation Extraction Methods Across Different Languages
Modern information systems are changing the idea of "data processing" to...
read it

slimIoT: Scalable Lightweight Attestation Protocol For the Internet of Things
The Internet of Things (IoT) is increasingly intertwined with critical i...
read it

WISE: Lightweight Intelligent Swarm Attestation Scheme for IoT (The Verifier's Perspective)
The growing pervasiveness of Internet of Things (IoT) expands the attack...
read it

Neuromodulated Learning in Deep Neural Networks
In the brain, learning signals change over time and synaptic location, a...
read it

Speed Based Optimal Power Control in Small Cell Networks
Small cell networks promise good quality of service (QoS) even for cell ...
read it

Cosinesimilarity penalty to discriminate sound classes in weaklysupervised sound event detection
The design of new methods and models when only weaklylabeled data are a...
read it

A FirstOrder Logic for Reasoning about Knowledge and Probability
We present a firstorder probabilistic epistemic logic, which allows com...
read it
IRIT
#Institut of #Recherche to #Informatique of #Toulouse ( @INP_Toulouse @CNRS @UT3PaulSabatier @UT1Capitole) #IRIToulouse @UTJeanJaures