6800 search results - page 108 / 1360 » Testing with Functions as Specifications |
EVOW
2004
Springer
14 years 1 months ago
2004
Springer
In sequential, deterministic, non-redundant search the algorithm permutes a test function to obtain the search result. The mapping from test functions to search results is a one-to...
CVPR
2001
IEEE
14 years 10 months ago
2001
IEEE
A gait-recognition technique that recovers static body and stride parameters of subjects as they walk is presented. This approach is an example of an activity-specific biometric: ...
ICSOC
2005
Springer
14 years 1 months ago
2005
Springer
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...
DEXAW
2008
IEEE
13 years 9 months ago
2008
IEEE
The amount of legal information is continuously growing. New legislative documents appear everyday in the Web. Legal documents are produced on a daily basis in briefingformat, cont...
LREC
2008
13 years 9 months ago
2008
Automated extraction of ontological knowledge from text corpora is a relevant task in Natural Language Processing. In this paper, we focus on the problem of finding hypernyms for ...