5015 search results - page 322 / 1003 » Model Checking a Path |
169
click to vote
ADHOC
2008
15 years 6 months ago
2008
In this paper we present a novel probabilistic protocol for path discovery in Mobile Ad Hoc Networks (MANETs). The protocol implements what we call a polarized gossiping algorithm...
193
click to vote
COMCOM
2006
15 years 6 months ago
2006
Managing the bandwidth allocated to a Label Switched Path in MPLS networks plays a major role for provisioning of Quality of Service and efficient use of resources. In doing so, t...
171
click to vote
EOR
2006
15 years 6 months ago
2006
Artificial neural networks (ANN) have been widely used for both classification and prediction. This paper is focused on the prediction problem in which an unknown function is appr...
158
click to vote
TEC
2002
15 years 6 months ago
2002
This paper presents a genetic algorithmic approach to the shortest path (SP) routing problem. Variable-length chromosomes (strings) and their genes (parameters) have been used for ...
174
click to vote
TROB
2002
15 years 6 months ago
2002
Abstract-- Vision feedback control loop techniques are efficient for a large class of applications but they come up against difficulties when the initial and desired robot position...