468 search results - page 10 / 94 » One-Way Functions in Complexity Theory |
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
Automakers are still facing an increasing complexity in vehicle requirements with regard to their EE systems. This complexity is not only caused by innovations, which are being pr...
ATAL
2004
Springer
15 years 4 months ago
2004
Springer
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given...
77
Voted
IJCAI
1989
15 years 2 days ago
1989
This paper deals with a well known problem in AI planning: detecting and resolving conflicts in nonlinear plans. We sketch a theory of restricted conflict detection and resolution...
86
Voted
CORR
2004
Springer
14 years 10 months ago
2004
Springer
The elementary theories of Shannon information and Kolmogorov complexity are cmpared, the extent to which they have a common purpose, and where they are fundamentally different. T...
85
Voted
CIE
2008
Springer
15 years 27 days ago
2008
Springer
There are many ways to define complexity in logic. In finite model theory, it is the complexity of describing properties, whereas in proof complexity it is the complexity of provin...