Sciweavers

247 search results - page 32 / 50
» Logical Implementation of Uncertain Agents
Sort
View
ENTCS
2006
138views more  ENTCS 2006»
13 years 8 months ago
Model Checking Russian Cards
We implement a specific protocol for bit exchange among card-playing agents in three different state-of-the-art epistemic model checkers and compare the results. Key words: Crypto...
Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van...
IAT
2010
IEEE
13 years 6 months ago
An Organizational Design for Adaptive Sensor Networks
As wireless sensor network applications grow in complexity, ad-hoc techniques are no longer adequate. Thus, it is crucial that these systems be adaptive and autonomous to remain f...
Walamitien H. Oyenan, Scott A. DeLoach, Gurdip Sin...
AAMAS
2005
Springer
13 years 8 months ago
Argumentation and the Dynamics of Warranted Beliefs in Changing Environments
One of the most difficult problems in Multi-Agent Systems (MAS) involves representing the knowledge and beliefs of an agent which performs its tasks in a dynamic environment. New p...
Marcela Capobianco, Carlos Iván Chesñ...
HYBRID
2007
Springer
14 years 2 months ago
Model Checking Genetic Regulatory Networks with Parameter Uncertainty
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
Grégory Batt, Calin Belta, Ron Weiss
PREMI
2007
Springer
14 years 2 months ago
Rough Set Theory of Pattern Classification in the Brain
Humans effortlessly classify and recognize complex patterns even if their attributes are imprecise and often inconsistent. It is not clear how the brain processes uncertain visual ...
Andrzej W. Przybyszewski