Sciweavers

12289 search results - page 2128 / 2458
» computing 2006
Sort
View
SIGIR
2006
ACM
15 years 10 months ago
LDA-based document models for ad-hoc retrieval
Search algorithms incorporating some form of topic model have a long history in information retrieval. For example, cluster-based retrieval has been studied since the 60s and has ...
Xing Wei, W. Bruce Croft
SIGMETRICS
2006
ACM
116views Hardware» more  SIGMETRICS 2006»
15 years 10 months ago
Applying architectural vulnerability Analysis to hard faults in the microprocessor
In this paper, we present a new metric, Hard-Fault Architectural Vulnerability Factor (H-AVF), to allow designers to more effectively compare alternate hard-fault tolerance scheme...
Fred A. Bower, Derek Hower, Mahmut Yilmaz, Daniel ...
SIGSOFT
2006
ACM
15 years 10 months ago
Interpolation for data structures
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
Deepak Kapur, Rupak Majumdar, Calogero G. Zarba
SMA
2006
ACM
150views Solid Modeling» more  SMA 2006»
15 years 10 months ago
Conformal virtual colon flattening
We present an efficient colon flattening algorithm using conformal structure, which is angle-preserving and minimizes the global distortion. Moreover, our algorithm is general w...
Wei Hong, Xianfeng Gu, Feng Qiu, Miao Jin, Arie E....
SMA
2006
ACM
121views Solid Modeling» more  SMA 2006»
15 years 10 months ago
Duplicate-skins for compatible mesh modelling
As compatible meshes play important roles in many computeraided design applications, we present a new approach for modelling compatible meshes. Our compatible mesh modelling metho...
Yu Wang, Charlie C. L. Wang, Matthew Ming-Fai Yuen
« Prev « First page 2128 / 2458 Last » Next »