2612 search results - page 134 / 523 » Mobile Processes and Termination |
SEFM
2008
IEEE
14 years 4 months ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
ICRA
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper introduces a generalized framework, termed “stochastic cloning,” for processing relative state measurements within a Kalman filter estimator. The main motivation a...
PRL
2002
13 years 10 months ago
2002
The "fly algorithm" is a fast artificial evolution-based technique devised for the exploration of parameter space in pattern recognition applications. In the application...
ISCAS
2005
IEEE
14 years 3 months ago
2005
IEEE
— Controlled electrical stimulation of the retina can result in visual percepts in blind patients. In contrast to the over 100,000,000 photoreceptors in a healthy retina, even hu...
MDM
2004
Springer
14 years 3 months ago
2004
Springer
Data broadcasting is well known for its excellent scalability. Multi-dimensional range queries, such as spatial range queries of geographical information for location dependent se...