1772 search results - page 223 / 355 » Classifying Problems into Complexity Classes |
ESOP
2010
Springer
16 years 5 days ago
2010
Springer
Abstract. Program inversion has many applications such as in the implementation of serialization/deserialization and in providing support for redo/undo, and has been studied by man...
126
click to vote
ACSD
2007
IEEE
15 years 9 months ago
2007
IEEE
Modern multiprocessor embedded systems execute a large number of tasks on shared processors and handle their complex communications on shared communication networks. Traditional m...
102
click to vote
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
—The full-complexity soft-input/soft-output (SISO) multiuser detector based on the a posteriori probability (APP) algorithm has a computational complexity growing exponentially w...
106
click to vote
TACAS
2007
Springer
15 years 9 months ago
2007
Springer
This paper considers algorithms and complexity results for the generation of counterexamples in model checking of probabilistic until-formulae in discrete-time Markov chains (DTMCs...
116
click to vote
SCIA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We address the problem of incorporating transformation invariance in kernels for pattern analysis with kernel methods. We introduce a new class of kernels by so called Ha...