Sciweavers

6045 search results - page 231 / 1209
» Computable Linearizations of Well-partial-orderings
Sort
View
RT
1995
Springer
13 years 12 months ago
Linear Radiosity with Error Estimation
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 ...
Sumanta N. Pattanaik, Kadi Bouatouch
4OR
2007
103views more  4OR 2007»
13 years 8 months ago
Compact linearization for binary quadratic problems
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...
Leo Liberti
CAAP
1990
13 years 11 months ago
Petri Nets as Models of Linear Logic
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...
Uffe Engberg, Glynn Winskel
RANDOM
1999
Springer
14 years 17 days ago
Linear Consistency Testing
Yonatan Aumann, Johan Håstad, Michael O. Rab...
MFCS
1998
Springer
14 years 16 days ago
Minimum Propositional Proof Length is NP-Hard to Linearly Approximate
Michael Alekhnovich, Samuel R. Buss, Shlomo Moran,...