Sciweavers

1063 search results - page 82 / 213
» Order and Negation as Failure
Sort
View
ICCAD
2003
IEEE
131views Hardware» more  ICCAD 2003»
14 years 7 months ago
LRU-SEQ: A Novel Replacement Policy for Transition Energy Reduction in Instruction Caches
Leakage energy will be the major energy consumer in future deep sub-micron designs. Especially the memory sub-system of future SOCs will be negatively affected by this trend. In o...
Praveen Kalla, Xiaobo Sharon Hu, Jörg Henkel
WIAMIS
2009
IEEE
14 years 4 months ago
3D shape from multi-camera views by error projection minimization
Traditional shape from silhouette methods compute the 3D shape as the intersection of the back-projected silhouettes in the 3D space, the so called visual hull. However, silhouett...
Gloria Haro, Montse Pardàs
TRUSTBUS
2009
Springer
14 years 4 months ago
A Formalization of HIPAA for a Medical Messaging System
Abstract. The complexity of regulations in healthcare, financial services, and other industries makes it difficult for enterprises to design and deploy effective compliance syste...
Peifung E. Lam, John C. Mitchell, Sharada Sundaram
ICASSP
2008
IEEE
14 years 4 months ago
Signal masking in Gaussian channels
We consider the problem of modifying the noise properties of a channel in order to make the source as indecipherable as possible given the output. Applications include jamming com...
John A. Quinn, Christopher K. I. Williams
CSL
2007
Springer
14 years 4 months ago
Forest Expressions
We define regular expressions for unranked trees (actually, ordered sequences of unranked trees, called forests). These are compared to existing regular expressions for trees. On ...
Mikolaj Bojanczyk