Image de couverture de livre

Using Difference Reduction for Generic Proof Search

Fuente: Redalyc

Enregistré dans:

Détails bibliographiques
Auteur principal:	Santiago Negrete
Format:	Artículo científico
Langue:	en
Publié:	Instituto Politécnico Nacional 1999
Sujets:	Computación
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Neighborhood Operator for Continuous Multi-Objective Optimization Problems
par: Alejandro Santiago
Publié: (2017)

On the Relevance of Search Space Reduction in Automatic Plagiarism Detection
par: Alberto Barrón-Cedeño
Publié: (2009)

Editorial
par: Juan Luis Díaz de León Santiago
Publié: (2003)

Editorial
par: Juan Luis Díaz de León Santiago
Publié: (2002)

Performance analysis and optimization of parallel Best-First Search algorithms on multicore and cluster of multicore.
par: Victoria María Sanz
Publié: (2016)

Exact and Approximate Prefix Search under Access Locality Requirements for Morphological Analysis and Spelling Correction
par: Alexander Gelbukh
Publié: (2003)

Throughput Quantitative Analysis of EDCA 802.11e in Different Scenarios
par: Santiago Pérez
Publié: (2013)

Using Scenarios to Derive Software
par: Graciela Dora Susana Hadad
Publié: (2009)

Face Recognition Using Unlabeled Data
par: Carmen Martínez
Publié: (2003)

Medical Diagnosis Using Temporal Probabilistic Networks
par: Luis Enrique Sucar Succar
Publié: (2001)

Experiments with Domain Knowledge in Unsupervised Learning: Using and Revising Theories
par: Javier Béjar
Publié: (1998)

Noisy Binary Textura Recognition Using the Coordinated Cluster Transform
par: Evguenii Kurmyshev
Publié: (2003)

Using Meta-Cases to Improve Accuracy in Hierarchical Case Retrieval
par: Miquel Sánchez Marré
Publié: (2000)

Rule Generation and Compactation in the WWTP
par: Ulises Cortés
Publié: (1997)

Designing Minimal Sorting Networks Using a Bio-inspired Technique
par: Blanca C. López-Ramírez
Publié: (2014)

Speaker Verification in Different Database Scenarios
par: Leibny Paola García Perera
Publié: (2011)

Biulding Maps Using Indoor Mobile Robots whit Ultrasonic and Laser Range Sensors
par: Luis Enrique Sucar
Publié: (2002)

Pattern-Based Simulation: Simulating the Actor Model Using the Active Object Behavioural Pattern
par: Jorge Luis Ortega Arjona
Publié: (2001)

A Fuzzy Neural Network Approach for Document Region Classification Using Human Visual Perception Features
par: Mario Ignacio Chacón Murguía
Publié: (2002)

Velocity Estimation by Using a State Reconstructor for Stabilizing a Two Degree of Freedom Mechanical Manipulator
par: Carlos Aguilar Ibáñez
Publié: (2001)

Text Analysis Using Different Graph-Based Representations
par: Esteban Castillo
Publié: (2017)

Generating Intelligent Teaching-Learning Systems using Concept Maps and Case-Based Reasoning
par: Maikel L. Espinosa
Publié: (2007)

Predictive Control Base on an Auto-Regressive Neuro-Fuzzy Model Applied to the Steam Generator Startup Process at a Fossil Power Plant
par: José Antonio Ruz Hernández
Publié: (2003)

Using OpenMP: Portable Shared Memory Parallel Programming Barbara Chapman, Gabriele Jost, Ruud van der Pas The MIT Press, 2008 ISBN-13: 978-0-262-53302-7
par: Fernando G. Tinetti
Publié: (2010)

Ajuste con NURBS a una Malla Cuadrilateral Regularizada
par: Sandra Mateus Santiago
Publié: (2007)

Plataforma web de servicios integrales para la interacción social del adulto mayor en la ciudad de Iquique
par: Santiago Figueroa Romero
Publié: (2019)

Semantic Enterprise Search (but no Web 2.0)
par: Ronald Winnemöller
Publié: (2009)

ADRSpanishTool: una herramienta para la detección de efectos adversos e indicaciones
par: Santiago de la Peña
Publié: (2014)

A Parallel Search Algorithm for the SAT
par: V. Gil Costa
Publié: (2005)

Incidencias Económicas del Etanol como Biocombustible en Colombia sobre los Derivados de la Caña de Azúcar: Una Aproximación con Dinámica de Sistemas
par: Santiago Arango A.
Publié: (2008)

Visibilidad de Alcance Limitado en Polígonos Escalera
par: Santiago Canales Cano
Publié: (2009)

Paralelización del algoritmo Fuzzy Miner con OpenCL
par: Marlis FulgueiraCamilo
Publié: (2016)

Resource Reservation Management of Video over Internet
par: V. M. González y González
Publié: (1999)

Document Distribution to Internet Digital Libraries
par: Leandro Navarro
Publié: (1999)

Eels: Electric Snakes
par: Antonio Marín Hernandez
Publié: (1999)

An Efficient Method for Narrowband FIR Filter Desing
par: Arturo Sarmiento
Publié: (1999)

Composing Multi-Agent Systems with Interagents
par: Francisco J. Martin
Publié: (1999)

Multi-agent Model for Real Time Resource Allocation
par: V. Gorodetski
Publié: (1999)

Identification of Non stationary ARMA Models Based on Matrix Forgetting
par: José de Jesús Medel Juárez
Publié: (1999)

An extension to Philips´ Algorithm for Moment Calculation
par: I. Mazaira Morales
Publié: (1999)