797 search results - page 88 / 160 » XML version detection |
136
click to vote
HYBRID
1995
Springer
15 years 8 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
150
click to vote
AIED
2011
Springer
14 years 8 months ago
2011
Springer
We have created a math learning environment with game-like elements such as narrative, visual feedback, personalization, collection, etc. We made a study with four different versio...
145
click to vote
Publication
This paper proposes a self-authentication scheme for color images, using a fragile data hiding method based on the Discrete Pascal Transform (DPT). The main contribution of this wo...
147
click to vote
IEEEMSP
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract—Transmission of digital contents in unavoidable noiseprone environments demands sophisticated error detection and concealment techniques to restore the perceptual qualit...
120
Voted
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
We introduce a regularized kernel-based rule for unsupervised change detection based on a simpler version of the recently proposed kernel Fisher discriminant ratio. Compared to ot...