3363 search results - page 399 / 673 » Neurobiology of decision making |
113
click to vote
FROCOS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
100
click to vote
ICB
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We present a new approach to biometrics that makes probabilistic inferences about matching without ever estimating an identity "template". The biometric data is...
112
click to vote
HOTOS
2009
IEEE
15 years 5 months ago
2009
IEEE
Distributed systems are difficult to design and develop. The difficulties arise both in basic safety correctness properties, and in achieving high performance. As a result of this...
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
In this paper we present the Behaviosite paradigm, a new approach to affecting the behavior of distributed agents in a multiagent system, which is inspired by biological parasites ...
104
click to vote
DCOSS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Mobile entity navigation in dynamic environments is an essential part of many mission critical applications like search and rescue and fire fighting. The dynamism of the ...