1943 search results - page 39 / 389 » Software and higher education |
DAGM
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Graphical models with higher order factors are an important tool for pattern recognition that has recently attracted considerable attention. Inference based on such model...
CSSE
2008
IEEE
14 years 2 months ago
2008
IEEE
Embedded technology is in rapid progress in recent years. The teaching contents and the experimental platforms should be updated according to the embedded technology. It is a huge...
CN
1998
13 years 7 months ago
1998
The World Wide Web is becoming increasingly important in the provision of education, as recognised by several high profile UK government reports. Improved tools for developing We...
ELPUB
2000
ACM
13 years 12 months ago
2000
ACM
Electronic publishing, and in particular Web-based publishing, has assumed an increasing importance in higher education. The possibility of delivering learning material to students...
FOSSACS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...