2470 search results - page 77 / 494 » Liveness-Preserving Simulation Relations |
85
Voted
KI
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. Agents situated in proactive environments are acting autonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions....
85
Voted
BC
2008
15 years 21 days ago
2008
Recently, several two-dimensional spiking neuron models have been introduced, with the aim of reproducing the diversity of electrophysiological features displayed by real neurons w...
95
Voted
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
Efficient performance tuning of parallel programs is often hard. In this paper we describe an approach that uses a uni-processor execution of a multithreaded program as reference ...
92
Voted
WSC
2007
15 years 2 months ago
2007
Conceptual modeling, deciding what to include in the model, is a very important task in the modeling process. However, it has so far received relatively little attention in the li...
110
click to vote
WSC
2007
15 years 2 months ago
2007
State-dependent importance sampling (SDIS) has proved to be particularly useful in simulation (specially in rare event analysis of stochastic systems). One approach for designing ...