13383 search results - page 2657 / 2677 » Abstractions from proofs |
TWC
2011
13 years 2 months ago
2011
Abstract—Regulation in Europe and Japan requires the implementation of detect-and-avoid (DAA) techniques in some bands for the coexistence of licensed primary systems and seconda...
IEEEVAST
2010
13 years 2 months ago
2010
The process of learning models from raw data typically requires a substantial amount of user input during the model initialization phase. We present an assistive visualization sys...
IJAHUC
2010
13 years 2 months ago
2010
Abstract: The unique characteristics of space networks lead to different research approaches from those in terrestrial networks. In this paper, a routing framework called Space Gat...
JBCS
2010
13 years 2 months ago
2010
Agents in agreement protocols play well distinct roles. Proposers propose values to the acceptors, which will accept proposals and inform the learners so they detect that an agree...
JCNS
2010
13 years 2 months ago
2010
Abstract Forward solutions with different levels of complexity are employed for localization of current generators, which are responsible for the electric and magnetic fields measu...