102291 search results - page 32 / 20459 » Computing |
142
Voted
SIGUCCS
1994
ACM
15 years 10 months ago
1994
ACM
162
click to vote
MPC
1995
Springer
15 years 10 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
181
click to vote
LREC
2010
15 years 7 months ago
2010
We present Witchcraft, an open-source framework for the evaluation of prediction models for spoken dialogue systems based on interaction logs and audio recordings. The use of Witc...
