John W. Roach

According to our database1, John W. Roach authored at least 20 papers between 1973 and 1993.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1993
Representing Polyhedra: Faces Are Better Than Vertices.
Comput. Geom., 1993

1990
Replacing Unification by Constraint Satisfaction to Improve Logic Program Expressiveness.
J. Autom. Reason., 1990

Hoist: A Second-Generation Expert System Based on Qualitative Physics.
AI Mag., 1990

1989
Model-based object recognition using a large-field passive tactile sensor.
IEEE Trans. Syst. Man Cybern., 1989

Spatial planning for musical output.
Int. J. Intell. Syst., 1989

A Theoretical Analysis of Conjunctive-Goal Problems.
Artif. Intell., 1989

1988
A theory of dialogue structures to help manage human-computer interaction.
IEEE Trans. Syst. Man Cybern., 1988

Using domain knowledge in low-level visual processing to interpret handwritten music: An experiment.
Pattern Recognit., 1988

1987
Coordinating the motions of robot arms in a common workspace.
IEEE J. Robotics Autom., 1987

Representing and Using Metacommunication to Control Speakers' Relationships in Natural-Language Dialogue.
Int. J. Man Mach. Stud., 1987

A CAD System Based on Spherical Dual Representations.
Computer, 1987

1986
Spherical dual images: A 3D representation method for solid objects that combines dual space and Gaussian spheres.
Proceedings of the 1986 IEEE International Conference on Robotics and Automation, 1986

1984
Improved Visual Design for Graphics Display.
IEEE Computer Graphics and Applications, 1984

1983
Formal specifications for modeling and developing human/computer interfaces.
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, 1983

1982
A Prolog Simulation of Migration Decision Making in a Less Developed Country.
Proceedings of the First International Logic Programming Conference, 1982

DMS: A comprehensive system for managing human-computer dialogue.
Proceedings of the 1982 Conference on Human Factors in Computing Systems, 1982

1979
Computer Tracking of Objects Moving in Space.
IEEE Trans. Pattern Anal. Mach. Intell., 1979

1975
Model Verification and Improvement Using DISPROVER.
Artif. Intell., 1975

1974
Collaborative Problem-Solving Between Optimistic and Pessimistic Problem Solvers.
Proceedings of the Information Processing, 1974

1973
Proving the Impossible is Impossible is Possible: Disproofs Based on Hereditary Partitions.
Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973


  Loading...