John W. Roach

21 papers A* 5B 1Journal 14Unranked 1
YearRankTypeTitle / Venue / Authors
1993 J jnl
Representing Polyhedra: Faces Are Better Than Vertices.
Comput. Geom.
Lenwood S. Heath, Praveen K. Paripati, John W. Roach
1990 J jnl
Hoist: A Second-Generation Expert System Based on Qualitative Physics.
AI Mag.
J. Douglass Whitehead, John W. Roach
1990 J jnl
Replacing Unification by Constraint Satisfaction to Improve Logic Program Expressiveness.
J. Autom. Reason.
John W. Roach, R. Sundararajan, Layne T. Watson
1989 J jnl
A Theoretical Analysis of Conjunctive-Goal Problems.
Artif. Intell.
David Joslin, John W. Roach
1989 J jnl
Model-based object recognition using a large-field passive tactile sensor.
IEEE Trans. Syst. Man Cybern.
John W. Roach, Praveen K. Paripati, Michael Wade
1989 J jnl
Spatial planning for musical output.
Int. J. Intell. Syst.
J. E. Tatem, J. R. Sochinski, John W. Roach
1988 J jnl
A theory of dialogue structures to help manage human-computer interaction.
IEEE Trans. Syst. Man Cybern.
David L. Sanford, John W. Roach
1988 J jnl
Using domain knowledge in low-level visual processing to interpret handwritten music: An experiment.
Pattern Recognit.
John W. Roach, J. E. Tatem
1987 J jnl
A CAD System Based on Spherical Dual Representations.
Computer
John W. Roach, Praveen K. Paripati, Jeffrey S. Wright
1987 J jnl
Coordinating the motions of robot arms in a common workspace.
IEEE J. Robotics Autom.
John W. Roach, Michael N. Boaz
1987 J jnl
Representing and Using Metacommunication to Control Speakers' Relationships in Natural-Language Dialogue.
Int. J. Man Mach. Stud.
David L. Sanford, John W. Roach
1986 A* conf
Spherical dual images: A 3D representation method for solid objects that combines dual space and Gaussian spheres.
ICRA
John W. Roach, Jeffrey S. Wright
1985 A* conf
Coordinating the motions of robot arms in a common workspace.
ICRA
John W. Roach, Michael N. Boaz
1984 J jnl
Improved Visual Design for Graphics Display.
IEEE Computer Graphics and Applications
Susan S. Reilly, John W. Roach
1983 A* conf
Formal specifications for modeling and developing human/computer interfaces.
CHI
John W. Roach, M. Nickson
1982 B conf
A Prolog Simulation of Migration Decision Making in a Less Developed Country.
ICLP
John W. Roach, Theodore D. Fuller
1982 A* conf
DMS: A comprehensive system for managing human-computer dialogue.
CHI
John W. Roach, H. Rex Hartson, Roger W. Ehrich, Tamer Yunten, Deborah H. Johnson
1979 J jnl
Computer Tracking of Objects Moving in Space.
IEEE Trans. Pattern Anal. Mach. Intell.
John W. Roach, J. K. Aggarwal
1975 J jnl
Model Verification and Improvement Using DISPROVER.
Artif. Intell.
Laurent Siklóssy, John W. Roach
1974 — conf
Collaborative Problem-Solving Between Optimistic and Pessimistic Problem Solvers.
IFIP Congress
Laurent Siklóssy, John W. Roach
1973 A* conf
Proving the Impossible is Impossible is Possible: Disproofs Based on Hereditary Partitions.
IJCAI
Laurent Siklóssy, John W. Roach