8828 search results - page 1643 / 1766 » Formal methods in practice |
174
Voted
SIGIR
2011
ACM
14 years 6 months ago
2011
ACM
Entities on social systems, such as users on Twitter, and images on Flickr, are at the core of many interesting applications: they can be ranked in search results, recommended to ...
151
click to vote
AAAI
2011
14 years 4 months ago
2011
Information about the spread of crop disease is vital in developing countries, and as a result the governments of such countries devote scarce resources to gathering such data. Un...
155
Voted
INFOCOM
2012
IEEE
13 years 6 months ago
2012
IEEE
—Target counting in sensor-based surveillance systems is an interesting task that potentially could have many important applications in practice. In such a system, each sensor ou...
162
click to vote
PAMI
2012
13 years 6 months ago
2012
— Context is critical for reducing the uncertainty in object detection. However, context modelling is challenging because there are often many different types of contextual infor...
175
click to vote
SIGMETRICS
2012
ACM
13 years 6 months ago
2012
ACM
In a public cloud, bandwidth is traditionally priced in a pay-asyou-go model. Reflecting the recent trend of augmenting cloud computing with bandwidth guarantees, we consider a n...