571 search results - page 37 / 115 » Modeling and Analysis of Space Based Transceivers |
LICS
1998
IEEE
14 years 8 days ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
FMSD
2006
13 years 8 months ago
2006
We propose a refinement approach to language emptiness, which is based on the enumeration and the successive refinements of SCCs on over-approximations of the exact system. Our alg...
GLOBECOM
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract—In this contribution, we propose an original algorithm for self-localization in mobile ad-hoc networks. The proposed technique, based on interval analysis, is suited to ...
ICDAR
2009
IEEE
14 years 3 months ago
2009
IEEE
This paper presents a novel approach for skew correction of documents. Skew correction is modelled as an optimization problem, and for the first time, Particle Swarm Optimization...
ISCAS
2007
IEEE
14 years 3 months ago
2007
IEEE
— It has been observed that a bottleneck Random Early Detection (RED) gateway becomes oscillatory when regulating a flow in multiple TCP connections. The stability boundary of t...