10715 search results - page 1917 / 2143 » From Tests to Proofs |
167
click to vote
IWDW
2007
Springer
16 years 24 days ago
2007
Springer
Aiming at detecting secret information hidden in a given image using steganographic tools, steganalysis has been of interest since the end of 1990’s. In particular, universal ste...
204
click to vote
MLDM
2007
Springer
16 years 24 days ago
2007
Springer
A Classification Association Rule (CAR), a common type of mined knowledge in Data Mining, describes an implicative co-occurring relationship between a set of binary-valued data-att...
207
click to vote
PSIVT
2007
Springer
16 years 23 days ago
2007
Springer
: Measuring ellipticity is an important area of computer vision systems. Most existing ellipticity measures are area based and cannot be easily applied to point sets such as extrac...
177
click to vote
SEMWEB
2007
Springer
16 years 23 days ago
2007
Springer
Numerous ontology alignment algorithms have appeared in the literature in recent years, but only a few make use of the semantics enclosed within the ontologies in order to improve ...
144
click to vote
VMCAI
2007
Springer
16 years 23 days ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...