1772 search results - page 223 / 355 » Classifying Problems into Complexity Classes |
72
Voted
ESOP
2010
Springer
15 years 10 months 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...
106
Voted
ACSD
2007
IEEE
15 years 7 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...
85
Voted
ICC
2007
IEEE
15 years 7 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...
92
Voted
TACAS
2007
Springer
15 years 6 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...
SCIA
2005
Springer
15 years 6 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...