6020 search results - page 217 / 1204 » A New Approach to Model Counting |
218
Voted
SOSP
2003
ACM
16 years 1 months ago
2003
ACM
This paper presents a new approach called model-carrying code (MCC) for safe execution of untrusted code. At the heart of MCC is the idea that untrusted code comes equipped with a...
170
click to vote
PAMI
2008
15 years 4 months ago
2008
We investigate whether dimensionality reduction using a latent generative model is beneficial for the task of weakly supervised scene classification. In detail we are given a set ...
158
Voted
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
163
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Accurate classification into genotypes is critical in understanding evolution of divergent viruses. Here we report a new approach, MuLDAS, which classifies a query seq...
213
click to vote
SIGMOD
2005
ACM
16 years 5 months ago
2005
ACM
Existing energy-efficient approaches to in-network aggregation in sensor networks can be classified into two categories, tree-based and multi-path-based, with each having unique s...