13489 search results - page 2278 / 2698 » Operating System |
179
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
144
click to vote
TROB
2008
15 years 6 months ago
2008
The ability to learn a map of the environment is important for numerous types of robotic vehicles. In this paper, we address the problem of learning a visual map of the ground usin...
265
click to vote
TIP
1998
15 years 6 months ago
1998
Abstract— This correspondence addresses the use of a joint sourcechannel coding strategy for enhancing the error resilience of images transmitted over a binary channel with addit...
193
click to vote
PROCEDIA
2010
15 years 5 months ago
2010
The use of tuned collective’s module of Open MPI to improve a parallelization efficiency of parallel batch pattern back propagation training algorithm of a multilayer perceptron...
215
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
Compared to conventional wireless sensor networks (WSNs) that are operated based on the client-server computing model, mobile agent (MA) systems provide new capabilities for energy...