6045 search results - page 231 / 1209 » Computable Linearizations of Well-partial-orderings |
112
click to vote
RT
1995
Springer
15 years 7 months ago
1995
Springer
We present a simple and inexpensive method for computing the estimates of error in a hierarchical linear radiosity method. Similar to the approach used in 1 for constant radiosity ...
119
click to vote
4OR
2007
15 years 4 months ago
2007
Abstract We show that a well-known linearization technique initially proposed for quadratic assignment problems can be generalized to a broader class of quadratic 0-1 mixed-integer...
132
click to vote
CAAP
1990
15 years 7 months ago
1990
The chief purpose of this paper is to appraise the feasibility of Girard’s linear logic as a specification language for parallel processes. To this end we propose an interpreta...
MFCS
1998
Springer
15 years 8 months ago
1998
Springer
