Sciweavers

1205 search results - page 115 / 241
» Modeling organizational performance indicators
Sort
View
IJISEC
2008
101views more  IJISEC 2008»
15 years 4 months ago
SAT-based model-checking for security protocols analysis
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...
Alessandro Armando, Luca Compagna
PRL
2006
129views more  PRL 2006»
15 years 4 months ago
Learning spatial relations in object recognition
This paper studies two types of spatial relationships that can be learned from training examples for object recognition. The first one employs deformable relationships between obj...
Thang V. Pham, Arnold W. M. Smeulders
JMLR
2010
139views more  JMLR 2010»
14 years 11 months ago
Causal learning without DAGs
Causal learning methods are often evaluated in terms of their ability to discover a true underlying directed acyclic graph (DAG) structure. However, in general the true structure ...
David Duvenaud, Daniel Eaton, Kevin P. Murphy, Mar...
ICASSP
2011
IEEE
14 years 8 months ago
Rate-SSIM optimization for video coding
The structural similarity (SSIM) index has been found to be a good indicator of perceived image quality. In this paper, we propose a rate-SSIM optimization scheme for mode selecti...
Shiqi Wang, Abdul Rehman, Zhou Wang, Siwei Ma, Wen...
WIAMIS
2009
IEEE
15 years 11 months ago
Adaptive gesture recognition in Human Computer Interaction
An adaptive, invariant to user performance fluctuation or noisy input signal, gesture recognition scheme is presented based on Self Organizing Maps, Markov Models and Levenshtein...
George Caridakis, Kostas Karpouzis, Athanasios I. ...