13603 search results - page 346 / 2721 » On the Computational Complexity of Cut-Reduction |
201
click to vote
FOCS
2003
IEEE
16 years 25 days ago
2003
IEEE
We give a complexity theoretic classification of homomorphism problems for graphs and, more generally, relational structures obtained by restricting the left hand side structure ...
192
Voted
WSC
2001
15 years 9 months ago
2001
Hybrid agent-based simulation is required to provide a mechanism for analyzing large-scale complex systems, such as the National Airspace System (NAS). The dynamic behavior of man...
150
Voted
ICIP
2003
IEEE
16 years 9 months ago
2003
IEEE
While hitrate-reduction video transcoding is a mature research topic, we introduce a irew paradigni for the old prohlein: designing a complexity scalable transcoder where computat...
192
Voted
ICPR
2002
IEEE
16 years 8 months ago
2002
IEEE
Although usually classifier error is the main concern in publications, in real applications classifier evaluation complexity may play a large role as well. In this paper, a simple...
176
Voted
FLOPS
2010
Springer
16 years 2 months ago
2010
Springer
Recently, many techniques have been introduced that allow the (automated) classification of the runtime complexity of term rewrite systems (TRSs for short). In this paper we show ...