9067 search results - page 681 / 1814 » Adaptive Model Checking |
180
click to vote
IJCSA
2006
15 years 7 months ago
2006
This work presents an XML-based authoring methodology that facilitates the different tasks associated with the development of standards-compliant e-learning content development. T...
187
click to vote
INFORMATICALT
2006
15 years 7 months ago
2006
This paper proposes a threshold key escrow scheme from pairing. It tolerates the passive adversary to access any internal data of corrupted key escrow agents and the active adversa...
195
click to vote
ENGL
2007
15 years 7 months ago
2007
— In this paper, we propose a novel wavelet-based-CMAC (WCMAC) network for predictive image coding. The Gaussian functions of traditional CMAC are replaced by wavelet functions. ...
178
click to vote
ICIP
2010
IEEE
15 years 5 months ago
2010
IEEE
Blotches are very common, localized, and non persistent impairments in digitized film archive. Many methods have been proposed so far for detecting them and restoring the underlyi...
239
click to vote
ADCM
2011
15 years 2 months ago
2011
ABSTRACT. In this paper we discuss an abstract iteration scheme for the calculation of the smallest eigenvalue of an elliptic operator eigenvalue problem. A short and geometric pro...