146 search results - page 18 / 30 » Testing Finitary Probabilistic Processes |
NLPRS
2001
Springer
13 years 11 months ago
2001
Springer
This paper presents a method for incorporating natural language processing into existing text categorization procedures. Three aspects are considered in the investigation: (i) a m...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
In medical applications, sensitivity in detecting medical problems and accuracy of detection are often in conflict. A single classifier usually cannot achieve both high sensitivit...
ICIP
2007
IEEE
14 years 1 months ago
2007
IEEE
We describe a new method to find and cluster recurrent keyplaces in a movie. It consists of an unsupervised classification of shots that are taking place in the same physical loca...
SP
2006
IEEE
14 years 1 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
ICML
2005
IEEE
14 years 8 months ago
2005
IEEE
We present a novel algorithm for agglomerative hierarchical clustering based on evaluating marginal likelihoods of a probabilistic model. This algorithm has several advantages ove...