Sciweavers

1255 search results - page 194 / 251
» A Proof Environment for the Development of Group Communicati...
Sort
View
CN
2008
176views more  CN 2008»
13 years 7 months ago
ARQ-based cross-layer optimization for wireless multicarrier transmission on cognitive radio networks
The primary feature of cognitive radios for wireless communication systems is the capability to optimize the relevant communication parameters given a dynamic wireless channel env...
Alexandre de Baynast, Petri Mähönen, Mar...
HCI
2007
13 years 9 months ago
Focussing on Extra-Ordinary Users
“Universal Access” is often focused on modifying main-stream products to respond to the demands of older and disabled people – which implies an extremely wide range of user c...
Graham Pullin, Alan F. Newell
CDC
2010
IEEE
146views Control Systems» more  CDC 2010»
13 years 2 months ago
Adaptive autonomous soaring of multiple UAVs using Simultaneous Perturbation Stochastic Approximation
Abstract-- This paper presents a new algorithm for maximizing the flight duration of a single UAV (Uninhabited Air Vehicle) and UAVs group using the thermal model developed by Alle...
Cathrine Antal, Oleg Granichin, Sergey Levi
MM
2009
ACM
196views Multimedia» more  MM 2009»
14 years 2 months ago
Mirror world navigation for mobile users based on augmented reality
Finding a destination in unfamiliar environments of complex office building or shopping mall has been always bothering us in daily life. Fine-scale directional guidance, a combina...
Patricia P. Wang, Tao Wang, Dayong Ding, Yimin Zha...
PADL
2007
Springer
14 years 1 months ago
BAD, a Declarative Logic-Based Language for Brain Modeling
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...
Alan H. Bond