Trabajos migrados en revisión - FAMAF - Partes de libro 2015

 

Recent Submissions

  • Modal satisfiability via SMT solving 

    Areces, Carlos Eduardo; Fontaine, Pascal; Merz, Stephan (2015)
    Modal logics extend classical propositional logic, and they are robustly decidable. Whereas most existing decision procedures for modal logics are based on tableau constructions, we propose a framework for obtaining decision ...

  • Aplicación del método científico como función de la escala del sistema 

    Moreschi, Osvaldo M. (2015)
    Presentamos un estudio de la modalidad en que se aplica el método científico en diversas investigaciones, como función de la escala del sistema bajo estudio, concentrándonos principalmente en los aspectos físicos de las ...

  • Considering correlation properties on statistical simulation of clutter 

    Flesia, Ana Georgina; Lucini, María Magdalena; Pérez, Darío Javier (2015)
    Statistical properties of image data are of paramount importance in the design of pattern recognition technics and the interpretation of their outputs. Image simulation allows quantification of method?s error and accuracy. ...

  • Zoom : a corpus of natural language descriptions of map locations 

    Altamirano, Ivana Romina; Ferreira, Thiago; Paraboni, Ivandré; Benotti, Luciana (2015)
    This paper describes an experiment to elicit referring expressions from human subjects for research in natural language generation and related fields, and preliminary results of a computational model for the generation of ...