Sciweavers

3362 search results - page 111 / 673
» A definition of subjective possibility
Sort
View
CAEPIA
2009
Springer
15 years 7 months ago
Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of close...
Alfredo Burrieza, Emilio Muñoz-Velasco, Man...
DATE
2010
IEEE
154views Hardware» more  DATE 2010»
15 years 7 months ago
Computing robustness of FlexRay schedules to uncertainties in design parameters
Abstract--In the current environment of rapidly changing invehicle requirements and ever-increasing functional content for automotive EE systems, there are several sources of uncer...
Arkadeb Ghosal, Haibo Zeng, Marco Di Natale, Yakov...
COGSCI
2008
72views more  COGSCI 2008»
15 years 6 months ago
The Tractable Cognition Thesis
The recognition that human minds/brains are finite systems with limited resources for computation has led some researchers to advance the Tractable Cognition thesis: Human cogniti...
Iris van Rooij
CORR
2008
Springer
102views Education» more  CORR 2008»
15 years 6 months ago
Game Theory with Costly Computation
We develop a general game-theoretic framework for reasoning about strategic agents performing possibly costly computation. In this framework, many traditional game-theoretic resul...
Joseph Y. Halpern, Rafael Pass
CORR
2006
Springer
90views Education» more  CORR 2006»
15 years 6 months ago
The recognizability of sets of graphs is a robust property
Once the set of finite graphs is equipped with an algebra structure (arising from the definition of operations that generalize the concatenation of words), one can define the noti...
Bruno Courcelle, Pascal Weil