3108 search results - page 294 / 622 » The Elements of Computer Credibility |
173
click to vote
SIGGRAPH
1995
ACM
15 years 10 months ago
1995
ACM
We proposean approachfor modeling surfacedetails such as scales, feathers, or thorns. These types of cellular textures require a representation with more detail than texture-mappi...
164
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
This paper describes the formal modeling and analysis of a design for a flash-based filesystem in Alloy. We model the basic operations of a filesystem as well as features that are ...
154
click to vote
CSCWD
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a simple and novel structure representation supporting the assembly and disassembly planning of electromechanical products. The proposed Relationship Matrix de...
151
click to vote
BCSHCI
2007
15 years 8 months ago
2007
This paper briefly shows how product designers as well as information system designers may use the habitat framework as a tool to inform their understanding of the pervasive compu...
169
click to vote
CCCG
2008
15 years 8 months ago
2008
We are interested in the following mesh refinement problem: given an input set of points P in Rd , we would like to produce a good-quality triangulation by adding new points in P....