Sunil Issar

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

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

2004
ETPS: A System to Help Students Write Formal Proofs.
J. Autom. Reason., 2004

1997
A speech interface for forms on WWW.
Proceedings of the Fifth European Conference on Speech Communication and Technology, 1997

1996
TPS: A Theorem-Proving System for Classical Type Theory.
J. Autom. Reason., 1996

Estimation of language models for new spoken language applications.
Proceedings of the 4th International Conference on Spoken Language Processing, 1996

A class based language model for speech recognition.
Proceedings of the 1996 IEEE International Conference on Acoustics, 1996

1994
Recent Improvements in the CMU Spoken Language Understanding System.
Proceedings of the Human Language Technology, 1994

Integrating semantic constraints into the Sphinx-II recognition search.
Proceedings of ICASSP '94: IEEE International Conference on Acoustics, 1994

Unanswerable queries in a spontaneous speech task.
Proceedings of ICASSP '94: IEEE International Conference on Acoustics, 1994

1993
TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory.
Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

CMLPs robust spoken language understanding system.
Proceedings of the Third European Conference on Speech Communication and Technology, 1993

1990
The TPS Theorem Proving System.
Proceedings of the 10th International Conference on Automated Deduction, 1990

Path-Focused Duplication: A Search Procedure for General Matings.
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

1986
The TPS Theorem Proving System.
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986


  Loading...