1199 search results - page 200 / 240 » Parameterized Proof Complexity |
150
click to vote
TACAS
2010
Springer
16 years 14 days ago
2010
Springer
Modern multicore processors, such as the Cell Broadband Engine, achieve high performance by equipping accelerator cores with small “scratchpad” memories. The price for increase...
147
click to vote
LATA
2009
Springer
16 years 8 days ago
2009
Springer
Abstract. Gene trees are leaf-labeled trees inferred from molecular sequences. Due to duplication events arising in genome evolution, gene trees usually have multiple copies of som...
143
click to vote
CIKM
2009
Springer
16 years 2 days ago
2009
Springer
Clustering ensembles combine different clustering solutions into a single robust and stable one. Most of existing methods become highly time-consuming when the data size turns to ...
167
click to vote
CPAIOR
2009
Springer
16 years 2 days ago
2009
Springer
Abstract. The multileaf collimator sequencing problem is an important component in effective cancer treatment delivery. The problem can be formulated as finding a decomposition of...
155
click to vote
CRYPTO
2009
Springer
16 years 2 days ago
2009
Springer
We present the first signature scheme which is “short”, stateless and secure under the RSA assumption in the standard model. Prior short, standard model signatures in the RSA...