674 search results - page 52 / 135 » From Constructibility and Absoluteness to Computability and ... |
107
click to vote
DSN
2004
IEEE
15 years 5 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
129
click to vote
COMPUTER
2006
15 years 2 months ago
2006
Model-driven development (MDD) is an emerging paradigm that improves the software development lifecycle, particularly for large software systems by providing a higherabstraction fo...
129
click to vote
TSMC
2002
15 years 1 months ago
2002
By exploiting the Fourier series expansion, we have developed a new constructive method of automatically generating a multivariable fuzzy inference system from any given sample set...
109
click to vote
COMPSAC
1998
IEEE
15 years 6 months ago
1998
IEEE
Explosive increase in enduser computing on distributed systems requires that endusers develop application software by themselves. One solution is given as a formula of "a dom...
122
click to vote
AIEDU
2007
15 years 2 months ago
2007
This paper presents two new corpus-based studies of feedback in the domain of teaching Spanish as a foreign language, concentrating on the type and frequency of different feedback ...