Publicaciones (21) Publicaciones de David Cabrero Souto

2013

  1. Feasibility of property-based testing for time-dependent systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2012

  1. Declarative distributed advertisement system for iDTV: An industrial experience

    PPDP'12 - Proceedings of the 2012 ACM SIGPLAN Principles and Practice of Declarative Programming

  2. Failover and takeover contingency mechanisms for network partition and node failure

    Erlang'12 - Proceedings of the ACM SIGPLAN Erlang Workshop

2010

  1. Directional gaze analysis in webcam video sequences

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2007

  1. On the representation of imperative programs in a logical framework

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2006

  1. Certifying properties of programs using theorem provers

    Verification, Validation and Testing in Software Engineering (IGI Global), pp. 220-287

2003

  1. ARMISTICE: An experience developing management software with Erlang

    Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, ERLANG '03

  2. ARMISTICE: Una experiencia desarrollando software de gestión con Erlang

    III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 al 14 de noviembre de 2003 (Servicio de Publicaciones), pp. 199

2002

  1. El sistema ERIAl: LEIRA, un entorno para RI basado en PLN

    JOTRI 2002: Actas de las I Jornadas de Tratamiento y Recuperación de Información (JOTRI)

  2. Programación dinámica y análisis parcial

    Procesamiento del lenguaje natural, Núm. 29, pp. 129-136

  3. Una aplicación de RI basada en PLN: el proyecto ERIAL

    JOTRI 2002: Actas de las I Jornadas de Tratamiento y Recuperación de Información (JOTRI)

2001

  1. Applying productive derivational morphology to term indexing of spanish texts

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Dynamic Programming of Partial Parses

    Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001

1999

  1. An operational model for parsing definite clause grammars with infinite terms

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Tabular algorithms for TAG parsing

    9th Conference of the European Chapter of the Association for Computational Linguistics, EACL 1999

1998

  1. Algoritmos tabulares para el análisis de TAG

    Procesamiento del lenguaje natural, Núm. 23, pp. 157-164

  2. Construction of efficient generalized LR parsers

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Dynamic programming as frame for efficient parsing

    Proceedings - SCCC 1998: 18th International Conference of the Chilean Society of Computer Science