1930 search results - page 144 / 386 » Epistemic comparative conditionals |
175
click to vote
ATAL
2005
Springer
16 years 1 days ago
2005
Springer
Reorganization of the structure of an organization is a crucial issue in multi-agent systems that operate in an open, dynamic environment. Ideally, autonomous agents must be able t...
143
click to vote
CTRSA
2005
Springer
16 years 1 days ago
2005
Springer
We present a new two-party identity-based key agreement that is more efficient than previously proposed schemes. It is inspired on a new identity-based key pair derivation algorith...
196
click to vote
FMCO
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
143
click to vote
IDEAL
2005
Springer
16 years 12 hour ago
2005
Springer
Abstract. Gaussian processes have been favourably compared to backpropagation neural networks as a tool for regression. We show that a recurrent neural network can implement exact ...
173
click to vote
ISMIR
2005
Springer
16 years 9 hour ago
2005
Springer
Chord progressions are the building blocks from which tonal music is constructed. Inferring chord progressions is thus an essential step towards modeling long term dependencies in...