Search Results

MDE in Practice for Computational Science

by Bruel, Jean-Michel, Combemale, Benoit, Ober, Ileana, Raynal, Hélène
Published in Procedia Computer Science (2015)

The Membership Problem for Hypergeometric Sequences with Quadratic Parameters

by Kenison, George, Nosan, Klara, Shirmohammadi, Mahsa, Worrell, James
Published in Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (2023)

A note on the computational complexity of the moment-SOS hierarchy for polynomial optimization

by Gribling, Sander, Polak, Sven, Slot, Lucas
Published in Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (2023)

Expressive Multimodal Conversational Acts for SAIBA Agents

by Rivière, Jérémy, Adam, Carole, Pesty, Sylvie, Pelachaud, Catherine, Guiraud, Nadine, Longin, Dominique, Lorini, Emiliano
Published 2011

Browser Randomisation against Fingerprinting: A Quantitative Information Flow Approach

by Besson, Frédéric, Bielova, Nataliia, Jensen, Thomas
Published 2014

TVD: a reproducible and multiply aligned TV series dataset

by Roy, Anindya, Guinaudeau, Camille, Bredin, Hervé, Barras, Claude
Published 2014

How to exploit paralinguistic features to identify acronyms in texts?

by Roche, Mathieu
Published 2014

Graph structure and monadic second-order logic : Language theoretical aspects

by Courcelle, Bruno
Published 2008

Robustness of the Rotor–Router Mechanism

by Bampas, Evangelos, Gąsieniec, Leszek, Hanusse, Nicolas, Ilcinkas, David, Klasing, Ralf, Kosowski, Adrian, Radzik, Tomasz
Published in Algorithmica (2017)

Low response time context awareness through extensible parameter adaptation with ORCA

by Tigli, Jean-Yves, Lavirotte, Stéphane, Rey, Gaëtan, Hourdin, Vincent, Ferry, Nicolas, Vergoni, Christophe, Riveill, Michel
Published in annals of telecommunications - annales des télécommunications (2012)

Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method

by Dal Lago, Ugo, Gavazzo, Francesco, Blain Levy, Paul
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

New characterizations of minimum spanning trees and of saliency maps based on quasi-flat zones

by Cousty, Jean, Najman, Laurent, Kenmochi, Yukiko, Guimarães, Silvio
Published 2015

UPPAAL-Tiga: Timed Games for Everyone

by Behrmann, Gerd, Cougnard, Agnès, David, Alexandre, Fleury, Emmanuel, Larsen, Kim Guldstrand, Lime, Didier
Published 2006

The ETAPE Speech Processing Evaluation

by Galibert, Olivier, Leixa, Jeremy, Gilles, Adda, Choukri, Khalid, Gravier, Guillaume
Published 2014

A standardized method of classifying pulsed sounds and its application to pulse rate measurement of blue whale southeast Pacific song units

by Patris, Julie, Malige, Franck, Glotin, Hervé, Asch, Mark, Buchan, Susannah
Published in The Journal of the Acoustical Society of America (2019)

Understanding the Performance-Energy Tradeoffs of Object-Relational Mapping Frameworks

by Bonvoisin, Alexandre, Quinton, Clément, Rouvoy, Romain
Published 2024

Developing a French FrameNet: Methodology and First results

by Candito, Marie, Amsili, Pascal, Barque, Lucie, Benamara, Farah, de Chalendar, Gaël, Djemaa, Marianne, Haas, Pauline, Huyghe, Richard, Mathieu, Yvette Yannick, Muller, Philippe, Sagot, Benoît, Vieu, Laure
Published 2014

Comparing Methods for Segmenting Elementary Discourse Units in a French Conversational Corpus

by Prevot, Laurent, Hunter, Julie, Muller, Philippe
Published 2023

Performance Evaluation of Core Numerical Algorithms: A Tool to Measure Instruction Level Parallelism

by Goossens, Bernard, Langlois, Philippe, Parello, David, Petit, Eric
Published 2010

French Resources for Extraction and Normalization of Temporal Expressions with HeidelTime

by Moriceau, Véronique, Tannier, Xavier
Published 2014