Now showing items 1-20 of 2297

    • Parsing as resolution 

      Vilares Ferro, Manuel; Graña Gil, Jorge (1993)
      [Abstract] A general context-free parsing algoritm based on logical dynamic programming techniques is described. The analyzer takes a general class of context-free grammar as drivers, and any finite string as input. In an ...
    • Instrumentation of Synchronous Reactive Models for Performance Engineering 

      Valderruten Vidal, Alberto; Vilares Ferro, Manuel; Graña Gil, Jorge (Springer-Verlag, 1995)
    • Communication protocols verification with Esterel 

      Graña Gil, Jorge; Vilares Ferro, Manuel; Bernhard, R. (Computational Mechanics Publications, 1995)
      [Abstract] This work summarizes design, implementation and verification processes of a digital telephone switchboard in the Esterel real-time programming environment. Our aim is to show the modularity in the description ...
    • Verificación de conexiones telefónicas con esterel 

      Graña Gil, Jorge; Vilares Ferro, Manuel; Bernhard, R. (1995)
      [Resumen] El presente trabajo resume el proceso de diseño, implementación y verificación del comportamiento de una centralita telefónica digital en el entorno de programación de tiempo real síncrono Esterel. Nuestra intención ...
    • Parallel Sparse Modified Gram-Schmidt QR Decomposition 

      Doallo, Ramón; Fraguela, Basilio B.; Touriño, Juan; Zapata, Emilio L. (Springer, 1996)
      [Abstract] We present a parallel computational method for the QR decomposition with column pivoting of a sparse matrix by means of Modified Gram-Schmidt orthogonalization. Nonzero elements of the matrix M to be decomposed ...
    • Sparse Householder QR factorization on a mesh 

      Doallo, Ramón; Touriño, Juan; Zapata, Emilio L. (IEEE Computer Society, 1996-01)
      [Abstract] We analyze the parallelization of QR factorization by means of Householder transformations. This parallelization is carried out on a machine with a mesh topology (a 2-D torus to be more precise). We use a cyclic ...
    • Sparse Givens QR Factorization on a Multiprocessor 

      Touriño, Juan; Doallo, Ramón; Zapata, E.L. (IEEE Computer Society, 1996-06-01)
      [Abstract] We present a parallel algorithm for the QR factorization with column pivoting of a sparse matrix by means of Givens rotations. Nonzero elements of the matrix M to be decomposed are stored in a one dimensional ...
    • A tagger environment for Galician 

      Vilares Ferro, Manuel; Graña Gil, Jorge; Araújo, T.; Cabrero, David; Diz, I. (1998)
      [Abstract] In this paper, we introduce a tagger environment for Galician, the native language of Galicia. Galician belongs to the group of Romance languages which developed from the Latin imposed on the north-west of the ...
    • GALENA: tabular DCG parsing for natural languages 

      Vilares Ferro, Manuel; Alonso, Miguel A.; Graña Gil, Jorge; Cabrero, David (1998)
      [Abstract] We present a definite clause based parsing environment for natural languages, whose operational model is the dynamic interpretation of logical push-down automata. We attempt to briefly explain our design decisions ...
    • A PVM Based Library for Sparse Matrix Factorizations 

      Touriño, Juan; Doallo, Ramón (Springer, 1998)
      [Abstract] We present 3LM, a C Linked List Management Library for parallel sparse factorizations on a PVM environment which takes into account the fill-in, an important drawback of sparse computations. It is restricted to ...
    • HPF-2 Support for Dynamic Sparse Computations 

      Asenjo Plaza, Rafael; Plata, Oscar; Touriño, Juan; Zapata, Emilio L.; Doallo, Ramón (Springer, 1998)
      [Abstract] There is a class of sparse matrix computations, such as direct solvers of systems of linear equations, that change the fill-in (nonzero entries) of the coefficient matrix, and involve row and column operations ...
    • Nuevos algoritmos tabulares para el análisis de LIG 

      Alonso, Miguel A.; Graña Gil, Jorge; Vilares Ferro, Manuel (1999)
      [Resumen] A partir de un algoritmo de tipo CYK se desarrolla una serie de nuevos algoritmos tabulares para el análisis de Gramáticas Lineales de Índices que incluye algoritmos ascendentes y algoritmos de tipo Earley con y ...
    • Finite-State Morphology and Formal Verification 

      Vilares Ferro, Manuel; Graña Gil, Jorge; Alvariño Alvariño, Pilar (Cambridge University Press, 1999)
    • Recursive local polynomial regression under dependence conditions 

      Vilar, Juan M.; Vilar, José (Springer, 2000)
      In the case of the random design nonparametric regression, one recursive local polynomial smoother is considered. Expressions for the bias and the variance matrix of the estimators of the regression function and its ...
    • On a FEM--BEM formulation for an exterior quasilinear problem in the plane 

      González Taboada, María; Meddahi, Salim; Pérez, Pablo (Society for Industrial and Applied Mathematics (SIAM), 2000-05)
      [Abstract] We use a version of the FEM--BEM method introduced by Costabel [ Boundary Elements IX, Vol. 1, C. A. Brebbia et al., eds., Springer-Verlag, 1987] and Han [ J. Comput. Math., 8 (1990), pp. 223--232] to discretize ...
    • Compilation methods of minimal acyclic finite-state automata for large dictionaries. 

      Graña Gil, Jorge; Barcala Rodríguez, Francisco Mario; Alonso, Miguel A. (Springer-Verlag, 2001)
      [Abstract] We present a reflection on the evolution of the different methods for constructing minimal deterministic acyclic finite-state automata from a finite set of words. We outline the most important methods, including ...
    • Local polynomial regression estimation with correlated errors 

      Francisco-Fernández, Mario; Vilar, Juan M. (Taylor & Francis, 2001)
      In this paper, we study the nonparametric estimation of the regression function and its derivatives using weighted local polynomial fitting. Consider the fixed regression model and suppose that the random observation ...
    • Stochastic parsing and parallelism 

      Barcala Rodríguez, Francisco Mario; Sacristán Agulló, Oscar; Graña Gil, Jorge (Springer-Verlag, 2001)
      [Abstract] Parsing CYK-like algorithms are inherently parallel: there are a lot of cells in the chart that can be calculated simultaneously. In this work, we present a study on the appropriate techniques of paralle-lism ...
    • Integrating external dictionaries into Part-of-speech taggers 

      Graña Gil, Jorge; Chappelier, J. C.; Vilares Ferro, Manuel (2001)
      [Abstract] The highest performances in part-of-speech tagging have been obtained by using stochastic methods, such as hidden Markov models. The running parameters of a hidden Markov model for tagging can be estimated from ...
    • Influencia del contexto en la calidad de la entrevista clínica en fisioterapia 

      Martínez-Rodríguez, Alicia; Patiño Núñez, Sergio; Paseiro Ares, Gustavo; Martínez-Bustelo, Sandra; Náchez, N.; Fernández-Cervantes, Ramón (Elsevier, 2001)
      [Resumen] La calidad es un tema que está de actualidad no sólo en su vertiente científico técnica, sino también en el aspecto de las relaciones humanas. Si bien es un asunto muy abordado en varias profesiones sanitarias, ...