Sciweavers

3348 search results - page 206 / 670
» Around and Around
Sort
View
TWC
2008
98views more  TWC 2008»
15 years 7 months ago
Using Parasitic Elements for Implementing the Rotating Antenna for MIMO Receivers
Abstract--We consider a new concept of a Multiple-InputMultiple-Output (MIMO) receiver which uses one active receiving antenna and multiple parasitic elements. The parasitic elemen...
Robert Bains, Ralf R. Müller
LOGCOM
2007
126views more  LOGCOM 2007»
15 years 7 months ago
A Structural Proof of the Soundness of Rely/guarantee Rules
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
Joey W. Coleman, Cliff B. Jones
AUTOMATICA
2002
96views more  AUTOMATICA 2002»
15 years 7 months ago
A hybrid control approach to action coordination for mobile robots
In this paper, the problem concerning how to coordinate the contributions from concurrent controllers, when controlling mobile robots, is investigated. It is shown how a behavior ...
Magnus Egerstedt, Xiaoming Hu
COMBINATORICS
2002
87views more  COMBINATORICS 2002»
15 years 7 months ago
Map Genus, Forbidden Maps, and Monadic Second-Order Logic
A map is a graph equipped with a circular order of edges around each vertex. These circular orders represent local planar embeddings. The genus of a map is the minimal genus of an...
Bruno Courcelle, V. Dussaux
CE
2007
104views more  CE 2007»
15 years 7 months ago
The distance from isolation: Why communities are the logical conclusion in e-learning
This paper argues that the internet is built around key technology design features of openness, robustness and decentralisation. These design features have transformed into social...
Martin Weller