626 search results - page 118 / 126 » When Can Formal Methods Make a Real Difference |
127
click to vote
PAMI
2006
15 years 3 months ago
2006
This paper presents a family of techniques that we call congealing for modeling image classes from data. The idea is to start with a set of images and make them appear as similar a...
139
click to vote
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
The method of stochastic state classes approaches the analysis of Generalised Semi Markov Processes (GSMP) through symbolic derivation of probability density functions over Differe...
155
Voted
KDD
2007
ACM
16 years 3 months ago
2007
ACM
The discovery of subsets with special properties from binary data has been one of the key themes in pattern discovery. Pattern classes such as frequent itemsets stress the co-occu...
254
click to vote
VLDB
2007
ACM
16 years 3 months ago
2007
ACM
Whenever an intrusion occurs, the security and value of a computer system is compromised. Network-based attacks make it difficult for legitimate users to access various network ser...
140
click to vote
CCR
2006
15 years 3 months ago
2006
In order to perform realistic network simulations, one needs a traffic generator that is capable of generating realistic synthetic traffic in a closed-loop fashion that "look...