346 résultats  enregistrer la recherche


...
hal-00906644v1  Communication dans un congrès
Loredana LaeraValentina TammaJérôme EuzenatTrevor Bench-CaponTerry PayneArguing over ontology alignments
Proc. 1st ISWC 2006 international workshop on ontology matching (OM), Nov 2006, Athens, United States. No commercial editor., pp.49-60, 2006, Proc. 1st ISWC 2006 international workshop on ontology matching (OM)
hal-01104556v1  Communication dans un congrès
Venmugil ElangoFabrice RastelloLouis-Noël PouchetJagannathan RamanujamPonnuswamy SadayappanOn Characterizing the Data Access Complexity of Programs
42nd Annual Symposium on Principles of Programming Languages, 2015, Jan 2015, Mumbai, India. ACM, pp.567-580, 2014
hal-00156362v1  Communication dans un congrès
M. MarzenckiS. BasrourB. BelgacemP. MuraltM. ColinComparison of piezoelectric MEMS mechanical vibration energy scavengers
Nanotech 2007, May 2007, Santa Clara, California, United States. CRC Press, pp.21-24, 2007
...
hal-00906643v1  Communication dans un congrès
Jérôme EuzenatMalgorzata MocholPavel ShvaikoHeiner StuckenschmidtOndrej Sváb et al.  Results of the Ontology Alignment Evaluation Initiative 2006
Proc. 1st ISWC 2006 international workshop on ontology matching (OM), Nov 2006, Athens, United States. No commercial editor., pp.73-95, 2006, Proc. 1st ISWC 2006 international workshop on ontology matching (OM)
hal-00156409v1  Communication dans un congrès
M. MarzenckiS. BasrourEnhanced models for power output prediction from resonant piezoelectric micro power generators
20th Eurosensors Conference, Sep 2006, Göteborg, Sweden. MC2, Chalmers University of Technology, Göteborg, Sweden, pp.130-131, 2006
hal-00156361v1  Communication dans un congrès
M. MarzenckiY. AmmarS. BasrourDesign, fabrication and characterization of a piezoelectric MEMS, vibration energy scavenging
Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (DTIP'07), Apr 2007, Stresa, Italy. TIMA EDITIONS, 46 avenue Félix Viallet, 38031 Grenoble Cedex, pp.350-353, 2007
hal-01104765v1  Article dans une revue
Venmugil ElangoNaser SedaghatiFabrice RastelloLouis-Noël PouchetJagannathan Ramanujam et al.  On Using the Roofline Model with Lower Bounds on Data Movement
ACM Transactions on Architecture and Code Optimization (TACO) , ACM, 2015, 11 (4), pp.67:1--67:23
...
hal-00374090v1  Communication dans un congrès
Eugene AsarinMarius BozgaAlain KerbratOded MalerAmir Pnueli et al.  Data-Structures for Verification of Timed Automata
Maler, Oded. Hybrid and Real-Time Systems International Workshop, HART'97, Mar 1997, Grenoble, France. Springer, 1201, pp.346--360, 1997, Lecture Notes in Computer Science. <10.1007/BFb0014706>
hal-00923543v1  Communication dans un congrès
Mikalai TsytsarauSihem Amer-YahiaThemis PalpanasEfficient Sentiment Correlation for Large-scale Demographics
Kenneth Ross, Divesh Srivastava, Dimitris Papadias. SIGMOD 2013 - Special Interest Group on Management of Data, Jun 2013, New York, NY, United States. ACM, pp.253-264, 2013, <10.1145/2463676.2465317>
...
hal-00374086v1  Communication dans un congrès
Marius BozgaOded MalerAmir PnueliSergio YovineSome Progress in the Symbolic Verification of Timed Automata
Grumberg, Orna. Computer Aided Verification 9th International Conference, CAV'97, Jun 1997, Haifa, Israel. Springer, 1254, pp.179--190, 1997, Lecture Notes in Computer Science. <10.1007/3-540-63166-6_19>
hal-00923544v1  Communication dans un congrès
Sofiane AbbarSihem Amer-YahiaPiotr IndykSepideh MahabadiKasturi VaradarajanDiverse Near Neighbor Problem
Guilherme D. da Fonseca, Thomas Lewiner, Luis Peñaranda, Timothy Chan, Rolf Klein. SoCG 2013 - Symposium on Computational Geometry, Jun 2013, Rio de Janeiro, Brazil. ACM, pp.207-214, 2013, <10.1145/2462356.2462401>
hal-00923541v1  Communication dans un congrès
Julia StoyanovichSihem Amer-YahiaSusan B. DavidsonMarie JacobTova MiloUnderstanding Local Structure in Ranked Datasets
CIDR 2013 - Conference on Innovative Data Systems Research, Jan 2013, Asilomar, CA, United States. 4 p., 2013
...
hal-00825945v1  Communication dans un congrès
Loredana LaeraValentina TammaTrevor Bench-CaponJérôme EuzenatAgent-based argumentation for ontology alignments
Proc. 6th ECAI workshop on Computational models of natural argument (CMNA), Aug 2006, Riva del Garda, Italy. No commercial editor., pp.40-46, 2006, Proc. 6th ECAI workshop on Computational models of natural argument (CMNA)
...
hal-00825946v1  Communication dans un congrès
Loredana LaeraValentina TammaJérôme EuzenatTrevor Bench-CaponTerry PayneReaching agreement over ontology alignments
Isabel Cruz, Stefan Decker, Dean Allemang, Chris Preist, Daniel Schwabe, Peter Mika, Michael Uschold, Lora Aroyo. Proc. 5th International semantic web conference (ISWC), Nov 2006, Athens, United States. Springer Verlag, 4273, pp.371-384, 2006, Lecture notes in computer science; The semantic web - ISWC 2006. <10.1007/11926078_27>
hal-00873887v1  Communication dans un congrès
Elzbieta MiloszMarek MiloszJean-Michel AdamSergio Luján-MoraNada Trunk SircaInternationalization of Higher Education: A Case Study of Leonardo da Vinci Project
Valerij Dermol, Nada Trunk Širca, Goran Ðaković and Urška Lindav. MakeLearn 2012 - Management, Knowledge and Learning International Conference, Jun 2012, Celje, Slovenia. ISSBS (Slovenija), pp.851-858, 2012, Knowledge and Learning: Global Empowerment
hal-00873971v1  Communication dans un congrès
Jean-Michel AdamSergio Luján-MoraAgathe MerceronMarek MiloszArto ToppinenEuropean-Russian-Central Asian Network of Master's degree "Informatics as a Second Competence
Rachida Ajhoun, Michael E. Auer, Martin Llamas. EDUCON 2012 - The 3rd IEEE Global Engineering Education Conference, Apr 2012, Marrakesh, Morocco. IEEE, pp.722-729, 2012, <10.1109/EDUCON.2012.6201128>
hal-00873970v1  Communication dans un congrès
Agathe MerceronJean-Michel AdamLuján-Mora SergioMarek MiloszArto ToppinenFaculty Development in the EU ERAMIS Project
Rachida Ajhoun, Michael E. Auer, Martin Llamas. EDUCON 2012 - The IEEE Global Engineering Education Conference, Apr 2012, Marrakesh, Morocco. IEEE, pp.74-77, 2012, <10.1109/EDUCON.2012.6201023>
hal-00873972v1  Communication dans un congrès
Marek MiloszJean-Michel AdamSergio Luján-MoraAgathe MerceronLessons Learned from Academic Teachers Training in TEMPUS ERAMIS Project
ICL 2012 - 15th International Conference on Interactive Collaborative Learning and 41st International Conference on Engineering Pedagogy (IGIP), Sep 2012, Villach, Austria. IEEE, pp.1-4, 2012, <10.1109/ICL.2012.6402190>
...
hal-01271343v2  Communication dans un congrès
Anil BasWilliam A. P. SmithTimo BolkartStefanie WuhrerFitting a 3D Morphable Model to Edges: A Comparison Between Hard and Soft Correspondences
ACCV Workshop on Facial Informatics, Nov 2016, Taipei, Taiwan
hal-01326779v1  Communication dans un congrès
David EppsteinPhilipp KindermannStephen KobourovGiuseppe LiottaAnna Lubiw et al.  On the Planar Split Thickness of Graphs
Evangelos Kranakis; Gonzalo Navarro; Edgar Chavez. LATIN 2016: Theoretical Informatics: 12th Latin American Symposium, Apr 2016, Ensenada, Mexico. Springer, 9644, pp.403-415, Lecture Notes in Computer Science. <http://latin2016.natix.org/>. <10.1007/978-3-662-49529-2_30>
hal-01278117v1  Communication dans un congrès
Michaël GabayVladimir KotovNadia BraunerBorne inférieure pour le bin stretching online et jeux
ROADEF 2016, 17ème congrés annuel de la Société française de Recherche Opérationnelle et d'Aide à la Décision, Feb 2016, Compiègne, France. 2016
...
hal-00726448v1  Article dans une revue
Gwen SalaünTevfik BultanNima RoohiRealizability of Choreographies using Process Algebra Encodings
IEEE Transactions on Services Computing, IEEE, 2012, 5 (3), pp.290-304
hal-00334035v1  Communication dans un congrès
D. BorrioneA. HelmyL. PierreJ. SchmaltzExecutable Formal Specification and Validation of NoC Communication Infrastructures
21st Symposium on Integrated Circuits and Systems Design (SBCCI'08), Sep 2008, Gramado, Brazil. ACM, pp.176-181, 2008, <10.1145/1404371.1404421>
hal-00877799v1  Communication dans un congrès
Sergio Luján-MoraJean-Michel AdamAgathe MerceronMarek MiloszArto ToppinenCreating an International Network of Master Degrees in Computer Science as a Second Competence
I. Candel Torres, L. Gómez Chova, A. López Martínez. ICERI 2011 - 4th International Conference of Education, Research and Innovation, Nov 2011, Madrid, Spain. IATED, pp.2811-2815, 2011
hal-00981700v1  Ouvrage (y compris édition critique et traduction)
Bogdan IonescuJenny Benois-PineauTomas PiatrikGeorges QuénotFusion in Computer Vision: Understanding Complex Visual Content
Springer international publishing, 272 p., 2014
...
inria-00525867v1  Communication dans un congrès
Amael DelaunoyEmmanuel PradosPeter BelhumeurTowards Full 3D Helmholtz Stereovision Algorithms
Ron Kimmel and Reinhard Klette and Akihiro Sugimoto. ACCV 2007 - 8th Asian Conference on Computer Vision, Nov 2010, Queenstown, New Zealand. Springer, 6492, pp.39-52, 2010, Lecture Notes in Computer Science. <10.1007/978-3-642-19315-6_4>
hal-00977484v1  Communication dans un congrès
Quoc Dung NgoYanis HadjsaïdStephane PloixBernard ParisseUjjwal MaulikToward the automation of model trans-formation for optimized building energy management
Clean Energy and Technology CEAT, Nov 2013, LANGKAWI, Malaysia. pp.336 - 341, 2013
...
hal-00873531v1  Communication dans un congrès
Cecilie HansenValérie EminBarbara WassonYishay MorMaria Jesús Rodriguez-Triana et al.  Towards an Integrated Model of Teacher Inquiry into Student Learning, Learning Design and Learning Analytics
Davinia Hernández-Leo, Tobias Ley, Ralf Klamma, Andreas Harrer. EC-TEL 2013 - 8th European Conference, on Technology Enhanced Learning, Sep 2013, Paphos, Cyprus. Springer, 8095, pp.605-606, 2013, Lecture Notes in Computer Science (LNCS). <10.1007/978-3-642-40814-4_73>