3931 search results - page 455 / 787 » Separation logic and abstraction |
185
click to vote
CISS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— We consider transmission of two arbitrarily correlated sources over a discrete memoryless asymmetric multiple access channel, where one of the sources is available at b...
129
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Presteering of broadband antenna arrays is required to compensate the effect of misalignment between the look direction and the array geometry and is achieved by insert...
172
click to vote
ECAL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper investigates the processes used by an evolved, embodied simulated agent to adapt to large disruptive changes in its sensor morphology, whilst maintaining perfo...
196
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We study – within the framework of propositional proof complexity – the problem of certifying unsatisfiability of CNF formulas under the promise that any satisfiabl...
193
click to vote
IDEAL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Tree edit distance is a conventional dissimilarity measure between labeled trees. However, tree edit distance including unit-cost edit distance contains the similarity of...