971 search results - page 125 / 195 » Common Sense from the Web |
DLOG
2010
13 years 8 months ago
2010
Abstract. Abductive reasoning has been recognized as a valuable complement to deductive inference for tasks such as diagnosis and integration of incomplete information despite its ...
COMMA
2010
13 years 5 months ago
2010
Abstract argument frameworks have been used for various applications within multi-agent systems, including reasoning and negotiation. Different argument frameworks make use of diff...
ESOP
2012
Springer
12 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...
INFOCOM
2008
IEEE
14 years 4 months ago
2008
IEEE
—We consider a time-slotted multipacket reception channel, shared by a finite number of mobile users who transmit to a common base station. Each user is allocated a fixed data ...
SCAM
2008
IEEE
14 years 4 months ago
2008
IEEE
Parfait is a bug checker of C code that has been designed to address developers’ requirements of scalability (support millions of lines of code in a reasonable amount of time), ...