932 search results - page 174 / 187 » Verifying Progress in Timed Systems |
MVA
2002
13 years 7 months ago
2002
We introduce an image retrieval method for searchingan image database by using a query image that has similarity in its global and/or regional image contents to the intended targe...
ICDE
2011
IEEE
12 years 11 months ago
2011
IEEE
MapReduce is a computing paradigm that has gained a lot of popularity as it allows non-expert users to easily run complex analytical tasks at very large-scale. At such scale, task...
ASSETS
2004
ACM
14 years 1 months ago
2004
ACM
We report here on our progress on a project first described at the ASSETS 2002 conference. At that time, we had developed a prototype system in which a proxy server intermediary w...
AI
1999
Springer
13 years 7 months ago
1999
Springer
Coalition formation is a key topic in multiagent systems. One may prefer a coalition structure that maximizes the sum of the values of the coalitions, but often the number of coal...
IJCV
2010
13 years 6 months ago
2010
While research on articulated human motion and pose estimation has progressed rapidly in the last few years, there has been no systematic quantitative evaluation of competing meth...