9412 search results - page 1487 / 1883 » An aspect-oriented generative approach |
173
click to vote
RT
2005
Springer
16 years 9 days ago
2005
Springer
This paper describes a novel extension of the photon mapping algorithm, capable of handling both volume multiple inelastic scattering and curved light paths simultaneously. The ex...
191
click to vote
SEKE
2005
Springer
16 years 9 days ago
2005
Springer
Design combinatorial theory for test-case generation has been used successfully in the past. It is useful in optimizing test cases as it is practically impossible to exhaustively t...
149
click to vote
TACAS
2005
Springer
16 years 9 days ago
2005
Springer
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...
160
click to vote
UML
2005
Springer
16 years 9 days ago
2005
Springer
In Model Integrated Computing, it is often desirable to evaluate different design alternatives as they relate to issues of scalability. A typical approach to address scalability is...
222
click to vote
VLSM
2005
Springer
16 years 9 days ago
2005
Springer
We present a computationally efficient segmentationrestoration method, based on a probabilistic formulation, for the joint estimation of the label map (segmentation) and the para...