2286 search results - page 396 / 458 » Algorithms for Categorical Equivalence |
178
click to vote
TROB
2002
15 years 6 months ago
2002
In this paper, we present a new approach to the problem of simultaneously localizing a group of mobile robots capable of sensing one another. Each of the robots collects sensor dat...
151
click to vote
DAM
2008
15 years 6 months ago
2008
A digraph D is strong if it contains a directed path from x to y for every choice of vertices x, y in D. We consider the problem (MSSS) of finding the minimum number of arcs in a ...
169
click to vote
MJ
2007
15 years 5 months ago
2007
Recent algorithmic advances in Boolean satisfiability (SAT), along with highly efficient solver implementations, have enabled the successful deployment of SAT technology in a wi...
165
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
In recent years, a number of projects have turned to Wikipedia to establish large-scale taxonomies that describe orders of magnitude more entities than traditional manually built ...
163
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
—Linear network coding is a promising technology that can maximize the throughput capacity of communication network. Despite this salient feature, there are still many challenges...