1471 search results - page 231 / 295 » Adaptive Discriminative Generative Model and Its Application... |
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
135
click to vote
SIGMETRICS
1996
ACM
15 years 4 months ago
1996
ACM
This paper describes Embra, a simulator for the processors, caches, and memory systems of uniprocessors and cache-coherent multiprocessors. When running as part of the SimOS simul...
117
click to vote
VRST
1999
ACM
15 years 4 months ago
1999
ACM
Augmented Reality overlays computer generated images over the real world. To correctly depict spatial relations between real and virtual objects, these images have to be generated...
112
click to vote
ISSRE
2000
IEEE
15 years 4 months ago
2000
IEEE
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...
117
click to vote
ACMMSP
2005
ACM
15 years 5 months ago
2005
ACM
In this work we investigate the impact of evolving memory system features, such as large on-chip caches, automatic prefetch, and the growing distance to main memory on 3D stencil ...