Sciweavers

574 search results - page 42 / 115
» Coalitions in Action Logic
Sort
View
CSDA
2006
122views more  CSDA 2006»
13 years 8 months ago
The fuzzy approach to statistical analysis
For the last decades, research studies have been developed in which a coalition of Fuzzy Sets Theory and Statistics has been established with different purposes. These namely are:...
Renato Coppi, María Angeles Gil, Henk A. L....
SYNTHESE
2011
87views more  SYNTHESE 2011»
13 years 2 months ago
What will they say? - Public Announcement Games
Dynamic epistemic logics describe the epistemic consequences of actions. Public announcement logic, in particular, describe the consequences of public announcements. As such, thes...
Thomas Ågotnes, Hans P. van Ditmarsch
ICCV
2001
IEEE
14 years 9 months ago
Multi-Agent Event Recognition
This paper presents a new approachto recognizingmultiagent events observed by a static camera. To track objects robustly, knowledgeabout the groundplaneand the events is used. An ...
Somboon Hongeng, Ramakant Nevatia
ICTAI
2008
IEEE
14 years 2 months ago
The System BioC for Reasoning about Biological Models in Action Language C
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
Steve Dworschak, Torsten Grote, Arne König, T...
CSFW
2005
IEEE
14 years 1 months ago
Nomad: A Security Model with Non Atomic Actions and Deadlines
Modelling security policies requires means to specify permissions and prohibitions. However, this is generally not sufficient to express security properties such as availability ...
Frédéric Cuppens, Nora Cuppens-Boula...