13603 search results - page 416 / 2721 » On the Computational Complexity of Cut-Reduction |
215
click to vote
GBRPR
2009
Springer
16 years 2 months ago
2009
Springer
Modeling and understanding complex non-manifold shapes is a key issue in shape analysis and retrieval. The topological structure of a non-manifold shape can be analyzed through its...
196
click to vote
ISPEC
2007
Springer
16 years 1 months ago
2007
Springer
Credentials are an indispensable means for service access control in electronic commerce. However, regular credentials such as X.509 certificates and SPKI/SDSI certificates do no...
222
click to vote
ICCV
2009
IEEE
17 years 21 days ago
2009
IEEE
Human activity recognition is a challenging task, especially
when its background is unknown or changing,
and when scale or illumination differs in each video.
Approaches utilizi...
207
click to vote
RECOMB
2007
Springer
16 years 8 months ago
2007
Springer
Abstract. Recent advances in high-throughput experimental techniques have enabled the production of a wealth of protein interaction data, rich in both quantity and variety. While t...
222
click to vote
EUROSYS
2006
ACM
16 years 4 months ago
2006
ACM
The large size and high complexity of securitysensitive applications and systems software is a primary cause for their poor testability and high vulnerability. One approach to all...