3571 search results - page 149 / 715 » Cohen and Set Theory |
175
click to vote
ECCC
2008
15 years 6 months ago
2008
Any proof of P = NP will have to overcome two barriers: relativization and natural proofs. Yet over the last decade, we have seen circuit lower bounds (for example, that PP does n...
172
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
In [1], we presented the algebraic signal processing theory, an axiomatic and general framework for linear signal processing. The basic concept in this theory is the signal model d...
192
click to vote
IJCINI
2007
15 years 6 months ago
2007
: Cognitive informatics (CI) studies the natural intelligence and internal information processing mechanisms of the brain, as well as the processes involved in perception and cogni...
160
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
MaLARea (a Machine Learner for Automated Reasoning) is a simple metasystem iteratively combining deductive Automated Reasoning tools (now the E and the SPASS ATP systems) with a m...
265
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
The need for high availability and performance in data management systems has been fueling a long running interest in database replication from both academia and industry. However...