190 search results - page 14 / 38 » Symmetry and Satisfiability: An Update |
100
click to vote
ICC
2009
IEEE
14 years 9 months ago
2009
IEEE
Abstract--We present Starburst, a routing-based protocol designed to efficiently disseminate data items to small subsets within a sensor network. Starburst constructs a routing hie...
119
click to vote
JUCS
2010
14 years 10 months ago
2010
: Classical classification and clustering based on equivalence relations are very important tools in decision-making. An equivalence relation is usually determined by properties of...
IEAAIE
2004
Springer
15 years 5 months ago
2004
Springer
This paper proposes extending semi-supervised learning by allowing an ongoing interaction between a user and the system. The extension is intended to not only to speed up search fo...
125
click to vote
NMR
2004
Springer
15 years 5 months ago
2004
Springer
One of the crucial actions any reasoning system must undertake is the updating of its Knowledge Base (KB). This problem is usually referred to as the problem of belief change. The...
110
click to vote
ESOP
2008
Springer
15 years 1 months ago
2008
Springer
A data structure is said to be persistent when any update operation returns a new structure without altering the old version. This paper introduces a new notion of persistence, cal...