10891 search results - page 159 / 2179 » Combining Model Reductions |
108
Voted
FSTTCS
1992
Springer
15 years 7 months ago
1992
Springer
In this paper we study the consequences of the existence of sparse hard sets for NP and other complexity classes under certain types of deterministic, randomized, and nondetermini...
152
click to vote
FM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
127
Voted
ICS
2009
Tsinghua U.
15 years 10 months ago
2009
Tsinghua U.
With the current trend toward multicore architectures, improved execution performance can no longer be obtained via traditional single-thread instruction level parallelism (ILP), ...
133
Voted
ANLP
2000
15 years 4 months ago
2000
We present a novel sentence reduction system for automatically removing extraneous phrases from sentences that are extracted from a document for summarization purpose. The system ...
107
click to vote
TCOM
2008
15 years 3 months ago
2008
In this paper, two novel techniques are proposed to reduce the average optical power in wireless optical multiplesubcarrier modulated (MSM) systems, namely in-band trellis coding a...