Sciweavers

2903 search results - page 160 / 581
» On the univalence of an integral operator
Sort
View
ACSAC
2010
IEEE
15 years 4 months ago
Kells: a protection framework for portable data
Portable storage devices, such as key-chain USB devices, are ubiquitous. These devices are often used with impunity, with users repeatedly using the same storage device in open co...
Kevin R. B. Butler, Stephen E. McLaughlin, Patrick...
ICCAD
2010
IEEE
186views Hardware» more  ICCAD 2010»
15 years 4 months ago
Efficient state space exploration: Interleaving stateless and state-based model checking
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
Malay K. Ganai, Chao Wang, Weihong Li
PAMI
2011
15 years 1 months ago
Overcoming Shadows in 3-Source Photometric Stereo
—Light occlusions are one of the most significant difficulties of photometric stereo methods. When three or more images are available without occlusion, the local surface orien...
Carlos Hernández, George Vogiatzis, Roberto...
PAMI
2011
15 years 1 months ago
Coded Strobing Photography: Compressive Sensing of High Speed Periodic Videos
—We show that, via temporal modulation, one can observe and capture a high-speed periodic video well beyond the abilities of a low-frame-rate camera. By strobing the exposure wit...
Ashok Veeraraghavan, Dikpal Reddy, Ramesh Raskar
SIAMNUM
2011
124views more  SIAMNUM 2011»
15 years 1 months ago
Discrete Compactness for the p-Version of Discrete Differential Forms
In this paper we prove the discrete compactness property for a wide class of p finite element approximations of non-elliptic variational eigenvalue problems in two and three spac...
Daniele Boffi, Martin Costabel, Monique Dauge, Les...