133 search results - page 10 / 27 » Characterizing Computable Analysis with Differential Equatio... |
CIMCA
2008
IEEE
14 years 4 months ago
2008
IEEE
A strategy for the analytical solving of ordinary differential equations and a first implementation of it based on mobile agent community, using jini javaspace framework, are pre...
LCN
2005
IEEE
14 years 3 months ago
2005
IEEE
— An analytical model is proposed to describe the priority schemes of the Enhanced Distributed Channel Access (EDCA) mechanism of the IEEE 802.11e standard. EDCA provides class-b...
AB
2007
Springer
14 years 4 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
This paper considers the problem of multi robot localization. The analysis is focused on the problem of determining which are the optimal robot trajectories in order to minimize th...
GLOBECOM
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract—We develop and evaluate a new method for estimating and optimizing various performance metrics for multihop wireless networks, including MANETs. We introduce an approxim...