5564 search results - page 865 / 1113 » Performance Modeling of HPC Applications |
151
click to vote
JCS
2010
14 years 12 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
153
click to vote
TWC
2010
14 years 11 months ago
2010
Abstract--Frequency hopping (FH) has been the most popularly considered approach for alleviating the effects of jamming attacks. We re-examine, the efficacy of FH based on both exp...
128
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Behavioral Signal Processing aims at automating behavioral coding schemes such as those prevalent in psychology and mental health research. This paper describes methods to quantif...
161
Voted
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
In many applications decisions must be made about the state of an object based on indirect noisy observation of highdimensional data. An example is the determination of the presen...
163
click to vote
ICDE
2011
IEEE
14 years 8 months ago
2011
IEEE
— Many real-world applications deal with uncertain or missing data, prompting a surge of activity in the area of probabilistic databases. A shortcoming of prior work is the assum...