13 results  save search

halshs-00775748v1  Book sections
Hervé ZwirnJean-Paul Delahaye. Unpredictability and computational irreducibility
Hector Zenil, ed. Irreducibility and Computational Equivalence: 10 Years After Wolfram's A New Kind of Science (Emergence, Complexity and Computation), Springer, pp.273-295, 2013, 978-3-642-35481-6. ⟨10.1007/978-3-642-35482-3 ⟩
hal-00812327v1  Book sections
Sylvain MongyFatma BoualiChaabane Djeraba. Video Usage Mining
Borko Furth. Multimedia Dictionary, Second Edition, Springer, pp.954-959, 2008, 978-0-387-74724-8
inria-00425370v1  Book sections
Nadia PisantiMathieu GiraudPierre Peterlongo. Filters and seeds approaches for fast homology searches in large datasets
Mourad Elloumi and Albert Y. Zomaya. Algorithms in computational molecular biology, John Wiley & sons, 2010
hal-01566439v1  Book sections
Patricia BouyerFrançois LaroussinieNicolas MarkeyJoël OuaknineJames Worrell. Timed temporal logics
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, 10460, Springer, pp.211-230, 2017, Lecture Notes in Computer Science, 978-3-319-63120-2. ⟨10.1007/978-3-319-63121-9_11 ⟩
hal-01423632v1  Book sections
Pierre Fraigniaud. Locality in Distributed Graph Algorithms
Encyclopedia of Algorithms, Springer, pp.1143-1148, 2016, 978-1-4939-2863-7. ⟨10.1007/978-1-4939-2864-4_608⟩
hal-00084863v1  Book sections
Béatrice DuvalAnsaf SallebChristel Vrain. On the Discovery of Exception Rules: A Survey
F. Guillet, H.J. Hamilton. Quality Measures in Data Mining Book, Springer in the Series Studies in Computational Intelligence, pp.77-98, 2007
inria-00371226v1  Book sections
Olivier BaraisAnne-Françoise Le MeurLaurence DuchienJulia Lawall. Software Architecture Evolution
Tom Mens and Serge Demeyer eds. Software Evolution, Springer Verlag, pp.233--262, 2008
hal-01180899v1  Book sections
Nancy BertinLaurent DaudetValentin EmiyaRémi Gribonval. Compressive Sensing in Acoustic Imaging
Holger Boche; Robert Calderbank; Gitta Kutyniok; Jan Vybíral. Compressed Sensing and its Applications - MATHEON Workshop 2013, Birkhäuser Basel, pp.169-192, 2015, Applied and Numerical Harmonic Analysis, 978-3-319-16041-2
hal-01947855v1  Book sections
Ahmed BouajjaniConstantin EneaKailiang JiShaz Qadeer. On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony
International Conference on Computer Aided Verification, CAV 2018: Computer Aided Verification, Springer International Publishing, pp.372-391, 2018