6020 search results - page 614 / 1204 » A New Approach to Model Counting |
201
click to vote
IVC
2006
15 years 7 months ago
2006
This paper describes a fully automatic content-based approach for browsing and retrieval of MPEG-2 compressed video. The first step of the approach is the detection of shot bounda...
199
Voted
TCS
2010
15 years 5 months ago
2010
We present a new approach for an average-case analysis of algorithms and data structures that supports a non-uniform distribution of the inputs and is based on the maximum likelih...
228
Voted
DEXA
2009
Springer
16 years 1 months ago
2009
Springer
Dimension hierarchies represent a substantial part of the data warehouse model. Indeed they allow decision makers to examine data at different levels of detail with On-Line Analyt...
208
click to vote
SIGMOD
2003
ACM
16 years 7 months ago
2003
ACM
Schema matching is a critical problem for integrating heterogeneous information sources. Traditionally, the problem of matching multiple schemas has essentially relied on finding ...
211
Voted
ENTCS
2006
15 years 7 months ago
2006
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...