15073 search results - page 2651 / 3015 » Probabilistic algorithms for computing resultants |
154
Voted
ICTAC
2010
Springer
15 years 2 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
132
Voted
MOBIHOC
2010
ACM
15 years 2 months ago
2010
ACM
Recent years have witnessed the emergence of shared sensor networks as integrated infrastructure for multiple applications. It is important to allocate multiple applications in a ...
154
click to vote
CVPR
2011
IEEE
15 years 2 days ago
2011
IEEE
Datasets are an integral part of contemporary object recognition research. They have been the chief reason for the considerable progress in the field, not just as source of large...
141
click to vote
WWW
2011
ACM
14 years 11 months ago
2011
ACM
Social hierarchy and stratification among humans is a well studied concept in sociology. The popularity of online social networks presents an opportunity to study social hierarch...
230
Voted
SIAMIS
2010
14 years 11 months ago
2010
Markov random field (MRF) models, including conditional random field models, are popular in computer vision. However, in order to be computationally tractable, they are limited to ...