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., Distributed Consistency-Based Diagnosis without Conflicts, in Proc. of International Workshop on Principles of Diagnosis (DX), 2008.
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, Simon, L., and Dague, P., Distributed tree decomposition with privacy, in Proc. of International Conference on Principles and Practice of Constraint Programming (CP), Québec, Canada, 2012, pp. 102-117.
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, 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., 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, 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.
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 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., 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.
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
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.
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.
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, 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.
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.
M. Batteux, Dague, P., Rapin, N., and Fiani, P., Diagnosability study of technological systems, in Conf. of International Conference on Industrial, Engineering and other Applications of Applied Intelligent Systems (IEA/AIE), Syracuse, United States, 2011, vol. 6703.
M. Batteux, Diagnosticabilité et diagnostic de systèmes technologiques pilotés : développement d'une cha\^ıne de conception outillée d'un système de diagnostic appliquée aux systèmes technologiques pilotés., Université Paris Sud, 2011.

Pages