1711 search results - page 43 / 343 » Completing pseudojump operators |
ECSQARU
2001
Springer
14 years 10 days ago
2001
Springer
Abstract. A great deal of research has been devoted to nontrivial reasoning in inconsistent knowledge bases. Coherence-based approaches proceed by a consolidation operation which s...
INFOCOM
2010
IEEE
13 years 5 months ago
2010
IEEE
RFID is an emerging technology with many potential applications such as inventory management for supply chain. In practice, these applications often need a series of continuous sca...
VTC
2010
IEEE
13 years 6 months ago
2010
IEEE
—The performance of 802.11-based multi-channel wireless mesh networks is affected by the interference due to neighboring nodes operating on same or adjacent channels. In this pap...
PAM
2011
Springer
12 years 10 months ago
2011
Springer
More than 20 years after the launch of the public Internet, operator forums are still full of reports about temporary unreachability of complete networks. We propose FACT, a system...
CADE
2008
Springer
14 years 8 months ago
2008
Springer
Bit vectors and bit operations are proposed for efficient propositional inference. Bit arithmetic has efficient software and hardware implementations, which can be put to advantage...