Keith L. Doty

dblp:19/2501 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Robotics › Robot manipulation
dexterity measure
0.011995
Robot manipulability · IEEE Trans. Robotics Autom. 1995
Robotics › Robot manipulation › manipulator kinematics
manipulability analysis
0.011995
Robot manipulability · IEEE Trans. Robotics Autom. 1995
Requirements engineering and software design › object-oriented analysis and design
object-oriented design
0.011990
Extending Object-Oriented Concepts to Support Engineering Applications · ICDE 1990
Algorithms and data structures › numerical linear algebra › matrix factorization
singular value decomposition
0.011995
Robot manipulability · IEEE Trans. Robotics Autom. 1995
Memory systems
associative search
0.011980
Magnetic Bubble Memory Architectures for Supporting Associative Searching of Relational Databases · IEEE Trans. Computers 1980
Storage systems › data management
database storage
0.011980
Magnetic Bubble Memory Architectures for Supporting Associative Searching of Relational Databases · IEEE Trans. Computers 1980
Memory systems › magnetic memory
magnetic bubble memory
0.011980
Magnetic Bubble Memory Architectures for Supporting Associative Searching of Relational Databases · IEEE Trans. Computers 1980
Memory systems
non-volatile memory
0.011980
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.011978
MICRONET: A Microcomputer Network System for Managing Distributed Relational Databases · VLDB 1978
Automata and formal languages › finite automata
sequential machines
0.021970
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.011972
Design of a Random-Pulse Computer for Classifying Binary Patterns · IEEE Trans. Computers 1972
Parallel and multicore computing › parallel architecture
processing element
0.011980
Magnetic Bubble Memory Architectures for Supporting Associative Searching of Relational Databases · IEEE Trans. Computers 1980
Distributed systems
distributed database
0.011978
MICRONET: A Microcomputer Network System for Managing Distributed Relational Databases · VLDB 1978
Mathematical optimization › dynamical systems
discrete-time systems
0.011970
Discrete-Time Systems with the Decomposition Property · IEEE Trans. Computers 1970
Automata and formal languages › finite automata › sequential machines
finite memory devices
0.011970
Discrete-Time Systems with the Decomposition Property · IEEE Trans. Computers 1970
Automata and formal languages › finite automata › sequential machines
information-lossless machines
0.011970
On Information-Lossless Discrete-Time Systems · IEEE Trans. Computers 1970
Integrated circuit design
digital circuit design
0.011972
Design of a Random-Pulse Computer for Classifying Binary Patterns · IEEE Trans. Computers 1972
Memory systems › non-volatile memory
read-only memory
0.011972
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
YearPublicationVenuePosition
1995 Robot manipulability
abstract
This 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 Applications
abstract
A 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
ICDE3
1989 A representation for discrete assembly sequences in task planning
abstract
An 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
COMPSAC2
1989 Modeling parts and discrete assembly operations, using an object-oriented data model
abstract
An 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
COMPSAC2
1980 Magnetic Bubble Memory Architectures for Supporting Associative Searching of Relational Databases
abstract
A 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. Computers1
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
VLDB5
1972 Design of a Random-Pulse Computer for Classifying Binary Patterns
abstract
This 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. Computers2
1970 On Information-Lossless Discrete-Time Systems
abstract
The 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. Computers1
1970 Discrete-Time Systems with the Decomposition Property
abstract
The 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. Computers1