Sciweavers

4762 search results - page 598 / 953
» About the use of protein models
Sort
View
FTCS
1998
79views more  FTCS 1998»
15 years 8 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
JEI
2007
90views more  JEI 2007»
15 years 6 months ago
Accelerating spectral-based color separation within the Neugebauer subspace
Spectral separation is the process of obtaining printer control values to reproduce a given spectral reflectance. Given a multispectral image where each pixel represents a spectra...
Philipp Urban, Mitchell R. Rosen, Roy S. Berns
205
Voted
CORR
2011
Springer
211views Education» more  CORR 2011»
14 years 10 months ago
Labeling 3D scenes for Personal Assistant Robots
—Inexpensive RGB-D cameras that give an RGB image together with depth data have become widely available. We use this data to build 3D point clouds of a full scene. In this paper,...
Hema Swetha Koppula, Abhishek Anand, Thorsten Joac...
COSIT
2009
Springer
179views GIS» more  COSIT 2009»
16 years 1 months ago
An Algebraic Approach to Image Schemas for Geographic Space
Formal models of geographic space should support reasoning about its static and dynamic properties, its objects, their behaviors, and the relationships between them. Image schemas,...
Lisa Walton, Michael F. Worboys
IPPS
2002
IEEE
15 years 11 months ago
Compression-Domain Parallel Rendering
Three dimensional triangle mesh is the dominant representation used in parallel rendering of 3D geometric models. However, explosive growth in the complexity of the mesh-based 3D ...
Tulika Mitra, Tzi-cker Chiueh