790 search results - page 81 / 158 » Hierarchical Group Signatures |
108
Voted
POPL
2000
ACM
15 years 4 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
202
Voted
POPL
2006
ACM
16 years 1 months ago
2006
ACM
In POPL 2002, Petrank and Rawitz showed a universal result-finding optimal data placement is not only NP-hard but also impossible to approximate within a constant factor if P = NP...
117
click to vote
BMCBI
2004
15 years 21 days ago
2004
Background: It is a major challenge of computational biology to provide a comprehensive functional classification of all known proteins. Most existing methods seek recurrent patte...
140
click to vote
PAA
2002
15 years 15 days ago
2002
: Many classification problems involve high dimensional inputs and a large number of classes. Multiclassifier fusion approaches to such difficult problems typically centre around s...
117
click to vote
PAMI
2011
14 years 7 months ago
2011
—The field of Action Recognition has seen a large increase in activity in recent years. Much of the progress has been through incorporating ideas from single frame object recogn...