6381 search results - page 373 / 1277 » Alternative Implementation of the C |
200
click to vote
CGF
2000
15 years 7 months ago
2000
We present a new technique to render in real time objects which have part of their high frequency geometric detail encoded in bump maps. It is based on the quantization of normal-...
141
click to vote
CSUR
2000
15 years 7 months ago
2000
Not only the design of complex frameworks is hard, but also the reuse of such artefacts. Furthermore, the internal working of different frameworks is usually not compatible so that...
229
click to vote
IJSEKE
2000
15 years 7 months ago
2000
Software architectures are often claimed to be robust. However, there is no explicit and concrete definition of software architecture robustness. This paper gives a definition of ...
320
click to vote
ENTCS
2002
15 years 7 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
229
click to vote
JODL
2000
15 years 7 months ago
2000
The internet is rapidly becoming the first place for researchers to publish documents, but at present they receive little support in searching, tracking, analyzing or debating conc...