10891 search results - page 92 / 2179 » Combining Model Reductions |
121
click to vote
FORTE
2007
15 years 4 months ago
2007
Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...
121
click to vote
PKDD
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Principal component analysis (PCA) and its dual—principal coordinate analysis (PCO)—are widely applied to unsupervised dimensionality reduction. In this paper, we sho...
146
click to vote
IDEAS
2000
IEEE
15 years 7 months ago
2000
IEEE
I n this paper, we address the problem of query processing o n distributed semi-structured data. The distributed semistructured data can be modeled as a rooted and edge-labeled gr...
116
click to vote
COLT
2008
Springer
15 years 4 months ago
2008
Springer
We show how models for prediction with expert advice can be defined concisely and clearly using hidden Markov models (HMMs); standard HMM algorithms can then be used to efficientl...
152
click to vote
SAM
2004
15 years 4 months ago
2004
We propose a partial order reduction for model checking security protocols for the secrecy property. Based on this reduction we develop an automatic tool that can check security pr...