Sciweavers

3758 search results - page 254 / 752
» A Complete Subsumption Algorithm
Sort
View
ASIAN
2006
Springer
133views Algorithms» more  ASIAN 2006»
15 years 10 months ago
Normal Proofs in Intruder Theories
Given an arbitrary intruder deduction capability, modeled as an inference system S and a protocol, we show how to compute an inference system bS such that the security problem for ...
Vincent Bernat, Hubert Comon-Lundh
FLAIRS
2008
15 years 8 months ago
A Mixture Imputation-Boosted Collaborative Filter
Recommendation systems suggest products to users. Collaborative filtering (CF) systems, which base those recommendations on a database of previous ratings by various users and pro...
Xiaoyuan Su, Taghi M. Khoshgoftaar, Russell Greine...
WSC
2007
15 years 8 months ago
Importance sampling of compounding processes
Compounding processes, also known as perpetuities, play an important role in many applications; in particular, in time series analysis and mathematical finance. Apart from some s...
Jose Blanchet, Bert Zwart
WSC
2008
15 years 8 months ago
Approximate dynamic programming: Lessons from the field
Approximate dynamic programming is emerging as a powerful tool for certain classes of multistage stochastic, dynamic problems that arise in operations research. It has been applie...
Warren B. Powell
ARCS
2008
Springer
15 years 8 months ago
Hybrid Parallel Sort on the Cell Processor
: Sorting large data sets has always been an important application, and hence has been one of the benchmark applications on new parallel architectures. We present a parallel sortin...
Jörg Keller, Christoph W. Kessler, Kalle K&ou...