14244 search results - page 624 / 2849 » Modeling Program Predictability |
166
click to vote
EDM
2008
15 years 8 months ago
2008
This paper presents the development of two related machine-learned models which predict (a) whether a student can answer correctly questions in an ILE without requesting help and (...
192
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We propose a novel multi-stream framework for continuous conversational speech recognition which employs bidirectional Long Short-Term Memory (BLSTM) networks for phoneme predicti...
278
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
If logic programs are interpreted over a three-valued logic, then often Kleene's strong three-valued logic with complete equivalence and Fitting's associated immediate co...
192
Voted
CEFP
2005
Springer
16 years 10 days ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
175
click to vote
FTCS
1998
15 years 8 months ago
1998
Most fault-tolerant systems are designed to stop faulty programs before they write permanent data or communicate with other processes. This property (halt-on-failure) forms the co...