2043 search results - page 297 / 409 » Reasoning About Security Models |
CONNECTION
2006
15 years 23 days ago
2006
By learning a range of possible times over which the effect of an action can take place, a robot can reason more effectively about causal and contingent relationships in the world...
84
Voted
CPC
2007
15 years 21 days ago
2007
d Abstract) Colin Cooper∗ , Martin Dyer† and Catherine Greenhill‡ We consider a simple Markov chain for d-regular graphs on n vertices, and show that the mixing time of this...
90
Voted
SYNTHESE
2008
15 years 19 days ago
2008
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
87
Voted
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today’s and future digital systems that increasingly need be connected. The resulting...
100
Voted
ISAMI
2010
14 years 10 months ago
2010
Abstract Medical data sets consist of a huge amount of data organized in instances, where each one contains several attributes. The quality of the models obtained from a database s...