Buscar
Mostrando ítems 1-10 de 3687
Using Difference Reduction for Generic Proof Search
(Revista Computación y Sistemas; Vol. 2 No. 2 y No. 3, 1998-12-15)
Abstract. In this paper a new approach to generic theorem proving
is introduced. We present a set 01 techniques to guide prool search in framework theories that works with different object theories encoded. The techniques ...
Evolutionary Algorithm for the Vehicles Routing Problem with Time Windows Based on a Constraint Satisfaction Technique
(Revista Computación y Sistemas; Vol. 13 No.3, 2010-02-18)
Abstract. In this paper a Memetic Algorithm (MA) is proposed for solving the Vehicles Routing Problem with Time Win-dows (VRPTW) multi-objective, using a constraint satisfaction heuristic that allows pruning of the search ...
Keyword Identification in Spanish Documents
(Universidad Nacional de La Plata. Facultad de Informática, 2015-12)
The large amount of textual information digitally available today gives rise to the need for effective means of indexing, searching and retrieving this information. Keywords are used to describe briefly and precisely the ...
Análisis del Search Engine Optimization en el sitio web Oaksports durante el mes de junio, Lima – 2016
(Universidad César Vallejo, 2016)
En la presente investigación se planteó el siguiente problema: ¿De qué manera se
presenta el Search Engine Optimization en el sitio web Oaksports, en junio, Lima
– 2016? Asimismo, se determinó el siguiente objetivo: ...
Análisis del Search Engine Optimization en el sitio web Oaksports durante el mes de junio, Lima – 2016
(Universidad César Vallejo, 2016)
En la presente investigación se planteó el siguiente problema: ¿De qué manera se
presenta el Search Engine Optimization en el sitio web Oaksports, en junio, Lima
– 2016? Asimismo, se determinó el siguiente objetivo: ...
Análisis del Search Engine Optimization en el sitio web Oaksports durante el mes de junio, Lima – 2016
(Universidad César Vallejo, 2017)
Estrategias avanzadas de búsqueda de información
(Universidad de LimaPE, 2023)
Guía sobre estrategias a seguir en el proceso de elaboración de una búsqueda de información a nivel avanzado.