In multiple-input multiple-output (MIMO) systems, the use of many radio frequency (RF) and analog-to-digital converter (ADC) chains at the receiver is costly. Analog beamformers op...
Abstract. The increased availability of biological databases containing representations of complex objects permits access to vast amounts of data. In spite of the recent renewed in...
We describe the integration of permutation group algorithms with proof planning. We consider eight basic questions arising in computational permutation group theory, for which our ...
Arjeh M. Cohen, Scott H. Murray, Martin Pollet, Vo...
Learning patterns of human behavior from sensor data is extremely important for high-level activity inference. We show how to extract and label a person’s activities and signiï¬...
Emerging AI techniques will make possible new intelligent help features, such as ‘active help’ (interrupting the user when appropriate) and ‘back channel’ communication (a...