Sunil Issar

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