Biblio

Export 25 results:
[ Author(Asc)] Title Type Year
Filters: First Letter Of Last Name is K  [Clear All Filters]
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 
K
P. Koopmann and Chen, J., “Computing ALCH-Subsumption Modules Using Uniform Interpolation”, in {SOQE 2017 Workshop on Second-Order Quantifier Elimination and Related Topics}, Dresden, Germany, 2017.
W. Khemiri, “Data-intensive interactive workflows for visual analytics”, Université Paris Sud - Paris XI, 2011.
R. Khefifi, Buche, P., Dibie-Barthélemy, J., and Sais, F., “Détection de redondances dans les tableaux guidée par une ontologie”, in Actes de la Conférence Francophone sur l'Extraction et la Gestion des Connaissances (EGC), Brest, France, 2011, pp. 563-568.
R. Khéfifi, Poizat, P., and Sais, F., “Vers une utilisation automatique des Informations Personnelles pour la réalisation de e-procedures”, Revue des Nouvelles Technologies de l'Information, vol. RNTI-W-2, pp. 75-89, 2014.
R. Khefifi, Poizat, P., and Sais, F., “Data-Flow Oriented Service Composition: AI-Planning or Petri Nets”, in 2nd Workshop From Open Sources to Web of Data (SOS-DLWD 2013), Lille, France, 2013.
R. Khefifi, Poizat, P., and Sais, F., “Automatic Composition of Form-Based Services in a Context-Aware Personal Information Space”, in International Conference on Service Oriented Computing (ICSOC 2013), 2013, p. to appear.
R. Khefifi, Poizat, P., and Sais, F., “Modélisation et interrogation d'espaces d'informations personnelles sensibles au contexte”, in Actes de la Conférence Francophone sur l'Extraction et la Gestion des Connaissances (EGC), 2012, vol. RNTI-E-23.
R. Khefifi, Poizat, P., and Sais, F., “Modeling and Querying Context-Aware Personal Information Spaces”, in Proc. of International Conference on Database and Expert Systems Applications (DEXA), 2012, vol. 7447.
G. Katsirelos, Sabharwal, A., Samulowitz, H., and Simon, L., “Resolution and Parallelizability: Barriers to the Efficient Parallelisation of SAT Solvers”, in Conference on Artificial Intelligence (AAAI), Washington, Etats-Unis, 2013.
G. Katsirelos and Simon, L., “Learning Polynomials over GF(2) in a SAT Solver”, in Proc. of International Conference on Theory and Applications of Satisfiability Testing (SAT), Trento, Italie, 2012.
A. Katsifodimos, Manolescu, I., and Vassalos, V., “Materialized View Selection for XQuery Workloads”, in SIGMOD - ACM SIGMOD International Conference on Management of Data 2012, Scottsdale, Arizona, United States, 2012.
A. Katsifodimos, Manolescu, I., Tilea, A., and Zoupanos, S., “Adaptive distributed XML views”. 2009.
A. Katsifodimos, Fekete, J. - D., Cady, A., and Germain-renaud, C., “Visualizing the dynamics of e-science social networks”, in EGEE User Forum, 2010.
K. Karanasos, Katsifodimos, A., and Manolescu, I., “Delta: Scalable Data Dissemination under Capacity Constraints”. INRIA, p. 37, 2013.
K. Karanasos, Katsifodimos, A., Manolescu, I., and Zoupanos, S., “ViP2P: Efficient XML Management in DHT Networks”, in ICWE - 12th International Conference on Web Engineering, Berlin, Germany, 2012.
K. Karanasos, Katsifodimos, A., and Manolescu, I., “Delta: Scalable Data Dissemination under Capacity Constraints”, in Bases de Données Avancées (BDA), Nantes, France, 2013.
K. Karanasos, “Techniques fondées sur des vues matérialisées pour la gestion efficace des données du web”, Université Paris Sud - Paris XI, 2012.
K. Karanasos, Katsifodimos, A., Manolescu, I., and Zoupanos, S., “The ViP2P Platform: XML Views in P2P”. INRIA, 2011.
K. Karanasos and Zoupanos, S., “Viewing a World of Annotations through AnnoVIP”, in International Conference on Data Engineering (ICDE), Long Beach, California, United States, 2010.
K. Karanasos, Katsifodimos, A., and Manolescu, I., “Delta: Scalable Data Dissemination under Capacity Constraints”, Proceedings of VLDB, vol. 7, 2014.
K. Karanasos and Manolescu, I., “P2P Views Over Annotated Documents”. 2009.
Z. Kaoudi and Manolescu, I., “RDF in the Clouds: A Survey”, The International Journal on Very Large Databases, 2014.
Z. Kaoudi and Manolescu, I., “Triples in the clouds”, in International Conference on Data Engineering, Brisbane, Australie, 2013.
Z. Kaoudi and Manolescu, I., “Cloud-based RDF data management”, in ACM SIGMOD, Snowbird, United States, 2014.
S. Kamath, Grau, B., and Ma, Y., “Verification of the Expected Answer Type for Biomedical Question Answering”. 2018.