Sciweavers

1522 search results - page 231 / 305
» Practical Exception Specifications
Sort
View
TVLSI
2002
95views more  TVLSI 2002»
13 years 8 months ago
Efficient inductance extraction using circuit-aware techniques
We propose two practical approaches for on-chip inductance extraction to obtain a highly sparsified and accurate inverse inductance matrix K. Both approaches differ from previous ...
Haitian Hu, Sachin S. Sapatnekar
ISI
2008
Springer
13 years 8 months ago
A framework for privacy-preserving cluster analysis
Abstract--Releasing person-specific data could potentially reveal sensitive information of individuals. k-anonymization is a promising privacy protection mechanism in data publishi...
Benjamin C. M. Fung, Ke Wang, Lingyu Wang, Mourad ...
SAC
2008
ACM
13 years 8 months ago
The volume in focus: hardware-assisted focus and context effects for volume visualization
In many volume visualization applications there is some region of specific interest where we wish to see fine detail - yet we do not want to lose an impression of the overall pict...
Marcelo Cohen, Ken W. Brodlie, Nick Phillips
EUROMED
2010
13 years 7 months ago
Interactive Itinerary of Heritage Houses in Beirut: Walking Back to the Future
Abstract. The aim of this project paper is to explore the opportunities and challenges of using ICT in the understanding, representation, preservation, management, interpretation o...
Nada El-Khoury, Giovanni De Paoli
JFP
2008
97views more  JFP 2008»
13 years 7 months ago
HM(X) type inference is CLP(X) solving
The HM(X) system is a generalization of the Hindley/Milner system parameterized in the constraint domain X. Type inference is performed by generating constraints out of the progra...
Martin Sulzmann, Peter J. Stuckey