3742 search results - page 236 / 749 » On the Use of Formal Techniques for Validation |
165
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
A basic question of instruction is how effective it is in promoting student learning. This paper presents a study determining the relative efficacy of different instructional conte...
210
click to vote
CSCW
1998
ACM
15 years 10 months ago
1998
ACM
Collaborative filtering systems help address information overload by using the opinions of users in a community to make personal recommendations for documents to each user. Many c...
179
click to vote
CVPR
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper formulates the problem of object categorization in the discriminant analysis framework focusing on transforming visual feature data so as to make it conform to the comp...
206
click to vote
CVPR
2008
IEEE
15 years 6 months ago
2008
IEEE
Efficient segmentation of globally optimal surfaces in volumetric images is a central problem in many medical image analysis applications. Intra-class variance has been successful...
148
click to vote
AISS
2010
15 years 4 months ago
2010
Recently, due to problems arising from lattice mismatch in thin film growth in semiconductor manufacturing industry, researchers have shown great interest in modeling the physioch...