In this paper, the European research project B-VHF' is introduced which is funded by the European Commission and has started in January 2004. The main goal of the B-VHF project is to prove that it is feasible to establish a multi-camer based overlay system for future Air Traffic Control (ATC) communications in the Very High Frequency (VHF) band without causing interference to the legacy VHF systems. Note, this overlay system concept enables in-band transition from the current to a future ATC communications system and, thus, allows future ATC communications to stay in the advantageous and protected VHF band.The focus in this paper is on the technical approach for realizing the overlay concept. Thus, the technology behind B-VHF will be described in detail and how it is applied for realizing an overlay system in the VHF band.
In this paper we study learning from a logical perspective. We show that there is a strong relationship between a learning strategy, its formal learning framework and its logical representational theory. This relationship enables one to translate learnability results from one theory to another. Moreover if we go from a classical logic theory to a substructural logic theory, we can transform learnability results of logical concepts to results for string languages. In this paper we will demonstrate such a translation by transforming the Valiant learnability result for boolean concepts to a learnability :result for a class of string pattern languages.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.