3820 search results - page 454 / 764 » Bounded Model Debugging |
132
click to vote
IJRR
2006
15 years 3 months ago
2006
A common mobile robot design consists of three `omniwheels' arranged at the vertices of an equilateral triangle, with wheel axles aligned with the rays from the center of the...
142
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
—In the analysis of large random wireless networks, the underlying node distribution is almost ubiquitously assumed to be the homogeneous Poisson point process. In this paper, th...
146
Voted
DC
2007
15 years 3 months ago
2007
Abstract Many reliable distributed systems are consensusbased and typically operate under two modes: a fast normal mode in failure-free synchronous periods, and a slower recovery m...
125
click to vote
DM
2007
15 years 3 months ago
2007
In this paper we deal with codes identifying sets of vertices in random networks; that is, (1, ≤ ℓ)-identifying codes. These codes enable us to detect sets of faulty processor...
135
Voted
ENGL
2007
15 years 3 months ago
2007
—This paper presents the advances of a research using a combination of recurrent and feed-forward neural networks for long term prediction of chaotic time series. It is known tha...