Sunil Issar

According to our database, Sunil Issar authored at least 13 papers between 1986 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

ETPS: A System to Help Students Write Formal Proofs.

Peter B. Andrews, Chad E. Brown, Frank Pfenning, Matthew Bishop, Sunil Issar, Hongwei Xi

J. Autom. Reason., 2004

1997

A speech interface for forms on WWW.

Sunil Issar

Proceedings of the Fifth European Conference on Speech Communication and Technology, 1997

1996

TPS: A Theorem-Proving System for Classical Type Theory.

Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi

J. Autom. Reason., 1996

Estimation of language models for new spoken language applications.

Sunil Issar

Proceedings of the 4th International Conference on Spoken Language Processing, 1996

A class based language model for speech recognition.

Wayne H. Ward, Sunil Issar

Proceedings of the 1996 IEEE International Conference on Acoustics, 1996

1994

Recent Improvements in the CMU Spoken Language Understanding System.

Wayne H. Ward, Sunil Issar

Proceedings of the Human Language Technology, 1994

Integrating semantic constraints into the Sphinx-II recognition search.

Wayne H. Ward, Sunil Issar

Proceedings of ICASSP '94: IEEE International Conference on Acoustics, 1994

Unanswerable queries in a spontaneous speech task.

Sunil Issar, Wayne H. Ward

Proceedings of ICASSP '94: IEEE International Conference on Acoustics, 1994

1993

TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory.

Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

CMLPs robust spoken language understanding system.

Sunil Issar, Wayne H. Ward

Proceedings of the Third European Conference on Speech Communication and Technology, 1993

1990

The TPS Theorem Proving System.

Peter B. Andrews, Sunil Issar, Dan Nesmith, Frank Pfenning

Proceedings of the 10th International Conference on Automated Deduction, 1990

Path-Focused Duplication: A Search Procedure for General Matings.

Sunil Issar

Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

1986

The TPS Theorem Proving System.

Peter B. Andrews, Frank Pfenning, Sunil Issar, Carl P. Klapper

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986