3068 search results - page 77 / 614 » Separation Results on the |
137
click to vote
ICC
2007
IEEE
16 years 18 days ago
2007
IEEE
—A Distributed Denial of Service (DDoS) attack is widely regarded as a major threat for the current Internet because of its ability to create a huge volume of unwanted traffic. ...
176
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The Degenerate Unmixing Estimation Technique (DUET) is a Blind Source Separation (BSS) algorithm for stereo audio. DUET depends on an amplitude-phase 2d histogram built from the d...
155
click to vote
GRAPHICSINTERFACE
2001
15 years 7 months ago
2001
Meeting the increasing demand for desktop-like applications on mobile products requires powerful interaction techniques. One candidate is GUI-style point-andclick interaction usin...
160
click to vote
ALENEX
2004
15 years 7 months ago
2004
In previous work we described a method for compactly representing graphs with small separators, which makes use of small separators, and presented preliminary experimental results...
166
click to vote
CSL
2009
Springer
16 years 26 days ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...