13603 search results - page 2677 / 2721 » On the Computational Complexity of Cut-Reduction |
SIGDOC
2009
ACM
15 years 4 months ago
2009
ACM
Texts are the media content primarily available on Web sites and applications. However, this heavy use of texts creates an accessibility barrier to those who cannot read fluently...
SIGIR
2009
ACM
15 years 4 months ago
2009
ACM
As an indispensable technique in the field of Information Filtering, Recommender System has been well studied and developed both in academia and in industry recently. However, mo...
ASPLOS
2010
ACM
15 years 4 months ago
2010
ACM
In this paper we evaluate the atomic region compiler abstraction by incorporating it into a commercial system. We find that atomic regions are simple and intuitive to integrate i...
FDL
2008
IEEE
15 years 4 months ago
2008
IEEE
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
104
click to vote
ICDM
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents a data oriented approach to modeling the complex computing systems, in which an ensemble of correlation models are discovered to represent the system status. I...