3238 search results - page 418 / 648 » On the Computational Interpretation of Negation |
211
click to vote
FSTTCS
2005
Springer
16 years 2 days ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...
158
click to vote
RT
2005
Springer
16 years 1 days ago
2005
Springer
This paper proposes a real-time method to compute multiple scattering in non-homogeneous participating media having general phase functions. The volume represented by a particle s...
209
click to vote
STACS
2005
Springer
16 years 1 days ago
2005
Springer
Cycle covering is a well-studied problem in computer science. In this paper, we develop approximation algorithms for variants of cycle covering problems which bound the size and/o...
175
click to vote
ACMSE
2004
ACM
15 years 12 months ago
2004
ACM
Real-time embedded systems are time-critical systems that are hard to implement as compared to traditional commercial software, due to the large number of conflicting requirements...
173
click to vote
SAC
2004
ACM
15 years 12 months ago
2004
ACM
This paper presents a local search algorithm based on variable depth search, called the k-opt local search, for the maximum clique problem. The k-opt local search performs add and...