7766 search results - page 1264 / 1554 » Testing Nondeterminate Systems |
118
Voted
TASE
2007
IEEE
15 years 7 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
102
click to vote
CIVR
2007
Springer
15 years 7 months ago
2007
Springer
The ability to match faces in video is a crucial component for many multimedia applications such as searching and recognizing people in semantic video browsing, surveillance and h...
113
Voted
CIVR
2007
Springer
15 years 7 months ago
2007
Springer
This paper presents a comparative study of methods for video copy detection. Different state-of-the-art techniques, using various kinds of descriptors and voting functions, are d...
188
Voted
ECAL
2007
Springer
15 years 7 months ago
2007
Springer
Current biological theory has no commonly accepted view on the phenomenon of aging. On the one hand it is considered as an inescapable degradation immanent to complex biological sy...
89
Voted
ECTEL
2007
Springer
15 years 7 months ago
2007
Springer
Indicators help actors to organise, orientate and navigate through complex environments by providing contextual information relevant for the performance of learning tasks. In this ...