7195 search results - page 421 / 1439 » On Computing Power |
153
click to vote
EATCS
2002
15 years 6 months ago
2002
We explain the essence of K. Mulmuley and M. Sohoni, "Geometric Complexity Theory I: An Approach to the P vs. NP and Related Problems" [MS02] for a general complexity-the...
197
click to vote
ACL
2010
15 years 4 months ago
2010
A characterization of the expressive power of synchronous tree-adjoining grammars (STAGs) in terms of tree transducers (or equivalently, synchronous tree substitution grammars) is...
157
click to vote
DAC
1991
ACM
15 years 10 months ago
1991
ACM
REX is a program that extracts parasitic resistance and capacitance values for nodes in VLSI layouts. REX also performs network serial and parallel simplifications. Two types of n...
138
click to vote
APL
1992
ACM
15 years 11 months ago
1992
ACM
Ready access to computing power through APL opens new avenues for mathematical experimentation and new strategies for developing concepts in the teaching of basic engineering math...
158
click to vote
COLING
2008
15 years 8 months ago
2008
Translation model size is growing at a pace that outstrips improvements in computing power, and this hinders research on many interesting models. We show how an algorithmic scalin...