Sciweavers

6800 search results - page 37 / 1360
» Testing with Functions as Specifications
Sort
View
PERCOM
2006
ACM
14 years 7 months ago
Specification of a Functional Architecture for E-Learning Supported by Wireless Technologies
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 ...
Philip Grew, Francesco Giudici, Elena Pagani
ICCV
2009
IEEE
1019views Computer Vision» more  ICCV 2009»
15 years 24 days ago
Similarity Functions for Categorization: from Monolithic to Category Specific
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...
Boris Babenko, Steve Branson, Serge Belongie
CAV
2007
Springer
116views Hardware» more  CAV 2007»
14 years 2 months ago
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java
Gary T. Leavens, Joseph R. Kiniry, Erik Poll