Sciweavers

4981 search results - page 67 / 997
» Dependent Gaussian Processes
Sort
View
VMCAI
2004
Springer
15 years 3 months ago
History-Dependent Scheduling for Cryptographic Processes
Abstract. This paper presents history-dependent scheduling, a new technique for reducing the search space in the verification of cryptographic protocols. This technique allows the...
Vincent Vanackère
NIPS
2008
14 years 11 months ago
Shared Segmentation of Natural Scenes Using Dependent Pitman-Yor Processes
We develop a statistical framework for the simultaneous, unsupervised segmentation and discovery of visual object categories from image databases. Examining a large set of manuall...
Erik B. Sudderth, Michael I. Jordan
COLING
1996
14 years 11 months ago
Cross-Serial Dependencies Are Not Hard to Process
Carl Vogel, Ulrike Hahn, Holly Branigan