581 search results - page 117 / 117 » On the Verifiability of Programs Written in the Feature Lang... |
WWW
2011
ACM
13 years 7 days ago
2011
ACM
The multimedia information retrieval community has dedicated extensive research effort to the problem of content-based image retrieval (CBIR). However, these systems find their ma...