Yves Deville
Yves Deville
Professor of Computer Science, Université catholique de Louvain, ICTEAM, EPL
Adresse e-mail validée de uclouvain.be - Page d'accueil
TitreCitée parAnnée
A generic arc-consistency algorithm and its specializations
P Van Hentenryck, Y Deville, CM Teng
Artificial Intelligence 57 (2-3), 291-321, 1992
6021992
Numerica: a modeling language for global optimization
P Van Hentenryck, L Michel, Y Deville
MIT press, 1997
4291997
Design, implementation, and evaluation of the constraint language cc (FD)
P Van Hentenryck, V Saraswat, Y Deville
The Journal of Logic Programming 37 (1-3), 139-164, 1998
2541998
Logic programming: systematic program development
Y Deville
Addison-Wesley Longman Publishing Co., Inc., 1990
2071990
The Cardinality Operator: A New Logical Connective for Constraint Logic Programming.
P Van Hentenryck, Y Deville
Brown University, Department of Computer Science, 1990
2061990
Constraint processing in cc (FD)
P Van Hentenryck, V Saraswat, Y Deville
Draft, 1991
1591991
Design, implementation, and evaluation of the constraint language cc (FD)
P Van Hentenryck, V Saraswat, Y Deville
French School on Theoretical Computer Science, 293-316, 1994
1451994
An overview of data models for the analysis of biochemical pathways
Y Deville, D Gilbert, J Van Helden, SJ Wodak
Briefings in Bioinformatics 4 (3), 246-259, 2003
1342003
Cp (graph): Introducing a graph computation domain in constraint programming
G Dooms, Y Deville, P Dupont
International Conference on Principles and Practice of Constraint …, 2005
1232005
Multi-class protein fold classification using a new ensemble machine learning approach
AC Tan, D Gilbert, Y Deville
Genome Informatics 14, 206-217, 2003
1182003
An efficient arc consistency algorithm for a. class of CSP problems
Y Deville, P Van Hentenryck
Proceedings of UCAI-Ql, Sydney, Australia, 1991
1161991
NeAT: a toolbox for the analysis of biological networks, clusters, classes and pathways
S Brohée, K Faust, G Lima-Mendez, O Sand, R Janky, G Vanderstocken, ...
Nucleic acids research 36 (suppl_2), W444-W451, 2008
992008
A distributed arc-consistency algorithm
T Nguyen, Y Deville
Science of Computer Programming 30 (1-2), 227-250, 1998
921998
Logic program synthesis
Y Deville, KK Lau
The Journal of Logic Programming 19, 321-350, 1994
871994
The aMAZE LightBench: a web interface to a relational database of cellular processes
C Lemer, E Antezana, F Couche, F Fays, X Santolaria, R Janky, Y Deville, ...
Nucleic Acids Research 32 (suppl_1), D443-D448, 2004
862004
Solving subgraph isomorphism problems with constraint programming
S Zampelli, Y Deville, C Solnon
Constraints 15 (3), 327-353, 2010
722010
The deviation constraint
P Schaus, Y Deville, P Dupont, JC Régin
International Conference on Integration of Artificial Intelligence (AI) and …, 2007
552007
Synthesis of programs in computational logic
D Basin, Y Deville, P Flener, A Hamfelt, JF Nilsson
Program Development in Computational Logic, 30-65, 2004
532004
Constraint satisfaction over connected row-convex constraints
Y Deville, O Barette, P Van Hentenryck
Artificial Intelligence 109 (1-2), 243-271, 1999
521999
Consistency techniques in ordinary differential equations
Y Deville, M Janssen, P Van Hentenryck
International Conference on Principles and Practice of Constraint …, 1998
511998
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20