15792 search results - page 2939 / 3159 » Computational Abstraction Steps |
136
Voted
AAAI
2010
15 years 1 months ago
2010
This paper presents the Topic-Aspect Model (TAM), a Bayesian mixture model which jointly discovers topics and aspects. We broadly define an aspect of a document as a characteristi...
112
Voted
CCGRID
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Multi-core processors with accelerators are becoming commodity components for high-performance computing at scale. While accelerator-based processors have been studied in...
91
Voted
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...
117
Voted
DEBS
2008
ACM
15 years 1 months ago
2008
ACM
Availability of an overlay network is a necessary condition for event delivery in event based systems. The availability of the overlay links depends on the underlying physical net...
121
click to vote
CRYPTO
2010
Springer
15 years 1 months ago
2010
Springer
The Virtual Black Box (VBB) property for program obfuscators provides a strong guarantee: Anything computable by an efficient adversary given the obfuscated program can also be co...