EDBT 2026 Demo / reviewers in the wild / expert
Keith L. Doty
dblp:19/2501
· DBLP profile ↗
9ranked-venue papers
4as first author
0since 2021 · last 1995
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 4 · 3 first-authorApplied, interdisciplinary, general and emerging computing · 3 · 1 first-authorSoftware engineering, systems software and programming languages · 2Databases, data management, data science and information retrieval · 2
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.
| Artificial intelligence
1 paper |
Robot manipulation · 100% | |
| Computer architecture, parallel and distributed computing, and storage systems
3 papers |
Memory systems · 57% Storage systems · 19% Emerging computing paradigms · 6% | |
| Software engineering, system software, and programming languages
1 paper |
Requirements engineering and software design · 100% | |
| Theoretical computer science
3 papers |
Algorithms and data structures · 62% Automata and formal languages · 26% Information theory · 6% |
Topics — the 18 heaviest of 20, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Robotics › Robot manipulation
dexterity measure |
0.0 | 1 | 1995 | Robot manipulability · IEEE Trans. Robotics Autom. 1995 |
Robotics › Robot manipulation › manipulator kinematics
manipulability analysis |
0.0 | 1 | 1995 | Robot manipulability · IEEE Trans. Robotics Autom. 1995 |
Requirements engineering and software design › object-oriented analysis and design
object-oriented design |
0.0 | 1 | 1990 | Extending Object-Oriented Concepts to Support Engineering Applications · ICDE 1990 |
Algorithms and data structures › numerical linear algebra › matrix factorization
singular value decomposition |
0.0 | 1 | 1995 | Robot manipulability · IEEE Trans. Robotics Autom. 1995 |
Memory systems
associative search |
0.0 | 1 | 1980 | Magnetic Bubble Memory Architectures for Supporting Associative Searching of Relational Databases · IEEE Trans. Computers 1980 |
Storage systems › data management
database storage |
0.0 | 1 | 1980 | Magnetic Bubble Memory Architectures for Supporting Associative Searching of Relational Databases · IEEE Trans. Computers 1980 |
Memory systems › magnetic memory
magnetic bubble memory |
0.0 | 1 | 1980 | Magnetic Bubble Memory Architectures for Supporting Associative Searching of Relational Databases · IEEE Trans. Computers 1980 |
Memory systems
non-volatile memory |
0.0 | 1 | 1980 | Magnetic Bubble Memory Architectures for Supporting Associative Searching of Relational Databases · IEEE Trans. Computers 1980 |
Distributed and cloud data management › distributed database architecture
distributed relational database |
0.0 | 1 | 1978 | MICRONET: A Microcomputer Network System for Managing Distributed Relational Databases · VLDB 1978 |
Automata and formal languages › finite automata
sequential machines |
0.0 | 2 | 1970 | Discrete-Time Systems with the Decomposition Property · IEEE Trans. Computers 1970 On Information-Lossless Discrete-Time Systems · IEEE Trans. Computers 1970 |
Emerging computing paradigms › approximate and stochastic computing
stochastic computing |
0.0 | 1 | 1972 | Design of a Random-Pulse Computer for Classifying Binary Patterns · IEEE Trans. Computers 1972 |
Parallel and multicore computing › parallel architecture
processing element |
0.0 | 1 | 1980 | Magnetic Bubble Memory Architectures for Supporting Associative Searching of Relational Databases · IEEE Trans. Computers 1980 |
Distributed systems
distributed database |
0.0 | 1 | 1978 | MICRONET: A Microcomputer Network System for Managing Distributed Relational Databases · VLDB 1978 |
Mathematical optimization › dynamical systems
discrete-time systems |
0.0 | 1 | 1970 | Discrete-Time Systems with the Decomposition Property · IEEE Trans. Computers 1970 |
Automata and formal languages › finite automata › sequential machines
finite memory devices |
0.0 | 1 | 1970 | Discrete-Time Systems with the Decomposition Property · IEEE Trans. Computers 1970 |
Automata and formal languages › finite automata › sequential machines
information-lossless machines |
0.0 | 1 | 1970 | On Information-Lossless Discrete-Time Systems · IEEE Trans. Computers 1970 |
Integrated circuit design
digital circuit design |
0.0 | 1 | 1972 | Design of a Random-Pulse Computer for Classifying Binary Patterns · IEEE Trans. Computers 1972 |
Memory systems › non-volatile memory
read-only memory |
0.0 | 1 | 1972 | Design of a Random-Pulse Computer for Classifying Binary Patterns · IEEE Trans. Computers 1972 |
Methods — techniques the papers use, named apart from their topics
singular value decomposition · 0.0manipulability ellipsoid · 0.0jacobian analysis · 0.0object-oriented modeling · 0.0performance modeling · 0.0access-time analysis · 0.0stochastic multiplication · 0.0discriminant function · 0.0input-output pair analysis · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1995 | Robot manipulabilityabstractThis paper demonstrates fundamental problems with dexterity measures found throughout the robotics literature and offers a methodology for correcting those problems. Measures of robot dexterity derived from eigenvalues, eigenvectors, similarity transformations, singular-value decompositions and the Moore-Penrose inverse of the manipulator Jacobian do not have invariant physical meaning. The paper presents manipulability ellipsoids and manipulability screw-subspaces for both redundant and nonredundant manipulators.> Keith L. Doty, Claudio Melchiorri, Eric M. Schwartz, Claudio Bonivento |
IEEE Trans. Robotics Autom. | 1 |
| 1990 | Extending Object-Oriented Concepts to Support Engineering ApplicationsabstractA presentation is made of a structure-function (S-F) paradigm for representing engineering designs. The S-F paradigm treats structures and functions as first-class objects by modeling the physical configuration of the design as structural objects and the behavior of the design as functional objects. The paradigm supports engineering designs by using the associative knowledge between structures and functions to help in the design process and to support simulation by providing for a run-time interaction between structures and functions. The S-F paradigm would be generally applicable to model the passive and active information in any complex system. It may be implemented as a layer on top of any object-oriented model.> Aloysius Cornelio, Shamkant B. Navathe, Keith L. Doty |
ICDE | 3 |
| 1989 | A representation for discrete assembly sequences in task planningabstractAn extended description of a representation for discrete assembly sequences, the discrete task planning tree (DTP tree), is presented. A study of the maximum number of valid discrete assembly sequences generated, K, is made, and the effects of assembly rules and assembly constraints on K are studied. The DTP tree is generated offline, but it is stored for online use in assembly error recovery or for opportunistic assembly. A prototype of the task sequence generator using the DTP tree was implemented in Lisp on a PC.> Rana G. Ayoub, Keith L. Doty |
COMPSAC | 2 |
| 1989 | Modeling parts and discrete assembly operations, using an object-oriented data modelabstractAn application of the object-oriented semantic association model (OSAM) concepts to the modeling of parts and their relationships, including assembly operations, is presented. It is shown that the semantic primitives (facilities) of OSAM make it possible to model the necessary structural relationships and constraints adequately. The proposed scheme can be used for simulation and task planning in the workcell environment.> Constantinos Papaconstantinou, Keith L. Doty, Shamkant B. Navathe |
COMPSAC | 2 |
| 1980 | Magnetic Bubble Memory Architectures for Supporting Associative Searching of Relational DatabasesabstractA memory organized around a major/minor loop magnetic bubble storage unit contains database information in relational form. An external marker memory, consisting of an M-bit shift register or an M X 1 RAM, provides, in conjunction with an assumed processing element, an associative search capability. Each bit accumulates search results of a query applied to its corresponding bubble page. The number of pages M equals the minor loop length and N, the page size, equals the number of minor loops in the bubble memory. A systematic series of performance-improving access strategies and architectural modifications are applied to an existing major/minor loop bubble device to determine the effects of each change. In all cases data access-time formulas reveal that positioning a marked page for access is a linear function of the minor loop length M, while outputting the marked pages via the bubbles serial output bus is a quadratic function of M. An evaluation and relative comparison of these architectures indicate that a segmented, nondestructive major/minor loop transfer function can enhance current magnetic bubble memory (MBM) performance in relational data processing by an order of magnitude. Keith L. Doty, Joel D. Greenblatt, Stanley Y. W. Su |
IEEE Trans. Computers | 1 |
| 1978 | MICRONET: A Microcomputer Network System for Managing Distributed Relational Databases
Stanley Y. W. Su, Stefan Lupkiewicz, Chang-jung Lee, Der Her Lo, Keith L. Doty |
VLDB | 5 |
| 1972 | Design of a Random-Pulse Computer for Classifying Binary PatternsabstractThis paper proposes a novel design for a parallel nonadaptive binary pattern classifier. The structure employs random-pulse (stochastic) computing elements to economically realize multimodal nonlinear discriminant functions similar in form to those used in potential function classifiers. The technique achieves efficient hardware utilization by employing a READ-ONLY memory (ROM) without addressing circuits to store modes and simultaneously execute parallel stochastic multiplications required in discriminant function computations. Louis R. Goke, Keith L. Doty |
IEEE Trans. Computers | 2 |
| 1970 | On Information-Lossless Discrete-Time SystemsabstractThe concept of lossless state or system is generalized by the definition of k-losslessness. If k>N( N-1)/2 for an N-state machine, k-lossless implies lossless. The series connection of a set of discrete time systems {Ai}, where Ai is ki-lossless, results in a system which is min{ki}-lossless. This result is a simple verification of the intuitive notion that a noiseless communication channel is only as lossless as the most lossy system in the channel. By means of input- output pair analysis, systems with the decomposition property (one of the necessary but not sufficient conditions for linearity) are shown to be information-lossless of finite order m, when one state has finite order m. Further, every state must have exactly the same order. For an N-state system with decomposition and zero-state linearity, information-lossless implies information-lossless of finite order m≤N. As a consequence, all information-lossless linear sequential machines used as encoders allow decoding to begin after m received symbols, provided that the encoder's starting state is known in advance. Keith L. Doty |
IEEE Trans. Computers | 1 |
| 1970 | Discrete-Time Systems with the Decomposition PropertyabstractThe decomposition property, a necessary condition for linearity, is defined for discrete-time systems. N-state machines with this property have finite memory μ≤N−1. Linear and autonomous systems are important classes of systems with decomposition. Several representations of systems with decomposition are given and a general form of the discrete-time state equations for a finite-memory system with decomposition is derived. An algorithm is developed by which an arbitrary complete-sequential machine may be tested for decomposition. Keith L. Doty, Howard Frank |
IEEE Trans. Computers | 1 |