Sciweavers

844 search results - page 138 / 169
» The strength of multi-row models
Sort
View
CSFW
2009
IEEE
14 years 3 months ago
ASPIER: An Automated Framework for Verifying Security Protocol Implementations
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
Sagar Chaki, Anupam Datta
CVPR
2007
IEEE
14 years 2 months ago
Fisher Kernels on Visual Vocabularies for Image Categorization
Within the field of pattern classification, the Fisher kernel is a powerful framework which combines the strengths of generative and discriminative approaches. The idea is to ch...
Florent Perronnin, Christopher R. Dance
ISPW
2007
IEEE
14 years 2 months ago
Project Delay Variability Simulation in Software Product Line Development
The possible variability of project delay is useful information to understand and mitigate the project delay risk. However, it is not sufficiently considered in the literature con...
Makoto Nonaka, Liming Zhu, Muhammad Ali Babar, Mar...
MCS
2007
Springer
14 years 2 months ago
Group-Induced Vector Spaces
The strength of classifier combination lies either in a suitable averaging over multiple experts/sources or in a beneficial integration of complementary approaches. In this paper...
Manuele Bicego, Elzbieta Pekalska, Robert P. W. Du...
PEWASUN
2005
ACM
14 years 2 months ago
Impact of multipath fading in wireless ad hoc networks
This paper examines several MANET behaviors and suggests root causes using a stochastic model of received power. It focuses specifically on MANET mechanisms most impacted by fin...
John Mullen, Hong Huang