Información de la editorial
Documentos disponibles de esta editorial (40)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Chaver Martínez, Daniel Ángel ; Tenllado Van Der Reijden, Christian ; Piñuel Moreno, Luis ; Prieto Matías, Manuel ; Tirado Fernández, Francisco | SPRINGER-VERLAG BERLIN | 2002This paper addresses the implementation of a 2-D Discrete Wavelet Transform on general-purpose microprocessors, focusing on both memory hierarchy and SIMD parallelization issues. Both topics are somewhat related, since SIMD extensions are only u[...]texto impreso
Besada Portas, Eva ; Cruz García, Jesús Manuel de la ; Plis, Sergey M. ; Lane, Terran | SPRINGER-VERLAG BERLIN | 2010Monitoring the variables of real world dynamical systems is a difficult task due to their inherent complexity and uncertainty. Particle Filters (PF) perform that task, yielding probability distribution over the unobserved variables. However, the[...]texto impreso
We present a method to find curves over the finite field F-3 with many rational points. The method is based in an arithmetic study of linear systems of projective plane curves of a given degree and prescribed singularities. We have found curves [...]texto impreso
García Merayo, Mercedes ; Núñez García, Manuel ; Rodríguez Laguna, Ismael | SPRINGER-VERLAG BERLIN | 2007In this paper we extend HOTL (Hypotheses and Observations Testing Logic) to provide a formal framework to test timed systems. The main idea underlying HOTL is to infer whether a set of observations (i.e., results of test applications) allows to [...]texto impreso
Herrera Caro, Pedro Javier ; Pajares Martinsanz, Gonzalo ; Guijarro Mata-García, María ; Ruz Ortíz, José Jaime ; Cruz García, Jesús Manuel de la | SPRINGER-VERLAG BERLIN | 2009This paper describes a novel stereovision matching approach based on omni-directional images obtained with fish-eye lenses in forest environments. The goal is to obtain a disparity map as a previous step for determining the volume of wood in the[...]texto impreso
Cruz García, Jesús Manuel de la ; Herrera Caro, Pedro Javier ; Pajares Martinsanz, Gonzalo ; Guijarro Mata-García, María ; Ruz Ortíz, José Jaime | SPRINGER-VERLAG BERLIN | 2009This paper describes a novel stereovision matching approach by combining several attributes at the pixel level for omni-directional images obtained with fish-eye lenses in forest environments. The goal is to obtain a disparity map as a previous [...]texto impreso
We consider an extended electromagnetic theory in which the scalar state which is usually eliminated be means of the Lorenz condition is allowed to propagate. On super-Hubble scales, such a state is given by the temporal component of the electro[...]texto impreso
Barro, Guillermo ; Gallego Maestro, Jesús ; Pérez González, Pablo Guillermo ; Eliche Moral, María del Carmen ; Balcells, M. ; Villar, V. ; Cardiel López, Nicolás ; Cristobal Hornillos, D. ; Gil de Paz, Armando ; Guzmán, R. ; Pelló, R. ; Prieto, M. ; Zamorano Calvo, Jaime | SPRINGER-VERLAG BERLIN | 2010We present a study that links the NCs to the rest-frame luminosity functions (LFs) at the passbands probed by the observed K-band at different epochs. Making use of a large K-band selected sample in the Groth Field, HDFN and CDFS (?0.27deg^(2)),[...]texto impreso
Díaz, J. ; García Herrera, Ricardo ; Velázquez de Castro, F. ; Hernández, E. ; López, C. ; Otero, A. | SPRINGER-VERLAG BERLIN | 2002-08The effects of heat waves on the population have been described by different authors and a consistent relationship between mortality and temperature has been found, especially in elderly subjects. The present paper studies this effect in Seville[...]texto impreso
A quantum dot (QD) is a structure in which electrons can be confined to small length scales, comparable to their Fermi wavelength. A set of electrons held in such a structure is conceptually similar to a set of atomic electrons bound to a nucleu[...]texto impreso
García Merayo, Mercedes ; Núñez García, Manuel ; Rodríguez Laguna, Ismael | SPRINGER-VERLAG BERLIN | 2007The behavior of e-commerce agents can be defined at different levels of abstraction. A formalism allowing to define them in terms of their economic activities, Utility State Machines, has been proposed. Due to its high level of abstraction, this[...]texto impreso
García Merayo, Mercedes ; Núñez García, Manuel ; Rodríguez Laguna, Ismael | SPRINGER-VERLAG BERLIN | 2007We present a formal framework to specify and test systems presenting both soft and hard deadlines. While hard deadlines must be always met on time, soft deadlines can be sometimes met in a different time, usually higher, from the specified one. [...]texto impreso
Nieva Soto, Susana ; Sánchez-Hernández, Jaime ; Sáenz-Pérez, Fernando | SPRINGER-VERLAG BERLIN | 2008In this paper, we present an extension of the scheme HH(C) (Hereditary Harrop formulas with Constraints) with a suitable formulation of negation in order to obtain a constraint deductive database query language. In addition to constraints, our p[...]texto impreso
Pascual Ramírez, Sergio ; Gallego Maestro, Jesús ; Cardiel López, Nicolás | SPRINGER-VERLAG BERLIN | 2010EMIR is a near-infrared wide-field camera and multi-object spectrograph being built for the 10.4m Spanish telescope (Gran Telescopio Canarias, GTC) at La Palma Observatory. The Data Factory Pipeline (DFP) will be optimized for handling and reduc[...]texto impreso
Fuzzy multi-criteria decision making in stereovision matching for fish-eye lenses in forest analysis
Herrera Caro, Pedro Javier ; Pajares Martinsanz, Gonzalo ; Guijarro Mata-García, María ; Ruz Ortíz, José Jaime ; Cruz García, Jesús Manuel de la | SPRINGER-VERLAG BERLIN | 2009This paper describes a novel stereovision matching approach based on omni-directional images obtained with fish-eye lenses in forest environments. The goal is to obtain a disparity map as a previous step for determining the volume of wood in the[...]
