5550 search results - page 1009 / 1110 » Different Approaches to Proof Systems |
167
click to vote
CIVR
2003
Springer
15 years 11 months ago
2003
Springer
We present an algorithm for video retrieval that fuses the decisions of multiple retrieval agents in both text and image modalities. While the normalization and combination of evi...
152
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
Industry vendors hesitate to disseminate proprietary applications to academia and third party vendors. By consequence, the benchmarking process is typically driven by standardized...
167
click to vote
CSC
2008
15 years 8 months ago
2008
Many applications of Mathematical Physics and Engineering are connected with the Laplacian, however, the most part of BVP relevant to the Laplacian are solved in explicit form onl...
163
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
There is a number of recent research lines addressing complex negotiations in highly rugged utility spaces. However, most of them focus on overcoming the problems imposed by the c...
192
click to vote
MM
2010
ACM
15 years 6 months ago
2010
ACM
In Web 2.0, users have generated and shared massive amounts of resources in various media formats, such as news, blogs, audios, photos and videos. The abundance and diversity of t...