Undecidable Optimization Problems for Database Logic Programs
- Haim Gaifman
- Harry Mairson
- et al.
- 1993
- Journal of the ACM (JACM)
Publications
8045 results for AI
Perfectly Secure Message Transmission
- Danny Dolev
- Cynthia Dwork
- et al.
- 1993
- Journal of the ACM (JACM)
A methodology for visualizing performance of loosely synchronous programs
- Sekhar R. Sarukkai
- Doug Kimelman
- et al.
- 1993
- Journal of Parallel and Distributed Computing
Creating a design science of humancomputer interaction
- John M. Carroll
- 1993
- Interacting with Computers
Image Description and 3-D Reconstruction from Image Trajectories of Rotational Motion
- Harpreet S. Sawhney
- John Oliensis
- et al.
- 1993
- IEEE Transactions on Pattern Analysis and Machine Intelligence
Representation and recognition of handprinted Chinese characters by string-matching
- Robert I. Chou
- Aaron Kershenbaum
- et al.
- 1993
- Information Sciences
Design and evaluation of gracefully degradable disk arrays
- A. L. Narasimha Reddy
- John Chandy
- et al.
- 1993
- Journal of Parallel and Distributed Computing
A Method for the Construction of Acoustic Markov Models for Words
- L.R. Bahl
- Peter V. de Souza
- et al.
- 1993
- IEEE Transactions on Speech and Audio Processing
Speech interfaces for computer systems: problems and potential
- R.A. Sharman
- 1993
- Displays
Estimating Hidden Markov Model Parameters So As To Maximize Speech Recognition Accuracy
- Lalit R. Bahl
- Peter F. Brown
- et al.
- 1993
- IEEE Transactions on Speech and Audio Processing