4586 search results - page 367 / 918 » Computing stable models in parallel |
142
click to vote
EUROPAR
2005
Springer
15 years 10 months ago
2005
Springer
We present an overview of current research in performance modeling, focusing on efforts underway in the Performance Evaluation Research Center (PERC). Using some new techniques, w...
133
click to vote
VMV
2004
15 years 6 months ago
2004
In this paper we demonstrate how a computational physics approach based on a discrete particle model can be employed for the visualization of magnetic field lines. This can be reg...
162
click to vote
DFG
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We give an overview of important results for non-atomic congestion games in their traditional form along with self-contained and short proofs and then present new results...
119
Voted
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
We define the Tight Semantics (TS), a new semantics for all NLPs complying with the requirements of: 2-valued semantics; preserving the models of SM; guarantee of model existence...
166
click to vote
DCOSS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Aiming at a realistic mobile connectivity model for vehicular sensor networks in urban environments, we propose the combination of large-scale traffic simulation and comp...