8669 search results - page 1413 / 1734 » Computing matrix representations |
140
click to vote
GI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
123
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract We propose an alternative notion of asymptotic behaviors for the study of type2 computational complexity. Since the classical asymptotic notion (for all but finitely many...
117
click to vote
SAT
2004
Springer
15 years 9 months ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
154
click to vote
SCVMA
2004
Springer
15 years 9 months ago
2004
Springer
1 . The problem of recovering the 3-D camera and scene structure has been intensively studied and is considered well understood. Starting with two images, a process of establishing...
135
click to vote
SOFSEM
2004
Springer
15 years 9 months ago
2004
Springer
Recent studies show that state-space dynamics of randomly initialized recurrent neural network (RNN) has interesting and potentially useful properties even without training. More p...