1173 search results - page 81 / 235 » Program Derivation Using Analogy |
ICIP
2003
IEEE
16 years 6 months ago
2003
IEEE
Despite their simplicity, scalar threshold operators effectively remove additive white Gaussian noise from wavelet detail coefficients of many practical signals. This paper explor...
149
click to vote
ICML
2005
IEEE
16 years 5 months ago
2005
IEEE
We present a directed Markov random field (MRF) model that combines n-gram models, probabilistic context free grammars (PCFGs) and probabilistic latent semantic analysis (PLSA) fo...
147
click to vote
CSFW
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
150
click to vote
IJCNN
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— High-level specification of how the brain represents and categorizes the causes of its sensory input allows to link “what is to be done” (perceptual task) with “...
133
click to vote
PERVASIVE
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. The paper describes the concept, implementation, and evaluation of a new on-body capacitive sensing approach to derive activity related information. Using conductive text...