774 search results - page 137 / 155 » On Timed Alternating Simulation for Concurrent Timed Games |
CAS
2004
14 years 9 months ago
2004
Transportation and its environmental impacts are a major component of urban environmental management. At the same time, transportation and mobility are an important part or urban ...
70
Voted
SIAMSC
2010
14 years 8 months ago
2010
A significant amount of the computational time in large Monte Carlo simulations of lattice field theory is spent inverting the discrete Dirac operator. Unfortunately, traditional...
114
click to vote
EJASP
2010
14 years 4 months ago
2010
The number of active users, their timing offsets, and their (possibly dispersive) channels with the access point are decisive parameters for wireless code division multiple access...
91
Voted
TSP
2008
14 years 9 months ago
2008
Estimation and tracking of generally nonstationary Markov processes is of paramount importance for applications such as localization and navigation. In this context, ad hoc wireles...
103
click to vote
ISBMS
2010
Springer
15 years 2 months ago
2010
Springer
Radio-frequency (RF) ablation is a minimal invasive thermal therapy, currently considered as an alternative to surgery to eradicate small solid kidney tumors. Our aim is to underst...