1568 search results - page 52 / 314 » The problem of examination questions in algorithmics |
73
Voted
CAV
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. In this paper, we reduce pushdown system (PDS) model checking to a graphtheoretic problem, and apply a fast graph algorithm to improve the running time for model checking...
94
Voted
CORR
2011
Springer
14 years 5 months ago
2011
Springer
We show that any quantum algorithm to decide whether a function f : [n] → [n] is a permutation or far from a permutation must make Ω n1/3 /w queries to f, even if the algorith...
IEEEPACT
2000
IEEE
15 years 2 months ago
2000
IEEE
Multimedia instruction set extensions have become a prominent feature in desktop microprocessor platforms, promising superior performance on a wide range of floating-point and int...
ICCBR
2001
Springer
15 years 2 months ago
2001
Springer
Conversational Case-Based Reasoning (CCBR) systems engage a user in a series of questions and answers to retrieve cases that solve his/her current problem. Help-desk and interactiv...
AAI
2006
14 years 10 months ago
2006
Classification problems with uneven class distributions present several difficulties during the training as well as during the evaluation process of classifiers. A classification ...