6800 search results - page 37 / 1360 » Testing with Functions as Specifications |
PERCOM
2006
ACM
15 years 9 months ago
2006
ACM
This paper proposes a distributed platform designed to support pervasive learning and interactivity on a university campus and to ease tasks related to learning and teaching. The ...
ICCV
2009
IEEE
16 years 2 months ago
2009
IEEE
Similarity metrics that are learned from labeled training
data can be advantageous in terms of performance
and/or efficiency. These learned metrics can then be used
in conjuncti...
CAV
2007
Springer
15 years 4 months ago
2007
Springer
DATE
2006
IEEE
15 years 4 months ago
2006
IEEE
ICSEA
2006
IEEE
15 years 3 months ago
2006
IEEE