805 search results - page 26 / 161 » On the Semantics of Conditional Commitment |
81
Voted
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
Object class segmentation (OCS) is a key issue in semantic scene labeling and understanding. Its general principle consists of naming object entities into scenes according to thei...
90
Voted
WDAG
2004
Springer
15 years 2 months ago
2004
Springer
We apply the classic theory of linearizability to operations that must wait for some other thread to establish a precondition. We model such an operation as a request and a follow-...
EMSOFT
2007
Springer
15 years 1 months ago
2007
Springer
Synchronous reactive formalisms associate concurrent behaviors to precise schedules on global clock(s). This allows a non-ambiguous notion of "absent" signal, which can ...
FLAIRS
2008
14 years 12 months ago
2008
Combining probability and first-order logic has been the subject of intensive research during the last ten years. The most well-known formalisms combining probability and some sub...
79
Voted
AAAI
1994
14 years 11 months ago
1994
The study of belief change has been an active area in philosophy and AI.In recent years two special cases ofbelief change, belief revision and belief update, have been studied in ...