6149 search results - page 143 / 1230 » Revealing the programming process |
98
Voted
TASE
2007
IEEE
15 years 7 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...
118
Voted
IJCSA
2007
15 years 22 days 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 ...
96
Voted
COGSCI
2004
15 years 20 days 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...
92
Voted
XPU
2004
Springer
15 years 6 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...
110
Voted
ICASSP
2010
IEEE
15 years 1 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...