2286 search results - page 244 / 458 » Algorithms for Categorical Equivalence |
164
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
Abstract—Lithographic limitations and manufacturing uncertainties are resulting in fabricated shapes on wafer that are topologically equivalent, but geometrically different from ...
192
click to vote
GECCO
2010
Springer
15 years 11 months ago
2010
Springer
The fundamental dichotomy in evolutionary algorithms is that between exploration and exploitation. Recently, several algorithms [8, 9, 14, 16, 17, 20] have been introduced that gu...
177
click to vote
STOC
1995
ACM
15 years 10 months ago
1995
ACM
The goal of incremental cryptography is to design cryptographic algorithms with the property that having applied the algorithm to a document, it is possible to quickly update the ...
161
click to vote
SODA
2008
ACM
15 years 8 months ago
2008
ACM
We consider the problem of minimizing average latency cost while obliviously routing traffic in a network with linear latency functions. This is roughly equivalent to minimizing t...
171
click to vote
DC
1998
15 years 6 months ago
1998
We show that the problem of predicate detection in distributed systems is NP-complete. In the past, efficient algorithms have been developed for special classes of predicates suc...