4372 search results - page 267 / 875 » Algorithmic Theories of Everything |
155
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Entanglement is a complexity measure of directed graphs that origins in fixed point theory. This measure has shown its use in designing efficient algorithms to verify logical prop...
130
click to vote
JSC
2007
15 years 5 months ago
2007
We present an algorithm which, given a deformation with section of a reduced plane curve singularity, computes equations for the equisingularity stratum (that is, the µ-constant s...
169
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
The problem of interference alignment in time-varying MIMO interference channels is considered. To reduce complexity, an adaptive algorithm for beam vector design is proposed base...
170
click to vote
PPSN
2010
Springer
15 years 4 months ago
2010
Springer
Solutions calculated by Evolutionary Algorithms have come to surpass exact methods for solving various problems. The Rubik’s Cube multiobjective optimization problem is one such ...
221
Voted
PTS
2010
15 years 3 months ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...