10622 search results - page 1819 / 2125 » Python Programming Language |
154
click to vote
ICALP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
182
click to vote
ICALP
2004
Springer
16 years 1 days ago
2004
Springer
Quantum algorithms for graph problems are considered, both in the adjacency matrix model and in an adjacency list-like array model. We give almost tight lower and upper bounds for ...
116
click to vote
ICALP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. A simple nonconstructive argument shows that most 3CNF formulas with cn clauses (where c is a large enough constant) are not satisfiable. It is an open question whether ...
147
click to vote
ICALP
2004
Springer
16 years 1 days ago
2004
Springer
We first consider infinite two-player games on pushdown graphs. In previous work, Cachat, Duparc and Thomas [4] have presented a winning decidable condition that is Σ3-complete ...
214
click to vote
ICCS
2004
Springer
16 years 1 days ago
2004
Springer
The Data Driven Design Optimization Methodology (DDDOM) is a Dynamic Data Driven Application System (DDDAS) developed for engineering design optimization. The DDDOM synergizes expe...