5946 search results - page 1069 / 1190 » Visual requirement representation |
212
click to vote
SCP
2011
14 years 11 months ago
2011
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...
158
click to vote
TASLP
2011
14 years 11 months ago
2011
— Missing feature theory (MFT) has demonstrated great potential for improving the noise robustness in speech recognition. MFT was mostly applied in the log-spectral domain since ...
142
click to vote
TSMC
2011
14 years 11 months ago
2011
—This paper introduces an algorithm for direct search of control policies in continuous-state discrete-action Markov decision processes. The algorithm looks for the best closed-l...
157
click to vote
IHI
2010
14 years 11 months ago
2010
Medical practice is increasingly based on the best available evidence, but the volume of information requires many clinicians to rely on systematic reviews rather than the primary...
139
Voted
INTERSPEECH
2010
14 years 11 months ago
2010
We present an investigation of the relevance of simple conversational features as indicators of topic shifts in small-group meetings. Three proposals for representation of dialogu...