1317 search results - page 68 / 264 » A Technique for Constructing Developable Surfaces |
SMI
2010
IEEE
14 years 8 months ago
2010
IEEE
—It has recently been shown that if we twist an arbitrary subset of edges of a mesh on an orientable surface, the resulting extended graph rotation system (EGRS) can be used to i...
PICS
1998
14 years 11 months ago
1998
Computer graphic reflection modeling techniques were used to study the surface reflection of paper. Models of the subsurface microstructure of paper were constructed and the refle...
TACAS
2000
Springer
15 years 1 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
JUCS
2008
14 years 10 months ago
2008
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
115
click to vote
AOSD
2011
ACM
14 years 5 months ago
2011
ACM
The domain of operating systems has often been mentioned as an “ideal candidate” for the application of AOP; fundamental policies we find in these systems, such as synchroniz...