1466 search results - page 184 / 294 » Completeness of the Authentication Tests |
KDD
2007
ACM
14 years 8 months ago
2007
ACM
We consider the problem of detecting anomalies in high arity categorical datasets. In most applications, anomalies are defined as data points that are 'abnormal'. Quite ...
ICRA
1994
IEEE
14 years 1 days ago
1994
IEEE
act The Neptune system is a mobile robot system used to remotely inspect above-ground storage tanks (ASTs) while immersed in the petroleum product, in order to ascertain from the i...
PICS
2001
13 years 9 months ago
2001
In 1998, a Technical Committee 8-04 was formed in CIE/Division 8, "to investigate the state of adaptation of the visual system when comparing soft-copy images on selfluminous...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...
EICS
2009
ACM
14 years 2 months ago
2009
ACM
This paper evaluates the input performance capabilities of Velocity Threshold (I-VT) and Kalman Filter (I-KF) eye movement detection models when employed for eye-gaze-guided inter...