7167 search results - page 1432 / 1434 » A Technique for Invariant Generation |
107
click to vote
INFOCOM
2012
IEEE
13 years 1 days ago
2012
IEEE
Abstract—Opportunistic wireless channel access by nonlicensed users has emerged as a promising solution for addressing the bandwidth scarcity challenge. Auctions represent a natu...
103
click to vote
ISSTA
2012
ACM
13 years 1 days ago
2012
ACM
Identifying and fixing defects is a crucial and expensive part of the software lifecycle. Measuring the quality of bug-fixing patches is a difficult task that affects both func...
110
click to vote
PAMI
2012
13 years 1 days ago
2012
—We propose a probabilistic formulation of joint silhouette extraction and 3D reconstruction given a series of calibrated 2D images. Instead of segmenting each image separately i...
108
click to vote
KDD
2012
ACM
13 years 1 days ago
2012
ACM
Heterogeneous information networks that contain multiple types of objects and links are ubiquitous in the real world, such as bibliographic networks, cyber-physical networks, and ...
101
click to vote
KDD
2012
ACM
13 years 1 days ago
2012
ACM
In recent years, mining frequent itemsets over uncertain data has attracted much attention in the data mining community. Unlike the corresponding problem in deterministic data, th...