17789 search results - page 338 / 3558 » Exceptional Use Cases |
163
click to vote
DNA
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. A very common approach in chemistry and biology is to observe the progress of an experiment, and take the result of this observation as the final output. Inspired by thi...
165
click to vote
EUROPAR
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper we report on our experiences with hybrid parallelism in PARDISO, a high-performance sparse linear solver. We start with the OpenMP-parallel numerical factor...
172
click to vote
EWCBR
2004
Springer
16 years 4 days ago
2004
Springer
When events such as severe weather or congestion interfere with the normal flow of air traffic, air traffic controllers may implement plays that reroute one or more traffic flows. ...
176
click to vote
MATES
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...
183
click to vote
SAT
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Many problems are naturally expressed using CNF clauses and boolean cardinality constraints. It is generally believed that solving such problems through pure CNF encoding...