13603 search results - page 2701 / 2721 » On the Computational Complexity of Cut-Reduction |
TACAS
2005
Springer
14 years 26 days ago
2005
Springer
Transformations using retiming and resynthesis operations are the most important and practical (if not the only) techniques used in optimizing synchronous hardware systems. Althoug...
VIZSEC
2005
Springer
14 years 26 days ago
2005
Springer
While efficient graph-based representations have been developed for modeling combinations of low-level network attacks, relatively little attention has been paid to effective tech...
ACMICEC
2004
ACM
14 years 25 days ago
2004
ACM
This paper presents a loosely coupled service-composition paradigm. This paradigm employs a distributed data flow that differs markedly from centralized information flow adopted b...
IUI
2004
ACM
14 years 25 days ago
2004
ACM
As computer applications become larger with every new version, there is a growing need to provide some way for users to manage the interface complexity. There are three different ...
MM
2004
ACM
14 years 25 days ago
2004
ACM
This paper deals with phrase structure detection in contemporary western dance. Phrases are a sequence of movements that exist at semantic abstraction than gestures. The problem i...