6020 search results - page 287 / 1204 » A New Approach to Model Counting |
233
click to vote
KDD
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we propose a novel probabilistic approach to summarize frequent itemset patterns. Such techniques are useful for summarization, post-processing, and end-user interp...
221
click to vote
ASM
2010
ASM
16 years 2 months ago
2010
ASM
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...
183
click to vote
FDL
2006
IEEE
16 years 1 months ago
2006
IEEE
Future mobile devices will be based on heterogeneous multiprocessing platforms accommodating several currently stand-alone applications. Increasing complexity of both application ...
206
click to vote
SDM
2009
SIAM
16 years 4 months ago
2009
SIAM
Automotive companies are forced to continuously extend and improve their product line-up. However, increasing diversity, higher design complexity, and shorter development cycles c...
167
click to vote
IPPS
2003
IEEE
16 years 16 days ago
2003
IEEE
Advances across many fields of study are driving changes in the basic nature of scientific computing applications. Scientists have recognized a growing need to study phenomena b...