Sciweavers

2438 search results - page 176 / 488
» Consistent Gradient Operators
Sort
View
STORAGESS
2006
ACM
15 years 8 months ago
Secure deletion myths, issues, and solutions
This paper has three goals. (1) We try to debunk several held misconceptions about secure deletion: that encryption is an ideal solution for everybody, that existing data-overwrit...
Nikolai Joukov, Harry Papaxenopoulos, Erez Zadok
VISUALIZATION
2005
IEEE
15 years 8 months ago
Reconstructing Manifold and Non-Manifold Surfaces from Point Clouds
This paper presents a novel approach for surface reconstruction from point clouds. The proposed technique is general in the sense that it naturally handles both manifold and non-m...
Jianning Wang, Manuel M. Oliveira, Arie E. Kaufman
LICS
2003
IEEE
15 years 7 months ago
Structural Subtyping of Non-Recursive Types is Decidable
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...
Viktor Kuncak, Martin C. Rinard
DEXA
2009
Springer
141views Database» more  DEXA 2009»
15 years 7 months ago
Peer-to-Peer Semantic Wikis
Abstract. Wikis have demonstrated how it is possible to convert a community of strangers into a community of collaborators. Semantic wikis have opened an interesting way to mix web...
Hala Skaf-Molli, Charbel Rahhal, Pascal Molli
KBSE
2000
IEEE
15 years 6 months ago
A DSL Approach to Improve Productivity and Safety in Device Drivers Development
Although peripheral devices come out at a frantic pace and require fast releases of drivers, little progress has been made to improve the development of drivers. Too often, this d...
Laurent Réveillère, Fabrice Mé...