Sunil Issar

Publication Activity (10 Years)

Years Active: 1986-2004
Publications (10 Years): 0

Publications

Peter B. Andrews, Chad E. Brown, Frank Pfenning, Matthew Bishop, Sunil Issar, Hongwei Xi
ETPS: A System to Help Students Write Formal Proofs. J. Autom. Reason. 32 (1) (2004)
Sunil Issar
A speech interface for forms on WWW. EUROSPEECH (1997)
Wayne H. Ward, Sunil Issar
A class based language model for speech recognition. ICASSP (1996)
Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
TPS: A Theorem-Proving System for Classical Type Theory. J. Autom. Reason. 16 (3) (1996)
Sunil Issar
Estimation of language models for new spoken language applications. ICSLP (1996)
Wayne H. Ward, Sunil Issar
Recent Improvements in the CMU Spoken Language Understanding System. HLT (1994)
Wayne H. Ward, Sunil Issar
Integrating semantic constraints into the Sphinx-II recognition search. ICASSP (2) (1994)
Sunil Issar, Wayne H. Ward
Unanswerable queries in a spontaneous speech task. ICASSP (1) (1994)
Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory. HUG (1993)
Sunil Issar, Wayne H. Ward
CMLPs robust spoken language understanding system. EUROSPEECH (1993)
Sunil Issar
Path-Focused Duplication: A Search Procedure for General Matings. AAAI (1990)
Peter B. Andrews, Sunil Issar, Dan Nesmith, Frank Pfenning
The TPS Theorem Proving System. CADE (1990)
Peter B. Andrews, Sunil Issar, Daniel Nesmith, Frank Pfenning
The TPS Theorem Proving System. CADE (1988)
Peter B. Andrews, Frank Pfenning, Sunil Issar, Carl P. Klapper
The TPS Theorem Proving System. CADE (1986)