Search results for " Computer science"
showing 10 items of 3983 documents
Theoretical Aspects of Scheduling Coupled-Tasks in the Presence of Compatibility Graph
2012
International audience; This paper presents a generalization of the coupled-task sche-duling problem introduced by Shapiro \cite{Shapiro}, where considered tasks are subject to incompatibility constraints depicted by an undirected graph. The motivation of this problem comes from data acquisition and processing in a mono-processor torpedo used for underwater exploration. As we add the compatibility graph, we focus on complexity of the problem, and more precisely on the boundary between $\mathcal{P}$ and $\mathcal{NP}$-completeness when some other input parameters are restricted (e.g. the ratio between the durations of the two sub-tasks composing a task): we adapt the global visualization of …
INCONSISTENCY IDENTIFICATION IN DYNAMIC ONTOLOGIES BASED ON MODEL CHECKING
2012
International audience; The increasing use of ontologies and the cost of changes support the need to manage the evolution of ontologies. A common kind of error in ontology evolution is the logical contradiction declined as incoherences and inconsistences. In this paper, we propose a new approach to predict and identify the incoherences and inconsistences in the evolution of ontologies based on temporal logic and ontology design patterns. We implement the proposed approach using the NuSMV model checker. Based on these patterns, we propose an automated process to guide and monitor the implementation of change while ensuring the consistency of the evolved ontology.
A la recherche des mini-publics : un problème de communautés, de singularités et de sémantique
2016
International audience
Papersᵞ, Discussing board for scientific papers
2015
International audience
Évaluation de l’influence dans un réseau multi-relationnel : le cas de Twitter
2016
International audience
SNFreezer: a Platform for Harvesting and Storing Tweets in a Big Data Context
2016
International audience
Évaluation de l’influence polarisée dans un réseau multi-relationnel : application à twitter
2017
International audience
Un observatoire pour la modélisation et l’analyse des réseaux multi-relationnels. Une application à l'étude du discours politique sur Twitter
2017
International audience
Détection de précurseurs d'évènements basés sur les motifs dans les réseaux sociaux
2021
Les données issues des réseaux sociaux suscitent l'intérêt des chercheurs qui développent des algorithmes et des modèles d'apprentissage automatique pour analyser les interactions et les comportements des utilisateurs. Ces méthodes s'appuient sur la topologie du réseau pour représenter les changements structurels et pour détecter des précurseurs remarquables précédant généralement des évènements majeurs. L'étude présentée dans cet article vise à étudier si certains graphlets (motifs spécifiques) peuvent être considérés comme des précurseurs d'évènements. Nous expérimentons la méthode proposée sur trois ensembles de données de réseaux sociaux. Nous étudions également le rôle joué dans les gr…