2957 search results - page 285 / 592 » Processing Self Corrections |
160
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this digital era, digital multimedia contents are often transmitted over networks without any protection. This raises serious security concerns since the receivers/subscribers ...
161
click to vote
ASIAN
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
217
click to vote
CALCO
2007
Springer
16 years 26 days ago
2007
Springer
Much current work on modelling and verifying microprocessors can accommodate pipelined and superscalar processors. However, superscalar and pipelined processors are no longer state...
186
click to vote
ICLP
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
173
click to vote
SAMT
2007
Springer
16 years 24 days ago
2007
Springer
In this paper we explore an unsupervised approach to classify video content by analyzing the corresponding subtitles. The proposed method is based on the WordNet lexical database a...