Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Francisco Javier Torrealdea

dblp:83/3331 · DBLP profile ↗
← Back
7ranked-venue papers
0as first author
0since 2021 · last 2007
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 6Databases, data management, data science and information retrieval · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Automated reasoning and model checking · 100%
Artificial intelligence
1 paper
Knowledge representation and reasoning · 100%

Topics — the 2 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Automated reasoning and model checking
satisfiability
0.011993
Solving Satisfiability Via Boltzmann Machines · IEEE Trans. Pattern Anal. Mach. Intell. 1993
Knowledge, reasoning and agents › Knowledge representation and reasoning › logic-based reasoning
propositional logic
0.011993
Solving Satisfiability Via Boltzmann Machines · IEEE Trans. Pattern Anal. Mach. Intell. 1993

Methods — techniques the papers use, named apart from their topics

energy minimization · 0.0boltzmann machine · 0.0
YearPublicationVenuePosition
2007 A parametric gradient descent MRI intensity inhomogeneity correction algorithm
Maite García-Sebastián, Elsa Fernández, Manuel Graña, Francisco Javier Torrealdea
Pattern Recognit. Lett.4
2000 Control of Chaotic Behavior with ANN
abstract
Robust control of mobile robots needs to take into account the many noise sources in the sensors and actuators of the robots. In this paper, we propose the application of control strategies designed for deterministic chaotic systems to the design of robust control of mobile robots. The deterministic chaotic system hypothesis is proposed as an intermediate model between the noise free system and the pure random perturbations.
Alicia D'Anjou, Francisco Javier Torrealdea, Cecilia Sarasola
IJCNN (6)2
2000 A Near Real-Time Evolution-Based Adaptation Strategy for Dynamic Color Quantization of Image Sequences
Ana Isabel González, Manuel Graña, F. Xabier Albizuri, Alicia D'Anjou, Francisco Javier Torrealdea
Inf. Sci.5
1998 A Comparison of Experimental Results with an Evolution Strategy and Competitive Neural Networks for Near Real-Time Color Quantization of Image Sequences
Ana Isabel González, Manuel Graña, Alicia D'Anjou, F. Xabier Albizuri, Francisco Javier Torrealdea
Appl. Intell.5
1997 Experiments of Fast Learning with High Order Boltzmann Machines
Manuel Graña, Alicia D'Anjou, F. Xabier Albizuri, Carmen Hernández 0001, Francisco Javier Torrealdea, A. de la Hera, Ana Isabel González
Appl. Intell.5
1995 The high-order Boltzmann machine: learned distribution and topology
abstract
In this paper we give a formal definition of the high-order Boltzmann machine (BM), and extend the well-known results on the convergence of the learning algorithm of the two-order BM. From the Bahadur-Lazarsfeld expansion we characterize the probability distribution learned by the high order BM. Likewise a criterion is given to establish the topology of the BM depending on the significant correlations of the particular probability distribution to be learned.
F. Xabier Albizuri, Alicia D'Anjou, Manuel Graña, Francisco Javier Torrealdea, Carmen Hernández 0001
IEEE Trans. Neural Networks4
1993 Solving Satisfiability Via Boltzmann Machines
abstract
Boltzmann machines (BMs) are proposed as a computational model for the solution of the satisfiability (SAT) problem in the propositional calculus setting. Conditions that guarantee consensus function maxima for configurations of the BM associated with solutions to the satisfaction problem are given. Experimental results that show a linear behavior of BMs solving the satisfiability problem are presented and discussed.>
Alicia D'Anjou, Manuel Graña, Francisco Javier Torrealdea, Carmen Hernández 0001
IEEE Trans. Pattern Anal. Mach. Intell.3