7960 search results - page 477 / 1592 » Systems for Knowledge and Beliefs |
229
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
Nowadays, enormous amounts of data are continuously generated not only in massive scale, but also from different, sometimes conflicting, views. Therefore, it is important to conso...
207
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— The input-queued switch architecture is widely used in Internet routers due to its ability to run at very high line speeds. A central problem in designing an input-queued switc...
221
click to vote
IPSN
2007
Springer
16 years 1 months ago
2007
Springer
Large-scale sensor network applications require in-network processing and data fusion to compute statistically relevant summaries of the sensed measurements. This paper studies di...
198
click to vote
FMCAD
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
199
click to vote
MATES
2004
Springer
16 years 13 days ago
2004
Springer
Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where inconsistency does not lead to such an exp...