Sciweavers

1086 search results - page 108 / 218
» Programming by Numbers: A Programming Method for Novices
Sort
View
SI3D
2006
ACM
16 years 7 days ago
Multi-scale line drawings from 3D meshes
We present an effective method for automatically selecting the appropriate scale of shape features that are depicted when rendering a 3D mesh in the style of a line drawing. The m...
Alex Ni, Kyuman Jeong, Seungyong Lee, Lee Markosia...
CC
2004
Springer
115views System Software» more  CC 2004»
15 years 11 months ago
Periodic Polyhedra
This paper presents a new method for computing the integer hull of a parameterized rational polyhedron by introducing the concept of periodic polyhedron. Besides concerning general...
Benoît Meister
KBSE
1999
IEEE
15 years 10 months ago
An Integration of Deductive Retrieval into Deductive Synthesis
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
Bernd Fischer 0002, Jon Whittle
OOPSLA
1999
Springer
15 years 10 months ago
Practical Experience with an Application Extractor for Java
Java programs are routinely transmitted over low-bandwidth network connections as compressed class le archives (i.e., zip les and jar les). Since archive size is directly proporti...
Frank Tip, Chris Laffra, Peter F. Sweeney, David S...
JMLC
2000
Springer
15 years 10 months ago
Composable Message Semantics in Oberon
Most object-oriented languages offer a limited number of invocation semantics. At best, they define a default mode of synchronous invocation, plus some keywords to express addition...
Markus Hof