Sciweavers

4131 search results - page 243 / 827
» Compactness in Topology and Computation
Sort
View
CGI
2004
IEEE
15 years 10 months ago
Range Image Registration via Probability Field
This paper presents a powerful variant of the ICP (Iterative Closest Point) algorithm for registering range images using a probability field. The probability field (p-field) repre...
Haitao Zhang, Olaf A. Hall-Holt, Arie E. Kaufman
DAC
2010
ACM
15 years 10 months ago
SRAM-based NBTI/PBTI sensor system design
NBTI has been a major aging mechanism for advanced CMOS technology and PBTI is also looming as a big concern. This work first proposes a compact on-chip sensor design that tracks ...
Zhenyu Qi, Jiajing Wang, Adam C. Cabe, Stuart N. W...
AAAI
2008
15 years 9 months ago
Loop Formulas for Logic Programs with Arbitrary Constraint Atoms
We formulate loop formulas for logic programs with arbitrary constraint atoms, for the semantics based on conditional satisfaction. This provides a method for answer set computati...
Jia-Huai You, Guohua Liu
DAC
2008
ACM
15 years 8 months ago
Keeping hot chips cool: are IC thermal problems hot air?
level of accuracy in IC package abstraction (compact models) to ensure robust thermal design. An overarching goal must be to reduce power consumption per function through smart pro...
Ruchir Puri, Devadas Varma, Darvin Edwards, Alan J...
DSVIS
2008
Springer
15 years 8 months ago
Towards Characterizing Visualizations
The ability to characterize visualizations would bring several benefits to the design process. It would help designers to assess their designs, reuse existing designs in new contex...
Christophe Hurter, Stéphane Conversy