749 search results - page 80 / 150 » Combinatory Models and Symbolic Computation |
FSTTCS
2009
Springer
14 years 4 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
ECAI
1994
Springer
14 years 2 months ago
1994
Springer
1 A hybrid (symbolic/connectionist) cognitive architecture, DUAL, is proposed. It is a multi-agent system which consist of a large number of non-cognitive, relatively simple agents...
IDA
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We tackle the problem of new users or documents in collaborative filtering. Generalization over users by grouping them into user groups is beneficial when a rating is t...
ENTCS
2010
13 years 10 months ago
2010
Molecular biological models usually suffer from a large combinatorial explosion. Indeed, proteins form complexes and modify each others, which leads to the formation of a huge num...
ACML
2009
Springer
14 years 4 months ago
2009
Springer
Abstract: Our main contribution is to propose a novel model selection methodology, expectation minimization of information criterion (EMIC). EMIC makes a significant impact on the...