3229 search results - page 210 / 646 » The Theory of Timed Automata |
171
click to vote
AGENTCL
2000
Springer
15 years 11 months ago
2000
Springer
Conversation policies codify the allowable exchanges of speech acts among agents as they execute specific types of tasks. Both the set of agents in a community, and the nature of...
165
click to vote
AIPS
2010
15 years 9 months ago
2010
Factored planning methods aim to exploit locality to efficiently solve large but "loosely coupled" planning problems by computing solutions locally and propagating limit...
127
click to vote
ALIFE
2004
15 years 6 months ago
2004
Toys and play-things are often engineered to replicate the character of real organisms. In the past, inventors often lavished great expense on their life-like automata, their cons...
172
click to vote
FSE
2009
Springer
16 years 1 months ago
2009
Springer
Matsui’s one-dimensional Alg. 2 can be used for recovering bits of the last round key of a block cipher. In this paper a truly multidimensional extension of Alg. 2 based on estab...
161
click to vote
LCN
2006
IEEE
16 years 18 days ago
2006
IEEE
We propose an evidence theory based anonymity measuring approach for wireless mobile ad-hoc networks. In our approach, an evidence is a measure of the number of detected packets w...