6149 search results - page 143 / 1230 » Revealing the programming process |
121
Voted
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
142
Voted
IJCSA
2007
15 years 3 months ago
2007
This article presents experiences in the automation of a testing process. The main goal is the unified testing of not only one program, but a whole family of programs. The family ...
128
Voted
COGSCI
2004
15 years 3 months ago
2004
This paper advocates the main ideas of the interactive model of representation of Mark Bickhard and the assimilation/accommodation framework of Jean Piaget, through a rhythm recog...
116
Voted
XPU
2004
Springer
15 years 9 months ago
2004
Springer
As with to other agile methods, which value "Individuals and interactions over processes and tools" (http://agilemanifesto.org/), Extreme Programming (XP) cares about th...
142
Voted
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
We present a novel discriminative training algorithm for n-gram language models for use in large vocabulary continuous speech recognition. The algorithm uses large margin estimati...