1568 search results - page 124 / 314 » The problem of examination questions in algorithmics |
143
click to vote
CBMS
2006
IEEE
15 years 10 months ago
2006
IEEE
Recognition of shapes in images is an important problem in computer vision with application in various medical problems, including robotic surgery and cell analysis. The similarit...
175
Voted
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
123
click to vote
APPROX
2009
Springer
15 years 11 months ago
2009
Springer
The r-parity tensor of a graph is a generalization of the adjacency matrix, where the tensor’s entries denote the parity of the number of edges in subgraphs induced by r distinc...
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Designing an adequate fitness function requiressubstantial knowledge of a problem and of features that indicate progress towards a solution. Coevolution takes the human ...
130
click to vote
COCO
2006
Springer
15 years 6 months ago
2006
Springer
We study the identity testing problem for depth 3 arithmetic circuits ( circuit). We give the first deterministic polynomial time identity test for circuits with bounded top fanin...