13603 search results - page 104 / 2721 » On the Computational Complexity of Cut-Reduction |
171
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Adaptation of system parameters is acknowledged as a requirement to scalable and dependable distributed systems. Unfortunately, adaptation cannot be effective when provided solely...
172
click to vote
HCI
2009
15 years 3 months ago
2009
MR-mirror is a novel Mixed-Reality (MR) display system created by using real and virtual mirrors. It merges real visual information reflected on a real mirror and a virtual one dis...
189
click to vote
COMCOM
2011
15 years 1 months ago
2011
Internet topology mapping studies utilize large scale topology maps to analyze various characteristics of the Internet. IP alias resolution, the task of mapping IP addresses to th...
156
click to vote
COMBINATORICS
2006
15 years 6 months ago
2006
The linear complexity of a matrix is a measure of the number of additions, subtractions, and scalar multiplications required to multiply that matrix and an arbitrary vector. In th...
131
click to vote
STOC
1992
ACM
15 years 10 months ago
1992
ACM
Paul Beame Joan Lawry Department of Computer Science and Engineering, FR-35 University of Washington Seattle, Washington 98195 Our main result is the demonstration of a Boolean fu...