553 search results - page 48 / 111 » Learning Meets Verification |
113
click to vote
NIPS
2001
15 years 4 months ago
2001
To find out how the representations of structured visual objects depend on the co-occurrence statistics of their constituents, we exposed subjects to a set of composite images wit...
131
click to vote
PRL
2006
15 years 2 months ago
2006
This paper describes an improved boosting algorithm, the MutualBoost algorithm, and its application in developing a fast and robust Gabor feature based face recognition system. Th...
128
click to vote
ENTCS
2008
15 years 3 months ago
2008
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...
116
click to vote
CSEE
2010
Springer
15 years 1 months ago
2010
Springer
This paper shares the experiences and lessons learned from conducting an NSF-sponsored eight-week summer research program for ten undergraduate students from multiple universities...
103
click to vote
ICALT
2006
IEEE
15 years 9 months ago
2006
IEEE
Competence-based approaches in the field of formal or non-formal education and training are becoming more common and appear to offer the opportunity to develop programmes that mee...