Search Results

Exploiting Multimodality in Video Hyperlinking to Improve Target Diversity

by Bois, Rémi, Vukotić, Vedran, Simon, Anca-Roxana, Sicre, Ronan, Raymond, Christian, Sébillot, Pascale, Gravier, Guillaume
Published 2017

Proceedings of the 23rd International Conference on Multimedia Modeling, MMM 2017, Reykjavik, Iceland, January 4-6, 2017

by Amsaleg, Laurent, Guðmundsson, Gylfi, Gurrin, Cathal, Jónsson, Björn Thór, Satoh, Shin'Ichi
Published 2017

Logical forms of chronicles

by Guyet, Thomas, Markey, Nicolas
Published 2022

Logical forms of chronicles

by Guyet, Thomas, Markey, Nicolas
Published 2022

Logical forms of chronicles

by Guyet, Thomas, Markey, Nicolas
Published 2022

Logical forms of chronicles

by Guyet, Thomas, Markey, Nicolas
Published 2022

Logical forms of chronicles

by Guyet, Thomas, Markey, Nicolas
Published 2022

Logical forms of chronicles

by Guyet, Thomas, Markey, Nicolas
Published 2022

Logical forms of chronicles

by Guyet, Thomas, Markey, Nicolas
Published 2022

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, Alan
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)