13603 search results - page 236 / 2721 » On the Computational Complexity of Cut-Reduction |
159
click to vote
JCSS
2006
15 years 6 months ago
2006
We introduce the probabilistic class SBP which is defined in a BPP-like manner. This class emerges from BPP by keeping the promise of a probability gap but decreasing the probabil...
154
click to vote
JMIV
2006
15 years 6 months ago
2006
Studying large deformations with a Riemannian approach has been an efficient point of view to generate metrics between deformable objects, and to provide accurate, non ambiguous an...
146
click to vote
JSA
2006
15 years 6 months ago
2006
This paper proposes a new concurrent data structure, called parallel hash table, for synchronizing the access of multiple threads to resources stored in a shared buffer. We prove ...
157
Voted
CANDC
2002
ACM
15 years 6 months ago
2002
ACM
In this paper I will outline some of the practical experiences and theoretical concerns that have informed some 15 years of research into the relationship between human creativity...
178
click to vote
SIGCSE
2002
ACM
15 years 6 months ago
2002
ACM
Most courses on Discrete Mathematics are designed to emphasize problem solving, in general. When the goal is to cover the content, the learning and understanding takes a second pl...