EDBT 2026 Demo / reviewers in the wild / expert
Harry G. Barrow
dblp:60/1689
· DBLP profile ↗
14ranked-venue papers
10as first author
0since 2021 · last 1996
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 12 · 8 first-authorGraphics, computer vision, multimedia, augmented reality and games · 5 · 4 first-authorDatabases, data management, data science and information retrieval · 1 · 1 first-authorTheory of computation · 1 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 1 · 1 first-author
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.
| Computer architecture, parallel and distributed computing, and storage systems
3 papers |
Electronic design automation · 91% Embedded and real-time systems · 9% | |
| Computer graphics and multimedia
5 papers |
Geometric modeling and processing · 54% Image and video processing · 30% Computational photography and imaging · 15% | |
| Artificial intelligence
4 papers |
3D vision · 69% Robot manipulation · 25% Motion planning and robot control · 5% | |
| Software engineering, system software, and programming languages
1 paper |
Program verification · 100% |
Topics — the 13 heaviest of 14, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation
hardware verification and test |
0.0 | 2 | 1984 | VERIFY: A Program for Proving Correctness of Digital Hardware Designs · Artif. Intell. 1984 Proving the Correctness of Digital Hardware Designs · AAAI 1983 |
Program verification
hardware verification |
0.0 | 1 | 1984 | VERIFY: A Program for Proving Correctness of Digital Hardware Designs · Artif. Intell. 1984 |
Electronic design automation › hardware verification and test
formal verification |
0.0 | 1 | 1984 | VERIFY: A Program for Proving Correctness of Digital Hardware Designs · Artif. Intell. 1984 |
Computer vision › 3D vision › 3d shape reconstruction › shape from x
shape from line drawings |
0.0 | 2 | 1981 | Interpreting Line Drawings as Three-Dimensional Surfaces · Artif. Intell. 1981 Interpreting Line Drawings as Three-Dimensional Surfaces · AAAI 1980 |
Geometric modeling and processing › spatial reasoning › geometric reasoning
line drawing interpretation |
0.0 | 1 | 1981 | Interpreting Line Drawings as Three-Dimensional Surfaces · Artif. Intell. 1981 |
Geometric modeling and processing › 3d reconstruction
3d reconstruction from line drawings |
0.0 | 1 | 1980 | Interpreting Line Drawings as Three-Dimensional Surfaces · AAAI 1980 |
Image and video processing
image matching |
0.0 | 1 | 1977 | Parametric Correspondence and Chamfer Matching: Two New Techniques for Image Matching · IJCAI 1977 |
Image and video processing
image segmentation |
0.0 | 1 | 1977 | Experiments in Interpretation-Guided Segmentation · Artif. Intell. 1977 |
Embedded and real-time systems › cyber-physical systems › robot systems
robotic assembly |
0.0 | 1 | 1975 | A Versatile System for Computer-Controlled Assembly · Artif. Intell. 1975 |
Robotics › Robot manipulation
assembly |
0.0 | 1 | 1973 | A Versatile Computer-Controlled Assembly System · IJCAI 1973 |
Robotics › Robot manipulation
grasping |
0.0 | 1 | 1975 | A Versatile System for Computer-Controlled Assembly · Artif. Intell. 1975 |
Geometric modeling and processing
shape matching |
0.0 | 1 | 1977 | Parametric Correspondence and Chamfer Matching: Two New Techniques for Image Matching · IJCAI 1977 |
Robotics › Motion planning and robot control
robot control |
0.0 | 1 | 1973 | A Versatile Computer-Controlled Assembly System · IJCAI 1973 |
Methods — techniques the papers use, named apart from their topics
line labeling · 0.0constraint propagation · 0.0theorem proving · 0.0parametric correspondence · 0.0chamfer matching · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1996 | A Self-Organizing Model of "Color Blob" FormationabstractThis paper explores the possibility that the formation of color blobs in primate striate cortex can be partly explained through the process of activity-based self-organization. We present a simulation of a highly simplified model of visual processing along the parvocellular pathway, that combines precortical color processing, excitatory and inhibitory cortical interactions, and Hebbian learning. The model self-organizes in response to natural color images and develops islands of unoriented, color-selective cells within a sea of contrast-sensitive, orientation-selective cells. By way of understanding this topography, a principal component analysis of the color inputs presented to the network reveals that the optimal linear coding of these inputs keeps color information and contrast information separate. Harry G. Barrow, Alistair J. Bray, Julian M. L. Budd |
Neural Comput. | 1 |
| 1994 | The Role of Weight Normalization in Competitive LearningabstractThe effect of different kinds of weight normalization on the outcome of a simple competitive learning rule is analyzed. It is shown that there are important differences in the representation formed depending on whether the constraint is enforced by dividing each weight by the same amount (“divisive enforcement”) or subtracting a fixed amount from each weight (“subtractive enforcement”). For the divisive cases weight vectors spread out over the space so as to evenly represent “typical” inputs, whereas for the subtractive cases the weight vectors tend to the axes of the space, so as to represent “extreme” inputs. The consequences of these differences are examined. Geoffrey J. Goodhill, Harry G. Barrow |
Neural Comput. | 2 |
| 1993 | Retrospective on "Interpreting Line Drawings as Three-Dimensional Surfaces"
Harry G. Barrow, Jay M. Tenenbaum |
Artif. Intell. | 1 |
| 1984 | VERIFY: A Program for Proving Correctness of Digital Hardware Designs
Harry G. Barrow |
Artif. Intell. | 1 |
| 1983 | Proving the Correctness of Digital Hardware Designs
Harry G. Barrow |
AAAI | 1 |
| 1981 | Interpreting Line Drawings as Three-Dimensional Surfaces
Harry G. Barrow, Jay M. Tenenbaum |
Artif. Intell. | 1 |
| 1980 | Interpreting Line Drawings as Three-Dimensional Surfaces
Harry G. Barrow, Jay M. Tenenbaum |
AAAI | 1 |
| 1977 | Experiments in Map-Guided Photo Interpretation
Harry G. Barrow, Robert C. Bolles, Thomas D. Garvey, J. H. Kremers, Jay M. Tenenbaum, Helen C. Wolf |
IJCAI | 1 |
| 1977 | Parametric Correspondence and Chamfer Matching: Two New Techniques for Image Matching
Harry G. Barrow, Jay M. Tenenbaum, Robert C. Bolles, Helen C. Wolf |
IJCAI | 1 |
| 1977 | Experiments in Interpretation-Guided Segmentation
Jay M. Tenenbaum, Harry G. Barrow |
Artif. Intell. | 2 |
| 1976 | Subgraph Isomorphism, Matching Relational Structures and Maximal Cliques
Harry G. Barrow, Rod M. Burstall |
Inf. Process. Lett. | 1 |
| 1975 | A Versatile System for Computer-Controlled Assembly
Ann Patricia Fothergill, Harry G. Barrow, Rod M. Burstall, Robin J. Popplestone |
Artif. Intell. | 2 |
| 1973 | A Versatile Computer-Controlled Assembly System
Ann Patricia Fothergill, Harry G. Barrow, Rod M. Burstall, Robin J. Popplestone |
IJCAI | 2 |
| 1971 | Tokyo-Edinburgh Dialogue on Robots in Artificial Intelligence ResearchabstractIntegrated systems have become prominent in the research programmes of a number of artificial intelligence laboratories. The Edinburgh machine intelligence group here defines its research and development philosophy in reply to questions put by Japanese robot engineers. Harry G. Barrow, Donald Michie, Robin J. Popplestone, S. H. Salter |
Comput. J. | 1 |