Sciweavers

18 search results - page 3 / 4
» Assertion-based repair of complex data structures
Sort
View
JCST
2010
122views more  JCST 2010»
13 years 4 months ago
Harmonic Field Based Volume Model Construction from Triangle Soup
Surface triangle meshes and volume data are two commonly used representations of digital geometry. Converting from triangle meshes to volume data is challenging, since triangle mes...
Chao-Hui Shen, Guo-Xin Zhang, Yu-Kun Lai, Shi-Min ...
CAD
1998
Springer
13 years 5 months ago
Applying ECA-Rules in DB-based Design Environments
The goal of this paper is to bring together the worlds of design and active databases. Design databases have to provide a powerful data model for complex structured design data as ...
Joachim Reinert, Norbert Ritter
OSDI
2008
ACM
14 years 6 months ago
SQCK: A Declarative File System Checker
The lowly state of the art for file system checking and repair does not match what is needed to keep important data available for users. Current file system checkers, such as e2fs...
Haryadi S. Gunawi, Abhishek Rajimwale, Andrea C. A...
ICRA
2003
IEEE
152views Robotics» more  ICRA 2003»
13 years 11 months ago
3D Modeling of Historic Sites Using Range and Image Data
— Preserving cultural heritage and historic sites is an important problem. These sites are subject to erosion, vandalism, and as long-lived artifacts, they have gone through many...
Peter K. Allen, Ioannis Stamos, Alejandro Troccoli...
NAR
2011
214views Computer Vision» more  NAR 2011»
12 years 8 months ago
DAnCER: Disease-Annotated Chromatin Epigenetics Resource
Chromatin modification (CM) is a set of epigenetic processes that govern many aspects of DNA replication, transcription and repair. CM is carried out by groups of physically inter...
Andrei L. Turinsky, Brian Turner, Rosanne C. Borja...