Biblio

Export 526 results:
Author Title [ Type(Asc)] Year
Conference Paper
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.
F. Nouioua, Dague, P., and Ye, L., Predictability in probabilistic discrete event systems, in {8th International Conference on Soft Methods in Probability and Statistics SMPS 2016}, Rome, Italy, 2016.
L. Ye, Dague, P., and Nouioua, F., A Predictability Algorithm for Distributed Discrete Event Systems, in The 17th International Conference on Formal Engineering Methods, Paris, France, 2015.
D. Colazzo and Sartiani, C., Precision and Complexity of XQuery Type Inference, in ACM-SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP), Odense, Denmark, 2011.
D. Colazzo and Sartiani, C., Precision and Complexity of XQuery Type Inference, in 12th Italian Conference on Theoretical Computer Science (ICTCS), 2010.
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.
C. Alec, Safar, B., Reynaud, C., Sellami, Z., and Berdugo, U., Peuplement automatique d'ontologie à partir d'un catalogue de produits, in 25èmes Journées francophones d'Ingénierie des Connaissances (IC), Clermont-Ferrant, France, 2014.
N. Spyratos, Sugibuchi, T., and Yang, J., Personalizing Queries over Large Data Tables, in Advances in Databases and Information Systems - 15th International Conference, ADBIS 2011, Vienna, Austria, September 20-23, 2011, pp. 271-284.
I. Manolescu and Manegold, S., Performance Evaluation in Database Research: Principles and Experience (tutorial), in Proc. of International Conference on Extending Database Technologies (EDBT), 2009.
J. Camacho-Rodriguez, Colazzo, D., Manolescu, I., and Naranjo, J. A. M., PAXQuery: Parallel Analytical XML Processing, in ACM SIGMOD International Conference on Management of Data 2015, Melbourne, Victoria, Australia, 2015, pp. 1117-1122.
J. Camacho-Rodriguez, Colazzo, D., and Manolescu, I., PAXQuery: Efficient Parallel Processing of Complex XQuery, in 30e journées Bases de Données Avancées (BDA), Grenoble-Autrans, France, 2014.
J. Camacho-Rodriguez, Colazzo, D., and Manolescu, I., PAXQuery: A Massively Parallel XQuery Processor, in {DanaC’14}, Snowbird, UT, United States, 2014.
F. Hamdi, Reynaud, C., and Safar, B., Pattern-based Mapping Refinement, in Proc. of International Conference on Knowledge Engineering and Knowledge Management (EKAW), Lisbon Portugal, 2010.
N. Zemirline, Bourda, Y., and Reynaud, C., A Pattern-based Framework for expressing Adaptation Strategies in Adaptative Systems, in Proc. of International Conference on Intelligent Systems Design and Applications (ISDA), Caire Egypt, 2010, pp. 330-335.
V. Benzaken, Castagna, G., Colazzo, D., and Miachon, C., Pattern by Example: Type-driven Visual Programming of XML Queries., in 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Valencia, Spain, 2008.
N. Zemirline, Reynaud, C., Bourda, Y., and Popineau, F., A Pattern and Rule-based Approach for reusing Hypermedia Creator's Models, in Proc. of International Conference on Knowledge Engineering and Knowledge management - Knowledge pattern (EKAW), Acitrezza, Catania, Italy, 2008.
F. Hamdi, Safar, B., Zargayouna, H. I., and Reynaud, C., Partitionnement d'ontologies pour le passage à l'échelle des techniques d'alignement, in Actes de la Conférence Francophone sur l'Extraction et la Gestion des Connaissances (EGC), Strasbourg France, 2009, pp. 409-420.
N. Bidoit, Colazzo, D., Malla, N., and Sartiani, C., Partitioning XML Data for Iterative Queries, in International Database Engineering & Applications Symposium (IDEAS), Prague, Czech Republic, 2012.
L. Brandan-Briones, Lazovik, A., and Dague, P., Optimizing the system observability level for diagnosability, in Proc. of International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Chalkidiki, Kassandra, Greece, 2008.
D. Bursztyn, Goasdoué, F., and Manolescu, I., Optimizing Reformulation-based Query Answering in RDF, in EDBT: 18th International Conference on Extending Database Technology, Brussels, Belgium, 2015.
D. Bursztyn, Goasdoué, F., Manolescu, I., and Roatis, A., Optimizing Reformulation-based Query Answering in RDF, in BDA'14 - Gestion de Données – Principes, Technologies et Applications, Grenoble-Autrans, France, 2014.
D. Bursztyn, Goasdoué, F., and Manolescu, I., Optimizing FOL reducible query answering, in BDA'15, Île de Porquerolles, France, 2015.
L. Ye and Dague, P., An Optimized Algorithm for Diagnosability of Component-based Systems, in Proc. of International Conference on Discrete Event Systems (WODES), Berlin Germany, 2010.
N. Bidoit, Colazzo, D., Malla, N., and Sahakyan, M., Optimisation de Mises a jour XML par typage et projection, in Journés Bases de Donnés Avancées (BDA), 2009.
S. Abiteboul, Manolescu, I., and Zoupanos, S., OptimAX: Optimizing Distributed ActiveXML Applications, in Proc. of International Conference on Web Engineering (ICWE), 2008.

Pages