Sciweavers

357 search results - page 54 / 72
» The Use of Classifiers in Sequential Inference
Sort
View
FMOODS
2008
13 years 10 months ago
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
Jan Smans, Bart Jacobs 0002, Frank Piessens
SAC
2008
ACM
13 years 8 months ago
Computational methods for complex stochastic systems: a review of some alternatives to MCMC
We consider analysis of complex stochastic models based upon partial information. MCMC and reversible jump MCMC are often the methods of choice for such problems, but in some situ...
Paul Fearnhead
ISPAN
2002
IEEE
14 years 1 months ago
A New Parallel Genetic Algorithm
One problem of propagating the globally fittest individual via neighbourhood evolving in both island model and cellular model of existing parallel genetic algorithms (PGA) is that...
Ling Tan, David Taniar, Kate A. Smith
CHI
2000
ACM
14 years 1 months ago
Bringing order to the Web: automatically categorizing search results
We developed a user interface that organizes Web search results into hierarchical categories. Text classification algorithms were used to automatically classify arbitrary search r...
Hao Chen, Susan T. Dumais
FLAIRS
2008
13 years 11 months ago
Contrast Pattern Mining with Gap Constraints for Peptide Folding Prediction
1 In this paper, we propose a peptide folding prediction method which discovers contrast patterns to differentiate and predict peptide folding classes. A contrast pattern is defin...
Chinar C. Shah, Xingquan Zhu, Taghi M. Khoshgoftaa...