16616 search results - page 3243 / 3324 » Extending Extended Vacuity |
148
click to vote
ECCC
2007
15 years 5 months ago
2007
We propose a proof-theoretic approach for gaining evidence that certain parameterized problems are not fixed-parameter tractable. We consider proofs that witness that a given pro...
161
click to vote
ECCC
2007
15 years 5 months ago
2007
A central line of research in the area of PCPs is devoted to constructing short PCPs. In this paper, we show that if we allow an additional interactive verification phase, with v...
145
click to vote
JIB
2006
15 years 5 months ago
2006
Alternative splicing is one of the most important mechanisms to generate a large number of mRNA and protein isoforms from a small number of genes. Its study became one of the hot ...
152
click to vote
KI
2008
Springer
15 years 5 months ago
2008
Springer
ed from context by seeing an explanation inferentially, much in the same way that early expert systems saw an explanation as chaining of inferences. This approach omitted, for the ...
139
click to vote
JOC
2006
15 years 5 months ago
2006
The development of precise definitions of security for encryption, as well as a detailed understanding of their relationships, has been a major area of research in modern cryptogr...