12981 search results - page 2414 / 2597 » Model Checking (Abstract) |
131
Voted
KES
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Motivation: Although studies have shown that genetic alterations are causally involved in numerous human diseases, still not much is known about the molecular mechanisms ...
121
Voted
IJPP
2010
15 years 2 months ago
2010
Abstract. We show how computations such as those involved in American or European-style option price valuations with the explicit finite difference method can be performed in par...
148
click to vote
IJRR
2010
15 years 2 months ago
2010
Abstract— Accurate terrain estimation is critical for autonomous offroad navigation. Reconstruction of a 3D surface allows rough and hilly ground to be represented, yielding fast...
118
Voted
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—Spectrum sensing is one of the key enabling technologies in Cognitive Radio Networks (CRNs). In CRNs, secondary users (SUs) are allowed to exploit the spectrum opportuni...
144
Voted
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—We revisit the shortest path problem in asynchronous duty-cycled wireless sensor networks, which exhibit time-dependent features. We model the time-varying link cost and...