13603 search results - page 226 / 2721 » On the Computational Complexity of Cut-Reduction |
185
click to vote
PUC
2002
15 years 6 months ago
2002
One difficulty for interface design on mobile computers is lack of screen space caused by their small size. This paper describes a small pilot study and two formal experiments tha...
180
Voted
IJFCS
2010
15 years 4 months ago
2010
We investigate the computational power of parallel models with directed reconfigurable buses and with shared memory. Based on feasibility considerations present in the literature,...
176
click to vote
VLSID
1999
IEEE
15 years 11 months ago
1999
IEEE
We describe an improved iterationless approach for computing the effective capacitance of an interconnect load at a driving gate output. The speed and accuracy of our approach mak...
159
click to vote
ISPD
1998
ACM
15 years 10 months ago
1998
ACM
We describe a novel iterationless approach for computing the effective capacitance of an interconnect load at a driving gate output. Our new approach is considerably faster than p...
208
Voted
DALT
2009
Springer
15 years 10 months ago
2009
Springer
We propose a framework to compute the utility of a proposal w.r.t. a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formulas ...