Several current support systems for travel and tourism are aimed at providing information in a personalized manner, taking users' interests and preferences into account. In t...
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
Recent advances in the technology of multi-unit recordings make it possible to test Hebb's hypothesis that neurons do not function in isolation but are organized in assemblie...
Laura Martignon, Gustavo Deco, Kathryn B. Laskey, ...
This article develops a theoretical framework of distributed representations to explore the representational properties in group problem solving. The basic principle of distribute...
The function of an unknown biological sequence can often be accurately inferred by identifying sequences homologous to the original sequence. Given a query set of known homologs, ...