2477 search results - page 16 / 496 » First-Order Interactive Programming |
104
Voted
HASE
2007
IEEE
15 years 8 months ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
CHI
2006
ACM
16 years 2 months ago
2006
ACM
CHI
1992
ACM
15 years 6 months ago
1992
ACM
143
Voted
JMLR
2012
13 years 4 months ago
2012
To relax the homogeneity assumption of classical dynamic Bayesian networks (DBNs), various recent studies have combined DBNs with multiple changepoint processes. The underlying as...
97
Voted
ICASSP
2008
IEEE
15 years 8 months ago
2008
IEEE
Signals and systems lab courses that are currently offered at many universities are mostly based on textbased programming languages and environments, in particular MATLAB. This pa...