Saïs, Lakhdar, 1966-
Lakhdar Saïs francouzský vysokoškolský pedagog výpočetní techniky, specialista na umělou inteligenci
VIAF ID: 225759826 ( Personal )
Permalink: http://viaf.org/viaf/225759826
Preferred Forms
- 100 0 _ ‡a Lakhdar Saïs ‡c francouzský vysokoškolský pedagog výpočetní techniky, specialista na umělou inteligenci
- 200 _ | ‡a Saïs ‡b Lakhdar ‡f 1966-....
-
- 100 1 _ ‡a Saïs, Lakhdar, ‡d 1966-....
- 100 1 _ ‡a Saïs, Lakhdar ‡d 1966-...
-
Works
Title | Sources |
---|---|
Actes des premières journées francophones de programmation par contraintes : 8-10 juin 2005, Lens | |
Caractérisation logique de données : application aux données biologiques | |
Classification non supervisée sous contrainte utilisateurs par la programmation par contraintes. | |
Conception of an ASP system based on a new semantics and application to biological problems. | |
Concepts lattice and artificial neural network : a constructive approach of the neural network architecture. | |
Constraint games revisited | |
Contributions à la résolution générique des problèmes de satisfaction de contraintes | |
Contributions to generic solving of constraint propagation problems. | |
Contributions to improve Web Usage Mining Quality. | |
Crafting the migratory journey on the Balkan route. The co-construction of narratives and (carto)graphic texts.. | |
Data mining by constraints. | |
Decomposition methods for solving PCSP (Partial Constraint Satisfaction Problem) : application to FAP and graph coloring problems. | |
Etude de systèmes de contraintes pour le raisonnement qualitatif temporel et spatial | |
Etude des symétries et de la cardinalité en calcul propositionnel : application aux algorithmes sémantiques | |
Extensions de classes polynomiales pour le problème de satisfaisabilité. | |
Extensions of tractable classes for propositional satisfiability | |
Extraction de motifs sous contraintes souples | |
La fabrique du parcours migratoire sur la route des Balkans. Co-construction des récits et écritures (carto)graphiques. | |
Formal verification at design stage of diagnosis related properties for discrete event and real-time systems | |
Fouille de données par contraintes | |
From propositional satisfiability to quantified boolean formulae. | |
Game Decomposition for General Game Playing Aline Hufschmitt. | |
Games and lattices : algorithmic aspects. | |
Gestion de la collaboration et compétition dans le crowdsourcing : une approche avec prise en compte de fuites de données via les réseaux sociaux | |
Integrating the pattern of secure distributed constraint satisfaction problems in expert systems. | |
Jeux et treillis : aspects algorithmiques | |
Logical Characterization of Data : application to Biological Data. | |
Managing collaboration and competition in crowdsourcing : approach that takes into account data leakage via social networks. | |
Modélisation des systèmes résilients en logique non-monotone : application à UAV Solaire. | |
Patterns of code analyzation and otimization. | |
Problème SAT progrès et défis | |
Reconnaissance et exploitation de propriétés structurelles pour la résolution du problème SAT | |
Recovering and exploiting structural knowledge for the resolution of SAT problem. | |
Révéler le contenu latent du code source : à la découverte des topoi de programme | |
SAT-based diagnosability and predictability analysis in centralized and distributed discrete event systems. | |
Satisfiabilité propositionnelle et raisonnement par contraintes : modèles et algorithmes | |
Sequential and parallel resolution of the problem of propositionnal satistifiability. | |
Sosft contraints for pattern mining. | |
Study of constraint systems for qualitative reasoning. | |
Symétries locales et globales en logique propositionnelle et leurs extensions aux logiques non monotones | |
Treillis de Galois et réseaux de neurones : une approche constructive d'architecture des réseaux de neurones | |
Unveiling source code latent knowledge : discovering program topoi. | |
Vérification formelle au stade de la conception de propriétés liées au diagnostic des systèmes à événements discrets et temps réel. | |
Weather routing optimization : a multicriteria and time-dependent resolution system. | |
Νοuvelles techniques pοur les cοnstraint games. |