5244 search results - page 87 / 1049 » Structural Complexity of AvgBPP |
108
click to vote
AIPS
2007
15 years 5 months ago
2007
We study the complexity of sequentially-optimal classical planning, and discover new problem classes for whose such optimization is tractable. The results are based on exploiting ...
119
Voted
DAC
2009
ACM
15 years 6 months ago
2009
ACM
In this paper, we propose a novel simulation algorithm for large scale structured power grid networks. The new method formulates the traditional linear system as a special two-dim...
112
Voted
FLAIRS
2000
15 years 4 months ago
2000
With the increasing amount and complexity of data being collected, there is an urgent need to create automated techniques for mining the data. In particular, data being generated ...
148
Voted
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...
110
Voted
DCG
2010
15 years 5 days ago
2010
We show that any family of sets uniformly definable in an ominimal structure has an extended compression scheme of size equal to the number of parameters in the defining formula. ...