630 search results - page 34 / 126 » Hardness results for approximating the bandwidth |
106
Voted
FM
2006
Springer
15 years 4 months ago
2006
Springer
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
77
Voted
SCAM
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper addresses the question: “How can animated visualisation be used to express interesting properties of static analysis?” The particular focus is upon static dependenc...
93
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We address the problem of continuous stochastic optimal control in the presence of hard obstacles. Due to the non-smooth character of the obstacles, the traditional appro...
125
Voted
AINA
2005
IEEE
15 years 6 months ago
2005
IEEE
A core-based group-shared multicast tree is a shortest path tree rooted at core node that distributes packets to and from all group members. Traditionally, the bandwidth cost cons...
100
click to vote
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
In this paper, we design a low complexity linear MMSE decoder to recover the signal transmitted by M mobile users to a base station equipped with N receiving antennas, arranged as...