3082 search results - page 314 / 617 » Deviation Analysis: A New Use of Model Checking |
156
click to vote
ICEBE
2007
IEEE
16 years 28 days ago
2007
IEEE
Globalization and rapid development of Information Technologies have set a new stage for business. Collaborative Commerce has become a strategic necessity to develop high quality ...
194
click to vote
ECIR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper investigates a new extension of the Probabilistic Latent Semantic Analysis (PLSA) model [6] for text classification where the training set is partially labeled...
215
click to vote
ASIAMS
2008
IEEE
15 years 8 months ago
2008
IEEE
The paper elaborates upon the interim results achieved in resolving a few newly discovered 16th century letters now alleged to be written by Queen Mary of Scots (QMS). Despite the...
190
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Graph-theoretic abstractions are extensively used to analyze massive data sets. Temporal data streams from socioeconomic interactions, social networking web sites, communication t...
139
click to vote
CHES
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We propose a new technique called Differential Cluster Analysis for side-channel key recovery attacks. This technique uses cluster analysis to detect internal collisions ...