E1AR0002@SMUVM1.BITNET (06/10/86)
%T Large-Dictionary, On-Line Recognition of Spoken Words %I Helsinki Univ. of Technology %D 1983 %R PB84-214246/CAO %K AI02 %X NTIS price, PC$11.50/MF$6.50 %T LispKit Manual. Volume 1 %I Oxford University %D 1983 %R PB84-204874/CAO %K T01 %X NTIS price PC $17.50/MF $17.50 %T LispKit Manual. Volume 2 (Sources) %I Oxford University %D 1983 %K T01 %R PB84-204882/CAO %X NTIS price PC$17.50/MF $17.50 %T Verification of Secure Systems %I Newcastle upon Tyne Univ. %D 1982 %R PB84-138718/CAO %K AA08 %X NTIS price PC$13.50/MF$13.50 %T Designing Automated Systems -- Need Skill Be Lost %I University of Manchester Institute of Science and Technology %D AUG 1983 %R PB84-232297/CAO %K O05 %X NTIS price PC $9.50/MF $9.50 %T Robot Manipulators: Program Control 1975- SEPT 1984 %I NTIS %R PB 84-875384/CAO %K AI07 AT09 %X NTIS prices PC $40.00/MF$40.00 contains over 300 references extracted from the INSPEC database %T Robotic Technology: An Assessment and Forecast %I DHR, Inc. %C Washington, DC %D JUL 1984 %R AD-A146 672/CAO %K AI07 %X NTIS price PC $17.50 MF $4.50 %T Robotic Safety %I Sandia National Labs %C Alburquerque, NM %D MAY 1984 %R DE84-012237/CAO %K AI07 %X NTIS prices PC $7/MF$4.50 %A Chanderjit Bajaj %T An Efficient Parallel Solution for Euclidean Shortest Paths in Three Dimensions %B BOOK28 %K O06 %A P. Morasso %A F. A. Mussa-Ivaldi %T The Role of Physical Constraints in Natural and Artificial Manipulation %B BOOK28 %K AI07 %A S. Dubowsky %A M. A. Norris %A Z. Shiller %T Time Optimal Trajectory Planning for Robotic Manipulators with Obstacle Avoidance: A CAD Approach %B BOOK28 %K AI07 AI09 %A E. Dombre %A A. Fournier %A C. Quaro %A P. Borrel %T Trends in CAD/CAM Systems for Robotics %B BOOK28 %K AI07 %A A. L. Pai %A K. Lee %A K. Palmer %A D. G. Selvidge %T Automated Visual Inspection of Aircraft Engine Combustor Assemblies %B BOOK28 %K AI06 AA26 %A Thomas M. Kisko %A Eginhard J. Muth %T Multiple-Stage Assembly of Personal Computers in Robotic Workcells with Vision Support %B BOOK28 %K AI07 AI06 AA26 %A E. B. Silverman %A R. K. Simmons %A F. E. Gelhaus %A J. Lewis %T Surveyor: A Remotely Operated Mobile Surveillance System %B BOOK28 %K AI07 AI06 AA19 AA04 %A Edward N. Scheibel %A Henry R. Busby %A Kenneth J. Waldron %T Design of a Mechanical Proximity Sensor %B BOOK28 %K AI07 %A Corinne C. Ruokangas %A Michael S. Black %T Integration of Multiple Sensors to Provide Flexible Control Strategies %B BOOK28 %K AI07 AI06 %A Keishi Hanahara %A Tsugito Maruyama %A Takashi Uchiyama %T High-Speed Hough Transform Processor and its Applications to Automatic Inspection and Measurement %B BOOK28 %K AI06 %A H. D. Cheng %T VLSI Architecture for Dynamic Time-Warp Recognition of Hand-Written Symbols %B BOOK28 %K AI06 %A E. Hu %A S. Mangiaracina %A M. Peters %A A. Harkin %A S. Hackword %A G. Beni %T Inference in Intelligent Machines: Applications to a Thermal Evaporator %B BOOK28 %K AA05 AI01 %A Zixing Cai %A K. S. Fu %T Robot Planning Expert Systems %B BOOK28 %K AI07 AI01 %A Zixing Cai %T Some Research Works on Expert Systems in AI Course at Purdue %B BOOK28 %K AI01 AT18 %A Jean Patrick Tsang %A Yves Lagoude %T Representation and Manipulation of Process Plans in Generic Expert Systems %B BOOK28 %K AI01 AA05 AI09 %A Mark Thomas %T ALV Reasoning Systems %B BOOK28 %K AA19 %A David Morgenthaler %T ALV Perception System %B BOOK28 %K AA19 AI06 %A Jim Lowrie %A R. Douglass %T Autonomous Road Following %B BOOK28 %K AI07 AA19 AI06 %A T. Kanade %T Panel Discussion: Possibilities in ALV Research %B BOOK28 %K AA19 %A Joseph Y. Halpern %T Reasoning About Knowledge: An Overview %B BOOK38 %K AA16 %T Theoretical Aspects of Reasoning About Knowledge %A Joseph Y. Halpert %I Morgan Kaufman Publishers, Inc. %C Palo Alto, CA %D 1986 %K AA16 AT15 %X ISBN 0-934613-0404 $18.95 %A Ryszard S. Michalski %A Jaime G. Carbonell %A Tom M. Mitchell %T Machine Learning : An Artificial Intelligence Approach, Volume II %I Morgan Kaufman Publishers, Inc. %C Palo Alto, CA %D 1986 %K AI04 AT15 %X ISBN 0-934613-00-1 $39.95 738 pages %A Ronald J. Brachman %A Hector J. Levesque %T Readings in Knowledge Representation %I Morgan Kaufman Publishers, Inc. %C Palo Alto, CA %D 1986 %K AA16 AT15 %X ISBN 0-934613-01-X $26.95 571 pages %A Perry L. Miller %T A Critiquing Approach to Expert Computer Advice: Attending %I Morgan Kaufman Publishers, Inc. %C Palo Alto, CA %D 1984 %K AI01 AA01 anesthesiology O01 AT15 O01 %X ISBN 0-273-08665-0 $19.95 112 pages %A Richard Korf %T Learning to Solve Problems by Searching for Macro-Operators %I Morgan Kaufman Publishers, Inc. %C Palo Alto, CA %D 1985 %K AI09 AI04 AT15 %X ISBN 0-273-08690-1 $22.95 %A Pual R. Cohen %T Heuristic Reasoning About Uncertainty An Artificial Intelligence Approach %I Morgan Kaufman Publishers, Inc. %C Palo Alto, CA %D 1985 %K O06 AT15 %X ISBN 0-273-08667-7 $22.95 %A Andrew J. Palay %T Searching with Probabilities %I Morgan Kaufman Publishers, Inc. %C Palo Alto, CA %D 1985 %K AT15 chess AI03 AA17 O04 %X ISBN 0-273-08664-2 $22.95 192 pages %A Yuichi Ohta %T Knowledge-Based Interpretation of Outdoor Natural Color Scenes %I Morgan Kaufman Publishers, Inc. %C Palo Alto, CA %D 1985 %K AT15 AI06 %X ISBN 0-273-08673-1 $19.95 %A Susanne P. Graf %A J. Sifakis %T From Synchronization Tree Logic to Acceptance Model Logic %B BOOK35 %P 128-142 %K AA08 %A A Sam Kamin %T A FASE specification of FP %B BOOK35 %P 143-152 %K AA08 %A R. Koymans %A R. K. Shyamasundar %A W. P. de Roever %A R. Gerth %A S. Arun-Kumar %T Compositional Semantics for Real-Time Distributed computing %B BOOK35 %P 167-189 %K AA08 %A F. Kroger %T On Temporal Program Verification Rules %J RAIRO Inform. Theor %V 19 %D 1995 %N 3 %P 261-280 %K AA08 %A J. L. Lassez %A Michael John Maher %T Optimal Fixed Points of Logic Programs %J Theoretical Computer Science %V 39 %D 1985 %N 1 %P 15-25 %K AI10 %A Daniel Leivant %T Partial-Correctness Theoreis as First-Order Theories %B BOOK35 %K AA08 AI11 %P 190-195 %A Albert R. Meyer %A Mitchell Wand %T Continuation Semantics in Typed Lambda-Calculi %B BOOK35 %K AA08 %A B. Mishra %A E. Clarke %T Hierarchical Verification of Asynchronous Circuits Using Temporal Logic %B BOOK35 %K AA04 %A Eugene C. Freuder %T A Sufficient Condition for Backtrack-Bounded Search %J JACM %V 32 %N 4 %D 1985 %P 755-761 %K AI03 %A Irina Bercovici %T Unsolvable Terms in Typed Lambda Calculus with Fixed Point Operators %B BOOK35 %P 16-22 %K AA08 %A Val Breazu-Tannen %A Albert R. Meyer %T Lambda Calculus with Constrained Types %B BOOK35 %P 23-40 %K AA08 %A Stephen D. Brookes %T An Axiomatic treatment of a Parallel Programming Language %B BOOK35 %P 41-60 %K AA08 %A A A. Ya Dikovskii %T Solution in Linear Time of Algorithmic Problems Connected with Synthesis of Nonlooping Programs %J Programmirovanie %V 1985 %N 3 %P 38-49 %K AA08 %X in Russian %A E. Allen Emerson %T Automata, Tableaux and Temporal Logics %B BOOK35 %P 79-88 %K AA08 %A Nissim Francez %A Orna Grumberg %A Shmuel Katz %A Amir Pnueli %T Proving Termination of Prolog Programs %B BOOK35 %P 89-105 %K AA08 O02 %A J. Padget %T Current Developments in Lisp %B BOOK39 %P 45-57 %K T01 %A A. W. Biermann %T Algorithmic Methods in Automatic Programming %B BOOK39 %P 124-135 %K AA08 %A G. Kreisel %T Proof Theory and the Synthesis of Progrmas - Potentials and Limitations %B BOOK39 %P 136-150 %K AA08 %A T. Coquand %A G. Huet %T Constructions - A Higher Order Proof System for Mechanizing Mathematics %B BOOK39 %P 151-184 %K AA13 %A C. A. R. Hoare %T The Mathematics of Programming %B BOOK40 %P 1-18 %K AA08 %A G. Agha %A C. Hewitt %T Concurrent Programming Using Actors - Exploiting Large-Scale Parallelism %B BOOK40 %P 19-40 %K H03 %A C. Ghezzi %A D. Mandrioli %A A. Tecchio %T Program Simplification via Symbolic Interpretation %B BOOK40 %P 116-128 %K AA08 %A J. Hsiang %A M. Srivas %T PROLOG Based Inductive Theorem Proving %B BOOK40 %P 129-149 %K T02 AI11 %A J. Veenstra %A N. Ahuja %T Deriving Object Octree from Images %B BOOK40 %P 196-211 %K AI06 %A Z. Manna %A R. Walding %T Deduction with Relation Matching %B BOOK40 %P 212-224 %K AI14 AI11 %A F. V. Jensen %A K. G. Larsen %T Recursively Defined Domains and their Induction Principles %B BOOK40 %P 225-245 %K AA08 %A G. Venkatesh %T A Decision Method for Temporal Logic Based on Resolution %B BOOK40 %P 272-289 %K AI11 AI14 %A A. Chandra %T Who Needs to Verify Programs if you Can Test Them %B BOOK40 %P 346 %K AA08 %A V. A. Saraswat %T Partial Correctness Semantics for CP [Down-and] %B BOOK40 %P 347-368 %K AA08 %A E. W. Stark %T A Proof Technique for Rely Guarantee Properties %B BOOK40 %P 369-391 %K AA08 AI11 %A G. Winskel %T A Complete Proof System for SCCS with Modal Assertions %B BOOK40 %P 392-410 %K AA08 %A R. D. Schraft %A J. Schuler %T Robot Applications in FMS %B Flexible Manufacturing Systems %E H. J. Warnecke %E R. Steinhilper %I Springer-Verlag %C Berlin %D 1985 %A A. A. Goldenberg %A A. Bazerghi %T Synthesis of Robot Control for Assembly Processes %J Mechanism and Machine Theory %V 21 %N 1 %D 1986 %P 43-62 %K AI07 AA26 %A H. J. Warnecke %A B. Frankenhauser %T Assembly of Flexible Parts with Industrial Robots %J MAG30 %P 8-11 %K AI07 AA26 %A P. Nicolaisen %T Improved Worker Safety in the Programming of Industrial Robots %J MAG30 %P 12-14 %K AI07 %A K. H. Wurst %A M. Bauder %T Control Structures and Information Exchange for Linked Industrial Robots %J MAG30 %P 15-17 %K AI07 H03 %A Jeffrey Kerr %A Bernard Roth %T Analysis of Multifingered Hands %J MAG31 %P 3-17 %K AI07 %A Mark L. Hornick %A Bahram Ravani %T Computer Aided Off-Line Planning and Programming of Robot Motion %J MAG31 %P 18-31 %K AI07 %A John Hopcroft %A Gordon Wilfgong %T Motions of Objects in Contact %J MAG31 %P 32-46 %K AI07 %A Katsutoshi Kuribayashi %T A New Actuator of a Joint Mechanism Using TiNi Alloy Wire %J MAG31 %P 47-58 %K AI07 %A Jorge Angeles %T Iterative Kinematic Inversion of General Five-Axis Robot Manipulators %J MAG31 %P 59-70 %K AI07 %A James P. Trevelyan %a Peter D. Kovesi %A Michael Ong %A David Elford %T ET: A Wrist Mechanism without Singular Positions %J MAG31 %P 71 %K AI07 %A K. G. Kempf %T Manufacturing and Artificial Intelligence %B BOOK41 %P 1-20 %K AA26 %A P. Raulefs %T Knowledge Processing Expert Systems %B BOOK41 %P 21-32 %K AI01 %A W. Wahlster %T Cooperative Access Systems %B BOOK41 %P 33-46 %K AI16 %A C. W. Burckhardt %T The Next Generation of Robots - Increased Flexibility Through the Use of Sensors %B BOOK41 %P 47-50 %K AI07 %A B. Neumann %T Vision Systems - State of the Art and Prospects %B BOOK41 %P 51-62 %K AI06 %A G. Albers %T Expert Systems and Knowledge Engineering - Robotics and Intelligent Interfaces - Summary of Discussions %B BOOK41 %P 63-66 %K AI01 AI07 %A B. Rees %T Artificial Intelligence in a Large-Scale Enterprise - the Experience of Digital Equipment Corrporation %B BOOK41 %P 67-76 %A D. Sagalowicz %T Expert Systems in Service Sectors - Use of Expert Systems in 6 Sample Cases %B BOOK41 %P 77-80 %K AA06 AI01 %A H. Thompson %T Office Automation - A Field for Applied Artificial Intelligence %B BOOK41 %P 81-86 %K AA06 %A C. J. Jenny %T Requirements on Expert Systems as Seen by an Insurance Company %B BOOK41 %P 87-96 %K AI01 AA06 %A G. Eibl %T Current Work on Expert Systems and Natural Language Processing at Siemens %B BOOK41 %P 97-106 %K AI01 AI02 %A W. Sieber %T Computer Assisted Synthesis - a Project of the Chemical Industry %B BOOK41 %P 107-110 %K AA16 AA05 %A R. L. Langley %T A Case Study of the Dipmeter Advisor Development %B BOOK41 %P 111-118 %K AA03 AI01 %A S. E. Savory %T FF - A Nixdorf Expert System for Fault-Finding and Fault Finding - An Outline Description %B BOOK41 %P 119-128 %K AI01 AA21 %A J. F. Hery %T A Prototype Expert System in PWR Power Plant Conducting %B BOOK41 %P 129-134 %K AA05 %A H. Marchand %T Knowledge Engineering in CAE - First Industrial Experiences %B BOOK41 %P 135-142 %K AA05 %A J. C. Latombe %T Advanced Information Processing in Robotics %B BOOK41 %P 143-160 %K AA05 %A D. C. Schwartz %T The Lisp Machine Architecture %B BOOK41 %P 161-168 %K H02 %A K. Wiig %T Market Trends in Artificial Intelligence in the United States and Japan %B BOOK41 %P 169-184 %K GA01 GA02 AT04 %A A. W. Pearson %T Speculations on the Future of Knowledge Engineering in Europe I,II %B BOOK41 %P 185-188 %K GA03 %A H. W. Husch %A E. Staudt %T The Influence of Artificial Intelligence on Organizational Structure and Rati onalization %B BOOK41 %P 189-200 %K O05 %A T. Bernold %T Possibilities and Limitations of Artificial Intelligence %B BOOK41 %P 205-208 %K AI16 %A S. A. Cerri %T Problems of the Infrastructure - the Bottlenecks in Research and Training %B BOOK41 %P 209-212 %K AT19 %A B. Oakley %T Research Policy of Administrations - Great Britain (ALVEY) %B BOOK41 %P 213-218 %K AT19 GA03 %A H. Gallaire %A W. Bibel %A B. Oakley %T Cooperation Between University, Government and Industry %B BOOK41 %P 217-220 %K AT10 %A M. Boden %T Artificial Intelligence and Natural Man %B BOOK41 %P 221 %K AI16 O05 %A Benjamin W. Wah %A Guo-Jie Li %T Tutorial: Computers for Artificial Intelligence Applications %I IEEE Computer Society %D MAY 1986 %K AT15 %X list price $49.00 member price $36.00 order no CZ706 ISBN 0-8186-0706-8 648 pages %A A C. S. George Lee %A R. C. Gonzalez %A K. S. Fu %T Tutorial: Robotics (Second Edition) %I IEEE Computer Society %D APRIL 1986 %K AI07 AT15 %X Order NO. CZ658, ISBN 0-8186-0658-4 list price $70.00 member price $39.00 744 pages %A Rama Chellappa %A Alexander A. Sawchuk %T Tutorial: Digital Image Processing and Analysis Volume 2: Digital Image Analysis %I IEEE Computer Society %D DEC 1985 %K AI06 AT15 %X ISBN 0-8186-0666-5 Order No. CZ666 list price $66.00 member price $36.00, 680 pages %A Rama Chellappa %A Alexander A. Sawchuk %T Tutorial: Digital Image Processing and Analysis Volume I: Digital Image Processing %I IEEE Computer Society %D JUN 1985 %K AI06 AT15 %X ISBN 0-8186-0665-7 order No. CZ665 list price $66.00 member price $36.00 736 pages %A J. Gauvin %T Robots 10 Stresses Integration %J MAG32 %P 53-58 %K AI07 %A J. P. Ziskovsky %T Robots - A Piece of the Automation Pie %J MAG32 %P 14 %K AT12 AA26 AI07 %A N. S. Rajaram %T Artificial Intelligence: Its Impact on the Process Industries %J MAG33 %P 33-44 %K AA20 AA16 %A G. Allmendinger %T AI: Can Performance Match the Promise? %J MAG33 %P 45-50 %K AA16 %A R. S. Shirley %A D. A. Fortin %T Developing an Expert System for Process Fault Detection and Analysis %J MAG33 %P 51-56 %K AA05 AA20 AA21 AI01 %A A. E. Nisenfeld %A M. A. Turk %T Batch Reactor Control: Could an Expert Advisor Help? %J MAG33 %P 57 %K AA05 AA20 AI01 %A G. Spur %A G. Seliger %A T. V. Diep %T Sensor Based Assembly System %J MAG34 %P 3-8 %K AI07 AA26 %X (in German) %A U. Vongunten %A C. W. Burckhardt %T Sensors for Robots - Searching, Touching, Grasping %J MAG34 %P 9-16 %K AI07 AI06 %X (in German) %A G. Zimmer %A B. Hosticka %T Integration of Sensors Using VLSI Technologies %J MAG34 %P 17-26 %K AI07 %X (in German) %A W. Weber %A H. Britwieser %T Control of Servomanipulator by the Inverse Model %J MAG34 %P 27-36 %K AI07 %X (in German) %A U. Ahrens %A G. Drunk %A A. Langen %T Sensor Interfaces of Robot Control Systems %J MAG34 %P 37-46 %K AI07 %X (in German) %A G. Pritschow %A G. Gruhler %T Sensors for Geometry and Processing of Sensor Data for Automatical Robot Programming %J MAG34 %P 47-54 %K AI07 AI06 %X (in German) %A T. J. Doll %T Non-Tactile Sensors for Robots and Planning of Sensor Application %J MAG34 %P 55 %K AI07 AI06 %X (in German) %A M. C. Wanner %T Industrial Robots in Japan in 1984 %J MAG34 %P 54 %K AI07 GA01 %X (in German) %T VAl-II, a New Robot Programming Language %J MAG34 %P 63 %K AI07 %X (in German) %A L. A. Walils %A A. Bendell %T Human Factors and Sampling Variation in Graphical Identification and Estimation for the Weibull Distribution %J Reliability Engineering %V 13 %N 3 %D 1985 %K AI08 %A C. A. J. Braganca %A P. Sholl %T Val-II, A Language for Hierarchical Control of a Robot-Based Automated Factory %J MAG35 %P 265-272 %K AI07 AA26 %A P. T. Rayson %T A Review of Expert Systems Principles and Their Role in Manufacturing Systems %J MAG35 %P 279 %K AI07 AA26 AT08 %A W. E. Red %A Hung-Viet Truong-Cao %T Configuration Maps for Robot Path Planning in Two Dimensions %J MAG36 %P 292-298 %K AI07 AI09 %A O. Z. Maimon %A S. Y. Nof %T Coordination of Robots Sharing Assembly Tasks %J MAG36 %P 299-307 %K AI07 AA26 %A S. N. Singh %A A. A. Schy %T Robust Trajectory Following Control of Robotic Systems %J MAG36 %P 308-315 %K AI07 %A A. J. Kolvo %T Self-Tuning Manipulator Control in Cartesian Base Coordinate Systems %J MAG36 %P 316-323 %K AI07 %A G. W. Kohler %T Power Manipulators %J MAG37 %P 195-202 %K AI07 %A U. Ahrens %T Possibilities and Problems in Application of Airborne Ultrasonic Sensors in Assembly Systems and Handling Systems %J MAG37 %P 203-210 %K AI06 AI07 AA26 %A D. Wloka %A K. Blug %T Simulation of Robot Dynamics with the Method of Kane %J MAG37 %P 211-216 %K AI07 %A M. C. Wanner %A K. Baumeister %A G. W. Kohler %A H. Walze %T Robotics in Civil Engineering %J MAG37 %P 227-236 %K AI07 AA05 %A C. Blume %A B. Heck %T Analysis of Inherent Concurrency in High Level Programming Languages for Industrial Robots %J MAG37 %P 237-230 %K AI07 H03 %A P. Nitezki %T Experience with SPIDER- A Portable Subroutine Library for Image Processing %J MAG37 %P 231-233 %K AI06 %A R. Dillmann %A M. C. Wanner %T The Esprit Project in the Area of Robotics %J MAG37 %P 234 %K GA03 AI07 %A Robert L. Stewart %A Douglas R. Ousborne %T An Experimental Expert Weapon Detection System %J Naval Engineers Journal %V 98 %N 3 %D MAY 1986 %P 24-34 %K AA18 AI01 %A M. Raghaven %A S. I. Mehta %A U. Pathie %A K. V. Vaishampayan %T Mechanical Design of an Industrial Robot %J Indian Journal of Technology %V 24 %N 3 %D MAR 1986 %P 149-152 %K AI07 %A Mark Wynott %T Close-Up: Artificial Intelligence Provides Real-Time Control of Material Handling Process %J Industrial Engineering %V 18 %N 4 %D APR 1986 %P 34-46 %K AA26 AA05 O03 %A M. C. Golumbic %A M. Markovich %A S. Tsur %A U. J. Schild %T A Knowledge Based Expert System for Student Advising %J IEEE Transactions on Education %V 29 %N 2 %D MAY 1986 %P 120-124 %K AA06 AI01 %A A. B. Ritter %A W. Braun %A A. Stein %A W. Duran %T Visualization of the Coronary Microcirculation Using Digital Image Processing %J Computers in Biology and Medicine %V 15 %N 6 %D 1985 %P 361-375 %K AI06 AA10 %A D. Umphress %A G. Williams %T Identity Verification Through Keyboard Characteristics %J MAG38 %P 263-274 %K AI06 %A R. J. Baron %T Visual Memories and Mental Images %J MAG38 %P 275-312 %K AI08 %A B. A. Julstrom %A R. J. Baron %T A Model of Mental Imagery %J MAG38 %P 313 %K AI08 %A J. Bajon %A M. Cattoen %A S. D. Kim %T A Concavity Characterization Method for Digital Objects %J Signal Processing %V 9 %N 3 %D OCT 1985 %K AI06