Sciweavers

2045 search results - page 296 / 409
» Learning programming with Erlang
Sort
View
WEBNET
2000
15 years 7 months ago
Electronic Portfolios in Assessment of Preservice Teachers
: Portfolios are valuable authentic assessment tools in preservice teacher education programs, as they allow for student demonstration of performance, interconnected tasks, respons...
Scott Walker
IJCAI
1989
15 years 7 months ago
Concept Formation by Incremental Conceptual Clustering
Incremental conceptual clustering is an important area of machine learning. It is concerned with summarizing data in a form of concept hierarchies, which will eventually ease the ...
Mirsad Hadzikadic, David Y. Y. Yun
ENTCS
2008
125views more  ENTCS 2008»
15 years 6 months ago
Can Refinement be Automated?
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...
Peter Höfner, Georg Struth
CG
2007
Springer
15 years 6 months ago
Teaching OpenGL shaders: Hands-on, interactive, and immediate feedback
This paper describes the teaching of OpenGL shaders with hands-on a program called glman. Hands-on education is at its best when the students’ experimental feedback loop is very...
Mike Bailey
JBI
2006
107views Bioinformatics» more  JBI 2006»
15 years 6 months ago
KDE Bioscience: Platform for bioinformatics analysis workflows
Bioinformatics is a dynamic research area in which a large number of algorithms and programs have been developed rapidly and independently without much consideration so far of the...
Qiang Lu, Pei Hao, Vasa Curcin, Wei-Zhong He, Yuan...