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

Raúl E. Valdés-Pérez

dblp:20/2384 · DBLP profile ↗
← Back
13ranked-venue papers
10as first author
0since 2021 · last 2000
—ORCID · none

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

Artificial intelligence and machine learning · 10 · 9 first-authorGraphics, computer vision, multimedia, augmented reality and games · 3 · 3 first-authorHuman-computer interaction and ubiquitous computing · 2 · 1 first-authorTheory of computation · 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.

Interdisciplinary, comprehensive, and emerging computing
6 papers
Computational science and engineering · 100%
Databases, data mining, and information retrieval
2 papers
Data mining · 83% Data integration and cleaning · 17%
Human-computer interaction and pervasive computing
1 paper
Human-AI interaction · 100%
Theoretical computer science
2 papers
Automated reasoning and model checking · 50% Algorithms and data structures · 35% Logic in computer science · 15%
Artificial intelligence
2 papers
Knowledge representation and reasoning · 100%

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

TopicWeightPapersLastEvidence papers
Data mining › predictive modeling
classification
0.012000
Concise, intelligible, and approximate profiling of multiple classes · Int. J. Hum. Comput. Stud. 2000
Human-AI interaction › human-AI collaboration
human-computer collaboration
0.011999
Principles of Human Computer Collaboration for Knowledge Discovery in Science · Artif. Intell. 1999
Data mining
pattern mining
0.011994
A Powerful Heuristic for the Discovery of Complex Patterned Behaviour · ICML 1994
Data integration and cleaning
data profiling
0.012000
Concise, intelligible, and approximate profiling of multiple classes · Int. J. Hum. Comput. Stud. 2000
Automated reasoning and model checking
satisfiability
0.011987
The Satisfiability of Temporal Constraint Networks · AAAI 1987
Logic in computer science
temporal reasoning
0.011987
The Satisfiability of Temporal Constraint Networks · AAAI 1987

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

class description · 0.0approximate profiling · 0.0machine discovery · 0.0heuristic search · 0.0
YearPublicationVenuePosition
2000 Introduction/Editorial: Machine Discovery
Derek H. Sleeman, Vincent Corruble, Raúl E. Valdés-Pérez
Int. J. Hum. Comput. Stud.3
2000 Concise, intelligible, and approximate profiling of multiple classes
Raúl E. Valdés-Pérez, Francisco Pereira 0001, Vladimir Pericliev
Int. J. Hum. Comput. Stud.1
2000 Note on generalization in experimental algorithmics
abstract
A recurring theme in mathematical software evaluation is the generalization of rankings of algorithms on test problems to build knowledge-based recommender systems for algorithm selection. A key issue is to profile algorithms in terms of the qualitative characteristics of benchmark problems. In this methodological note, we adapt a novel all-pairs algorithm for the profiling task; given performance rankings for m algorithms on n problem instances, each described with p features, identify a (minimal) subset of p that is useful for assessing the selective superiority of an algorithm over another, for all pairs of m algorithms. We show how techniques presented in the mathematical software literature are inadequate for such profiling purposes. In conclusion, we also address various statistical issues underlying the effective application of this technique.
Naren Ramakrishnan, Raúl E. Valdés-Pérez
ACM Trans. Math. Softw.2
1999 Principles of Human Computer Collaboration for Knowledge Discovery in Science
Raúl E. Valdés-Pérez
Artif. Intell.1
1997 Scientific Discovery and Simplicity of Method
Herbert A. Simon, Raúl E. Valdés-Pérez, Derek H. Sleeman
Artif. Intell.2
1996 A New Theorem in Particle Physics Enabled by Machine Discovery
Raúl E. Valdés-Pérez
Artif. Intell.1
1995 Machine Discovery in Chemistry: New Results
Raúl E. Valdés-Pérez
Artif. Intell.1
1994 A Powerful Heuristic for the Discovery of Complex Patterned Behaviour
Raúl E. Valdés-Pérez, Aurora Pérez
ICML1
1994 Conjecturing Hidden Entities by Means of Simplicity and Conservation Laws: Machine Discovery in Chemistry
Raúl E. Valdés-Pérez
Artif. Intell.1
1994 Algebraic Reasoning about Reactions: Discovery of Conserved Properties in Particle Physics
Raúl E. Valdés-Pérez
Mach. Learn.1
1993 Scientific Model-Building as Search in Matrix Spaces
Raúl E. Valdés-Pérez, Jan M. Zytkow, Herbert A. Simon
AAAI1
1992 Theory-Driven Discovery of Reaction Pathways in the MECHEM System
Raúl E. Valdés-Pérez
AAAI1
1987 The Satisfiability of Temporal Constraint Networks
Raúl E. Valdés-Pérez
AAAI1