3228 search results - page 478 / 646 » Computationally Sound Proofs |
101
click to vote
ACSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
General-purpose operating systems provide a rich computing environment both to the user and the attacker. The declining cost of hardware and the growing security concerns of softw...
113
Voted
DFT
2003
IEEE
15 years 8 months ago
2003
IEEE
1 Today many safety-critical applications are based on distributed systems where several computing nodes exchange information via suitable network interconnections. An example of t...
118
click to vote
INFOCOM
2003
IEEE
15 years 8 months ago
2003
IEEE
— We present a new algorithm for routing of messages in ad-hoc networks where the nodes are energy-constrained. The routing objective is to maximize the total number of messages ...
117
click to vote
MM
2003
ACM
15 years 8 months ago
2003
ACM
Although statistical characteristics of audio features are widely used for similarity measure in most of current audio analysis systems and have been proved to be effective, they ...
142
click to vote
MM
2003
ACM
15 years 8 months ago
2003
ACM
Music thumbnailing (or music summarization) aims at finding the most representative part of a song, which can be used for web browsing, web searching and music recommendation. Thr...