Sciweavers

934 search results - page 19 / 187
» Modeling Context-Aware Distributed Knowledge
Sort
View
DALT
2008
Springer
13 years 11 months ago
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...
Dimitar P. Guelev, Catalin Dima
PODC
1999
ACM
14 years 2 months ago
Computing Anonymously with Arbitrary Knowledge
We provide characterizations of the relations that can be computed with arbitrary knowledge on networks where all processors use the same algorithm and start from the same state (...
Paolo Boldi, Sebastiano Vigna
PAMI
2000
95views more  PAMI 2000»
13 years 9 months ago
Boundary Finding with Prior Shape and Smoothness Models
Yongmei Wang, Lawrence H. Staib
IFSA
2003
Springer
101views Fuzzy Logic» more  IFSA 2003»
14 years 3 months ago
Commutativity as Prior Knowledge in Fuzzy Modeling
In fuzzy modeling (FM), the quantity and quality of the training set is crucial to properly grasp the behavior of the system being modeled. However, the available data are often n...
Pablo Carmona, Juan Luis Castro, Jose Manuel Zurit...
ISTA
2008
13 years 11 months ago
From Human Knowledge to Process Models
This contribution suggests a novel approach for a systematic generation of a process model in an informal environment. It is based on the claim that the knowledge about the process...
Jörg Desel