Thi-Bich-Hanh Dao

According to our database1, Thi-Bich-Hanh Dao authored at least 34 papers between 2000 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Post-traitement pour la classification probabiliste non supervisée sous contraintes.
Proceedings of the Extraction et Gestion des Connaissances, 2020

Constrained Clustering via Post-processing.
Proceedings of the Discovery Science - 23rd International Conference, 2020

2019
Constrained Distance-Based Clustering for Satellite Image Time-Series.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2019

2018
Constrained distance based clustering for time-series: a comparative and experimental study.
Data Min. Knowl. Discov., 2018

Descriptive Clustering: ILP and CP Formulations with Applications.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Constraint Programming for Data Mining and for Natural Language Processing.
, 2018

2017
Constrained clustering by constraint programming.
Artif. Intell., 2017

A Framework for Minimal Clustering Modification via Constraint Programming.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Repetitive Branch-and-Bound Using Constraint Programming for Constrained Minimum Sum-of-Squares Clustering.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

A Framework for Actionable Clustering Using Constraint Programming.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015
Constrained Minimum Sum of Squares Clustering by Constraint Programming.
Proceedings of the Principles and Practice of Constraint Programming, 2015

2014
Un nouveau modèle pour la classification non supervisée sous contraintes.
Rev. d'Intelligence Artif., 2014

Model-theory and implementation of property grammars with features.
J. Log. Comput., 2014

2013
A Declarative Framework for Constrained Clustering.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2013

A Filtering Algorithm for Constrained Clustering with Within-Cluster Sum of Dissimilarities Criterion.
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Une approche en programmation par contraintes pour la classification non supervisée.
Proceedings of the Extraction et gestion des connaissances (EGC'2013), Actes, 29 janvier, 2013

2011
Characterizing Conclusive Approximations by Logical Formulae.
Proceedings of the Reachability Problems - 5th International Workshop, 2011

Model-Theory of Property Grammars with Features.
Proceedings of the 12th International Conference on Parsing Technologies, 2011

2010
Property Grammar Parsing Seen as a Constraint Optimization Problem.
Proceedings of the Formal Grammar, 2010

2009
A Model-Theoretic Framework for Grammaticality Judgements.
Proceedings of the Formal Grammar - 14th International Conference, 2009

2008
Theory of finite or infinite trees revisited.
Theory Pract. Log. Program., 2008

2007
Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

2006
Complete First-Order Axiomatization of Finite or Infinite M-extended Trees.
Proceedings of the 20th Workshop on Logic Programming, 2006

Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Solving First-Order Constraints in the Theory of the Evaluated Trees.
Proceedings of the Logic Programming, 22nd International Conference, 2006

Extension of First-Order Theories into Trees.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2006

2003
Apprentissage de solveurs de contraintes sur les domaines finis.
Tech. Sci. Informatiques, 2003

Expressiveness of Full First-Order Constraints in the Algebra of Finite or Infinite Trees.
Constraints An Int. J., 2003

Finite Domain Constraint Solver Learning.
Proceedings of the IJCAI-03, 2003

Language, Definition and Optimal Computation of CSP Approximations.
Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003

Learning Approximate Consistencies.
Proceedings of the Recent Advances in Constraints, 2003

Intermediate (Learned) Consistencies.
Proceedings of the Principles and Practice of Constraint Programming, 2003

2002
Indexical-Based Solver Learning.
Proceedings of the Principles and Practice of Constraint Programming, 2002

2000
Résolution de contraintes du premier ordre dans la théorie des arbres finis ou infinis.
Proceedings of the Programmation en logique avec contraintes, 2000


  Loading...