744 search results - page 76 / 149 » Observations on the Decidability of Transitions |
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— This paper studies connectivity maintenance of robotic networks that communicate at discrete times and move in continuous space. We propose a distributed algorithm that allows ...
GLOBECOM
2008
IEEE
14 years 3 months ago
2008
IEEE
—Designing a sensor network congestion avoidance algorithm is a challenging task due to the application specific nature of these networks. The frequency of event sensing is a de...
ICPR
2008
IEEE
14 years 3 months ago
2008
IEEE
Motion compensated error of the static text in the frame rate conversion (FRC) is most annoying artifact because people cannot read it. In this paper, we present a novel static te...
PVM
2007
Springer
14 years 3 months ago
2007
Springer
We propose a parallel MPI search engine that is capable of automatically switching between asynchronous message passing and bulk-synchronous message passing modes of operation. Whe...
SGAI
2007
Springer
14 years 3 months ago
2007
Springer
In this paper we describe a novel technique which implements a spatiotemporal model as a set of sub-models based on first order logic. These sub-models model different, typicall...