51 search results - page 8 / 11 » Reasoning about aspects with common sense |
102
Voted
ESOP
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it is only appropriate for sequentially consistent mem...
TCS
2008
14 years 9 months ago
2008
From an engineering point of view, the problem of coordinating a set of autonomous, mobile robots for the purpose of cooperatively performing a task has been studied extensively o...
IICAI
2007
14 years 11 months ago
2007
Logics of action, for reasoning about the effects of state change, and logics of belief, accounting for belief revision and update, have much in common. Furthermore, we may underta...
ISQED
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract— Reliability enhancements are traditionally implemented through redundancies at the system level or through the use of harden-cell-designs at the circuit level. Reliabil...
78
Voted
FSS
2008
14 years 9 months ago
2008
A fuzzy random variable is viewed as the imprecise observation of the outcomes in a random experiment. Since randomness and vagueness coexist in the same framework, it seems reaso...