13603 search results - page 389 / 2721 » On the Computational Complexity of Cut-Reduction |
216
click to vote
RECOMB
2006
Springer
16 years 8 months ago
2006
Springer
mRNA molecules are folded in the cells and therefore many of their substrings may actually be inaccessible to protein and microRNA binding. The need to apply an accessability crite...
200
click to vote
FOCS
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a proof-theoretic approach for gaining evidence that certain parameterized problems are not fixedparameter tractable. We consider proofs that witness that a given prop...
218
click to vote
ICCV
2007
IEEE
16 years 9 months ago
2007
IEEE
Many recognition algorithms depend on careful positioning of an object into a canonical pose, so the position of features relative to a fixed coordinate system can be examined. Cu...
190
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Learning dominant motion patterns or activities from a video is an important surveillance problem, especially in crowded environments like markets, subways etc., where tracking of...
166
click to vote
CHI
2005
ACM
16 years 8 months ago
2005
ACM
Designers of information visualization systems have the choice to present information in a single integrated view or in multiple views. In practice, there is a continuum between t...