6020 search results - page 1113 / 1204 » A New Approach to Model Counting |
173
click to vote
ICSE
2012
IEEE-ACM
13 years 6 months ago
2012
IEEE-ACM
—To survive and succeed, software projects need to attract and retain contributors. We model the individual’s chances to become a valuable contributor through her capacity, wil...
153
click to vote
MSWIM
2009
ACM
15 years 11 months ago
2009
ACM
The unlicensed 60 GHz band brings the promise of multi-gigabit data rates to support new applications such as high definition video over wireless links. Signal propagation in the...
158
click to vote
CVPR
2003
IEEE
16 years 6 months ago
2003
IEEE
Local feature methods suitable for image feature based object recognition and for the estimation of motion and structure are composed of two steps, namely the `where' and `wh...
167
click to vote
KDD
2009
ACM
16 years 5 months ago
2009
ACM
The explosion of user-generated content on the Web has led to new opportunities and significant challenges for companies, that are increasingly concerned about monitoring the disc...
180
Voted
ICDCS
2008
IEEE
15 years 11 months ago
2008
IEEE
Distributed stream processing systems (DSPSs) have many important applications such as sensor data analysis, network security, and business intelligence. Failure management is ess...