Sciweavers

3873 search results - page 170 / 775
» Neighbourhood Components Analysis
Sort
View
AICCSA
2005
IEEE
105views Hardware» more  AICCSA 2005»
15 years 10 months ago
Multivariate statistical analysis for network attacks detection
Detection and self-protection against viruses, worms, and network attacks is urgently needed to protect network systems and their applications from catastrophic failures. Once a n...
Guangzhi Qu, Salim Hariri, Mazin S. Yousif
ISSTA
2004
ACM
15 years 10 months ago
Automating commutativity analysis at the design level
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
Greg Dennis, Robert Seater, Derek Rayside, Daniel ...
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
15 years 10 months ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
APGV
2010
ACM
238views Visualization» more  APGV 2010»
15 years 6 months ago
A morphing-based analysis of the perceptual distance metric of human faces
This paper presents a psychophysical analysis of the discrimination thresholds of human faces that are varied along different directions in Face Space. Generated by a 3D Morphable...
Nadine Gummersbach, Volker Blanz
DAWAK
2010
Springer
15 years 6 months ago
Mining Closed Itemsets in Data Stream Using Formal Concept Analysis
Mining of frequent closed itemsets has been shown to be more efficient than mining frequent itemsets for generating non-redundant association rules. The task is challenging in data...
Anamika Gupta, Vasudha Bhatnagar, Naveen Kumar