1413 search results - page 261 / 283 » Bisimilarity of Open Terms |
197
click to vote
CIVR
2008
Springer
15 years 7 months ago
2008
Springer
There is an explosion of community-generated multimedia content available online. In particular, Flickr constitutes a 200-million photo sharing system where users participate foll...
202
click to vote
CIVR
2008
Springer
15 years 7 months ago
2008
Springer
Since the emergence of extensive multimedia data, feature fusion has been more and more important for image and video retrieval, indexing and annotation. Existing feature fusion t...
169
click to vote
INFOSCALE
2007
ACM
15 years 7 months ago
2007
ACM
Problem localization is a critical part of providing crucial system management capabilities to modern distributed environments. One key open challenge is for problem localization ...
155
click to vote
BCS
2008
15 years 7 months ago
2008
Using formal verification for designing hardware designs free from logic design bugs has been an active area of research since the last 15 years. Technology has matured and we hav...
137
click to vote
SIROCCO
2010
15 years 7 months ago
2010
Abstract. This paper concerns graph spanners that approximate multipaths between pair of vertices of an undirected graphs with n vertices. Classically, a spanner H of stretch s for...