2412 search results - page 109 / 483 » Which Problems Have Strongly Exponential Complexity |
133
click to vote
IUI
2009
ACM
16 years 4 days ago
2009
ACM
Selection tasks are common in modern computer interfaces: we are often required to select a set of files, emails, data entries, and the like. File and data browsers have sorting a...
142
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: The problem of protein structure prediction consists of predicting the functional or native structure of a protein given its linear sequence of amino acids. This probl...
131
click to vote
COMPGEOM
2008
ACM
15 years 5 months ago
2008
ACM
Manifold reconstruction has been extensively studied for the last decade or so, especially in two and three dimensions. Recent advances in higher dimensions have led to new method...
132
click to vote
PSTV
1993
15 years 4 months ago
1993
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...
142
click to vote
ASPDAC
2008
ACM
15 years 5 months ago
2008
ACM
ACT Benchmarks are an immensely useful tool in performing research since they allow for rapid and clear comparison between different approaches to solving CAD problems. Recent expe...