Sciweavers

3086 search results - page 280 / 618
» Generalized Discriminant Analysis Using a Kernel Approach
Sort
View
JCS
2010
80views more  JCS 2010»
15 years 1 months ago
Constraint differentiation: Search-space reduction for the constraint-based analysis of security protocols
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
Sebastian Mödersheim, Luca Viganò, Dav...
158
Voted
BMCBI
2008
103views more  BMCBI 2008»
15 years 6 months ago
Parameter estimation for robust HMM analysis of ChIP-chip data
Background: Tiling arrays are an important tool for the study of transcriptional activity, proteinDNA interactions and chromatin structure on a genome-wide scale at high resolutio...
Peter Humburg, David Bulger, Glenn Stone
208
Voted
GIS
2009
ACM
15 years 11 months ago
Conceptualization of place via spatial clustering and co-occurrence analysis
More and more users are contributing and sharing more and more contents on the Web via the use of content hosting sites and social media services. These user–generated contents ...
Dong-Po Deng, Tyng-Ruey Chuang, Rob Lemmens
IRI
2003
IEEE
15 years 12 months ago
The Sampling Analysis Pattern
— Sampling is a general concept that has many applications in various domains. The idea of representing sampling as a pattern is to guarantee a reusable core. The stable sampling...
Huáscar A. Sánchez, Mohamed E. Fayad...
FORTE
1997
15 years 8 months ago
On-Line Timed Protocol Trace Analysis Based on Uncertain State Descriptions
This paper presents a new approach to the task of passive protocol tracing. The method called FollowSM for the first time meets all requirements of practical in-field use, inclu...
Marek Musial