2620 search results - page 248 / 524 » Qualities in Possible Worlds |
147
click to vote
EGH
2004
Springer
16 years 4 days ago
2004
Springer
This paper discusses how to squeeze volume rendering into as few bits per operation as possible while still retaining excellent image quality. For each of the typical volume rende...
166
click to vote
EUC
2004
Springer
16 years 4 days ago
2004
Springer
A situation-aware middleware provides standardized communication protocols to interoperate an application with others under dynamically changing situations. Since the application n...
152
click to vote
EUROGP
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Genr8 is a surface design tool for architects. It uses a grammarbased generative growth model that produces surfaces with an organic quality. Grammatical Evolution is use...
153
click to vote
FMCAD
2004
Springer
16 years 4 days ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...
161
Voted
PROFES
2004
Springer
16 years 3 days ago
2004
Springer
Software measurement forms a sound basis for monitoring software development process and software product quality. Implementing software measurement is, however, difficult and crea...