3228 search results - page 230 / 646 » Computationally Sound Proofs |
175
click to vote
DIALM
2003
ACM
15 years 12 months ago
2003
ACM
A common way of storing spatio-temporal information about mobile devices is in the form of a 3D (2D geography + time) trajectory. We argue that when cellular phones and Personal D...
180
click to vote
TASLP
2010
15 years 5 months ago
2010
Abstract—This paper describes a system, referred to as modelbased expectation-maximization source separation and localization (MESSL), for separating and localizing multiple soun...
178
click to vote
TASLP
2010
15 years 5 months ago
2010
Abstract—We present an algorithm for removing timefrequency components, found by a standard Gabor transform, of a “real-world” sound while causing no audible difference to th...
162
click to vote
SAC
2004
ACM
16 years 1 days ago
2004
ACM
Ubiquitous Computing bears a high potential in the area of aircraft maintenance. Extensive requirements regarding quality, safety, and documentation as well as high costs for havi...
151
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
Norway has started to implement e-voting (over the Internet, and by using voters' own computers) within the next few years. The vulnerability of voter's computers was ide...