2661 search results - page 338 / 533 » Model Checking Performability Properties |
ESANN
2008
14 years 6 days ago
2008
We propose a modification of the dynamic neural field model of Amari [1], aiming at reducing the simulation effort by employing spaceand frequency representations of the dynamic st...
CVPR
2012
IEEE
12 years 1 months ago
2012
IEEE
For scene classification, patch-level linear features do not always work as well as handcrafted features. In this paper, we present a new model to greatly improve the usefulness ...
ICIP
2008
IEEE
14 years 5 months ago
2008
IEEE
We present a new feature-aided tracking algorithm dedicated to the task of tracking multiple and closely-spaced biological particles. We propose a new function to score associatio...
VTC
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract—The spatial distribution of nodes in wireless networks has important impact on network performance properties, such as capacity and connectivity. Although random sample ...
ADHOCNOW
2003
Springer
14 years 4 months ago
2003
Springer
We consider topology control problems where the goal is to assign transmission powers to the nodes of an ad hoc network so as to induce graphs satisfying specific properties. The ...