520 search results - page 58 / 104 » New Complexity Results for Classical Planning Benchmarks |
104
Voted
ATS
1997
IEEE
15 years 4 months ago
1997
IEEE
Testing circuits which do not include a global reset signal requires either complex ATPG algorithms based on 9- or even 256-valued algebras, or some suitable method to generate in...
98
Voted
CORR
2006
Springer
15 years 18 days ago
2006
Springer
This paper presents a new type analysis for logic programs. The analysis is performed with a priori type definitions; and type expressions are formed from a fixed alphabet of type...
140
click to vote
SOCO
2012
Springer
13 years 8 months ago
2012
Springer
Abstract Population-based meta-heuristics are algorithms that can obtain very good results for complex continuous optimization problems in a reduced amount of time. These search al...
117
click to vote
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper presents a new and retargetable method to identify patterns of instructions with direct support in coarsegrained processing elements (PEs). The method uses a three-addr...
JMLR
2010
14 years 7 months ago
2010
A variational level set method is developed for the supervised classification problem. Nonlinear classifier decision boundaries are obtained by minimizing an energy functional tha...