4966 search results - page 64 / 994 » its 2010 |
147
click to vote
ITS
2010
Springer
15 years 10 months ago
2010
Springer
We study how student behaviors associated with engagement differ across different school settings. We present a study to investigate the variation in gaming the system and off-task...
182
click to vote
UTP
2010
15 years 4 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
137
click to vote
ENTCS
2007
15 years 6 months ago
2007
The Mono Model Checker (mmc) is a software model checker for cil bytecode programs. mmc has been developed on the Mono platform. mmc is able to detect deadlocks and assertion viol...
336
click to vote
JDCTA
2010
15 years 28 days ago
2010
Combining the ant colony algorithm (ACA) and the neural network (NN), the present paper puts forward an approach to traffic volume forecasting based on the ant colony neural netwo...
131
click to vote
LREC
2010
15 years 7 months ago
2010
In this paper, we introduce the Lefff, a freely available, accurate and large-coverage morphological and syntactic lexicon for French, used in many NLP tools such as large-coverag...