358 search results - page 14 / 72 » Report on Generic Case Complexity |
APPROX
2009
Springer
15 years 6 months ago
2009
Springer
Referring to the query complexity of property testing, we prove the existence of a rich hierarchy of corresponding complexity classes. That is, for any relevant function q, we prov...
SIGSOFT
2005
ACM
16 years 13 days ago
2005
ACM
Project managers aim at keeping track of interdependencies between various artifacts of the software development lifecycle, to find out potential requirements conflicts, to better...
BMCBI
2010
14 years 11 months ago
2010
Background: The activity of proteins within the cell is characterized by their motions, flexibility, interactions or even the particularly intriguing case of partially unfolded st...
QEST
2009
IEEE
15 years 6 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
105
click to vote
IMC
2010
ACM
14 years 9 months ago
2010
ACM
Network management applications require accurate estimates of a wide range of flow-level traffic metrics. Given the inadequacy of current packet-sampling-based solutions, several ...