8413 search results - page 90 / 1683 » Ordering Problem Subgoals |
WSCG
2003
13 years 9 months ago
2003
The computation of global illumination in a dynamic scene constitutes a real challenge in computer graphics. In radiosity algorithms, this problem is far from being easy, especial...
SIAMJO
2008
13 years 8 months ago
2008
We study the second-order feasibility cone F = {y IRn : My gT y} for given data (M, g). We construct a new representation for this cone and its dual based on the spectral decompo...
LMCS
2007
13 years 8 months ago
2007
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...
ISBI
2009
IEEE
14 years 2 months ago
2009
IEEE
We address the problem of zero-order-free image reconstruction in digital holographic microscopy. We show how the goal can be achieved by confining the object-wave modulation to ...
ECOOP
2003
Springer
14 years 1 months ago
2003
Springer
This paper explains how higher-order hierarchies can be used to handle the expression problem. The expression is concerned with extending both the set of data structures and the s...