Sciweavers

2231 search results - page 197 / 447
» Hierarchical back-face computation
Sort
View
CADE
2006
Springer
15 years 10 months ago
Interpolation in Local Theory Extensions
In this paper we study interpolation in local extensions of a base theory. We identify situations in which it is possible to obtain interpolants in a hierarchical manner, by using ...
Viorica Sofronie-Stokkermans
EUROCRYPT
2006
Springer
15 years 10 months ago
Compact Group Signatures Without Random Oracles
We present the first efficient group signature scheme that is provably secure without random oracles. We achieve this result by combining provably secure hierarchical signatures i...
Xavier Boyen, Brent Waters
AAAI
2008
15 years 9 months ago
Visualization of Large-Scale Weighted Clustered Graph: A Genetic Approach
In this paper, a bottom-up hierarchical genetic algorithm is proposed to visualize clustered data into a planar graph. To achieve global optimization by accelerating local optimiz...
Jiayu Zhou, Youfang Lin, Xi Wang
MVA
1992
15 years 7 months ago
A New Parallel Scheme for Robust Segmentation of Textured Images
This paper proposes a parallel schemelalgorithm which is based on statistical analyses to fulfilthe robust segmentation of nature texture image. The whole scheme is constructed as...
Xudong Guan, Jian-qin Liu, Nanning Zheng
HPCA
2005
IEEE
16 years 7 months ago
Improving Multiple-CMP Systems Using Token Coherence
Improvements in semiconductor technology now enable Chip Multiprocessors (CMPs). As many future computer systems will use one or more CMPs and support shared memory, such systems ...
Michael R. Marty, Jesse D. Bingham, Mark D. Hill, ...