Biblio

Export 526 results:
[ Author(Desc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
V. Armant, Dague, P., and Simon, L., “Diagnostic Distribué à base de modèles sans calcul préalable des conflits”, in Actes des Journées Francophones de Programmation par Contraintes (JFPC), 2008, pp. 41–48.
V. Armant, Dague, P., and Simon, L., “Distributed Consistency-Based Diagnosis”, in Proc. of International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Doha, Qatar, 2008.
V. Armant, “{Diagnostic distribué de systèmes respectant la confidentialité”, Université Paris Sud, 2012.
M. Atencia, Chein, M., Croitoru, M., David, J., Leclère, M., Pernelle, N., Sais, F., Scharffe, F., and Symeonidou, D., “Defining Key Semantics for the RDF Datasets: Experiments and Evaluations”, in International Conference on Conceptual Structures, (ICCS), Iasi, Romania, 2014, vol. LNCS, pp. 65-78.
G. Audemard and Simon, L., “Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms”, in Proc. of International Conference on Principles and Practice of Constraint Programming (CP), 2008.
G. Audemard and Simon, L., “Refining restarts strategies for SAT and UNSAT formulae”, in Proc. of International Conference on Principles and Practice of Constraint Programming (CP), Québec City, Canada, 2012, pp. 118-126.
G. Audemard, Lagniez, J. - M., and Simon, L., “Du Glucose en goutte à goutte pour les coeurs inconsistants”, in Actes des Journées Francophones de Programmation par Contraintes (JFPC), Aix en Provence, France, 2013.
G. Audemard and Simon, L., “Predicting Learnt Clauses Quality in Modern SAT Solver”, in Proc. of International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, États-Unis d'Amérique, 2009.
G. Audemard, Lagniez, J. - M., and Simon, L., “Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction”, in Proc. of International Conference on Theory and Applications of Satisfiability Testing (SAT), Helsinki, Finlande, 2013.
G. Audemard, Modeliar, M. Samy, and Simon, L., “Pourquoi les solveurs SAT modernes se piquent-ils contre des cactus?”, in Actes des Journées Francophones de Programmation par Contraintes (JFPC), Orléans, France, 2009, pp. 245-255.
G. Audemard, Lagniez, J. - M., and Simon, L., “Just-in-Time Compilation of Knowledge Bases”, in International Joint Conference on Artificial Intelligence (IJCAI), Pékin, Chine, 2013.
G. Audemard and Simon, L., “Glucose 2.1: Aggressive - but Reactive - Clause Database Management, Dynamic Restarts”, in Proc. of International Workshop of Pragmatics of SAT (Affiliated to SAT), Trento, Italie, 2012.
N. Aussenac-Gilles, Charlet, J., and Reynaud, C., “Les enjeux de l'Ingénierie des connaissances”, in Information, Interaction, Intelligence - Le point sur le i(3), F. Sedes, Ogier, J. M., and Marquis, P., Eds. Cepadues, 2012.
E. Akbari Azirani, Goasdoué, F., Manolescu, I., and Roatis, A., “Efficient OLAP Operations for RDF Analytics”. OAK team, Inria Saclay ; INRIA, 2015.
B
A. Baazizi, Bidoit, N., Colazzo, D., Malla, N., and Sahakyan, M., “Projection for XML Update Optimization”, in International Conference on Extending Database Technology (EDBT), Uppsala, Sweden, 2011.
A. Baazizi, Bidoit, N., and Colazzo, D., “Efficient Encoding of Temporal XML documents”, in International Symposium on Temporal Representation and Reasoning (TIME), Lübeck, Germany, 2011.
M. - A. Baazizi, “Analyse statique pour l'optimisation des mises à jour de documents XML temporels”, Université Paris Sud - Paris XI, 2012.
M. - A. Baazizi, Bidoit, N., and Colazzo, D., “Maintenance efficace de documents XML volumineux”, in 27èmes journées Bases de Données Avancées (BDA), Rabat, Morocco, 2011.
J. - F. Baget, Bienvenu, M., Mugnier, M. - L., and Rocher, S., “Combining Existential Rules and Transitivity: Next Steps”, in International Joint Conference on Artificial Intelligence, (IJCAI), Buenos Aires, Argentina, 2015.
D. Barbosa, Manolescu, I., and Yu, J. Xu, “Application Benchmark”, in Encyclopedia of Database Systems, L. Liu and Ozsu, T., Eds. Springer US, 2009, pp. 99-100.
D. Barbosa, Bohannon, P., Freire, J., Kanne, C. - C., Manolescu, I., Vassalos, V., and Yoshikawa, M., “XML Storage”, in Encyclopedia of Database Systems, L. Liu and Ozsu, T., Eds. Springer, 2009, pp. 3627-3634.
D. Barbosa, Manolescu, I., and Yu, J. Xu, “XML Benchmarks”, in Encyclopedia of Database Systems, L. Liu and Ozsu, T., Eds. Springer US, 2009, pp. 3576-3579.
D. Barbosa, Manolescu, I., and Yu, J. Xu, “Microbenchmark”, in Encyclopedia of Database Systems, L. Liu and Ozsu, T., Eds. Springer US, 2009, pp. 1737-1737.
M. Batteux, Rapin, N., Dague, P., and Fiani, P., “Faulty models of a fuel cell system for model-based diagnosis study”, in Fundamentals and Developments of Fuel Cells Conference (FDFC), Grenoble, France, 2011.
M. Batteux, Fiani, P., Rapin, N., and Dague, P., “Génération du comportement observable d'un système pour l'étude de la diagnosticabilité de défauts”, in QUALITA 2011, Angers, France, 2011.

Pages