Demo Data from SIGIR 2026 / reviewers in the wild / expert
Francisco Javier Torrealdea
dblp:83/3331
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automated reasoning and model checking
satisfiability |
0.0 | 1 | 1993 | 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.0 | 1 | 1993 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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 ANNabstractRobust 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 topologyabstractIn 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 Networks | 4 |
| 1993 | Solving Satisfiability Via Boltzmann MachinesabstractBoltzmann 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 |