17505 search results - page 3492 / 3501 » Use Cases as Workflows |
140
click to vote
PLDI
2011
ACM
14 years 2 months ago
2011
ACM
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...
130
click to vote
SDM
2011
SIAM
14 years 2 months ago
2011
SIAM
A binary matrix is fully nested if its columns form a chain of subsets; that is, any two columns are ordered by the subset relation, where we view each column as a subset of the r...
121
click to vote
SIGMETRICS
2011
ACM
14 years 2 months ago
2011
ACM
The massive data streams observed in network monitoring, data processing and scientific studies are typically too large to store. For many applications over such data, we must ob...
120
click to vote
AAAI
2011
13 years 11 months ago
2011
Utility elicitation is an important component of many applications, such as decision support systems and recommender systems. Such systems query users about their preferences and ...
100
click to vote
AAAI
2011
13 years 11 months ago
2011
Externalities are recognized to exist in the sponsored search market, where two co-located ads compete for user attention. Existing work focuses on the effect of another ad on th...