5243 search results - page 747 / 1049 » Reasoning About Strategies |
178
click to vote
HICSS
2012
IEEE
14 years 2 months ago
2012
IEEE
Making a city “smart” is emerging as a strategy to mitigate the problems generated by the urban population growth and rapid urbanization. Yet little academic research has spar...
239
click to vote
JMLR
2012
13 years 9 months ago
2012
Given a point set S and an unknown metric d on S, we study the problem of efficiently partitioning S into k clusters while querying few distances between the points. In our model...
169
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Image categorization is undoubtedly one of the most challenging open problems faced in Computer Vision, far from being solved by employing pure visual cues. Recently, additional t...
189
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
The Matching Pursuits (MP) coding method has been employed successfully in video coding. In it, the motion compensated frame difference is decomposed on an overcomplete dictionary...
176
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...