2214 search results - page 86 / 443 » Complexity of Reasoning |
150
click to vote
ASPLOS
1987
ACM
15 years 9 months ago
1987
ACM
One potentialdisadvantage of a machine with a reduced instruction. set is that object programs may be substantially larger than those for a machine with a richer, more complex ins...
186
click to vote
CIE
2007
Springer
16 years 11 days ago
2007
Springer
In the framework of parameterized complexity, exploring how one parameter affects the complexity of a different parameterized (or unparameterized problem) is of general interest....
177
click to vote
EATCS
1998
15 years 5 months ago
1998
Experiments have shown [2] that we can only memorize images up to a certain complexity level, after which, instead of memorizing the image itself, we, sort of, memorize a probabil...
201
click to vote
PODC
2012
ACM
13 years 8 months ago
2012
ACM
Multi-party communication complexity involves distributed computation of a function over inputs held by multiple distributed players. A key focus of distributed computing research...
140
click to vote
LICS
2008
IEEE
16 years 17 days ago
2008
IEEE
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well a...