3175 search results - page 304 / 635 » Network properties of folksonomies |
253
click to vote
CONSTRAINTS
2011
15 years 1 months ago
2011
We introduce Cardinality Networks, a new CNF encoding of cardinality constraints. It improves upon the previously existing encodings such as the sorting networks of [8] in that it ...
234
click to vote
JSC
2010
15 years 1 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
216
click to vote
AAAI
2011
14 years 6 months ago
2011
In many multi-agent applications such as distributed sensor nets, a network of agents act collaboratively under uncertainty and local interactions. Networked Distributed POMDP (ND...
165
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Many real-world applications for sensor networks require event sampling with sufficient resolution over both spatial and temporal dimensions. When the deployed nodes are insuffi...
134
click to vote
BROADNETS
2007
IEEE
16 years 1 months ago
2007
IEEE
—Current popular web-browsers simply fetch the entire web-page from the server in a greedy fashion. This simple web fetching mechanism employed by browsers is inappropriate for u...