Sciweavers

4981 search results - page 67 / 997
» Dependent Gaussian Processes
Sort
View
VMCAI
2004
Springer
15 years 5 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
15 years 1 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
15 years 1 months ago
Cross-Serial Dependencies Are Not Hard to Process
Carl Vogel, Ulrike Hahn, Holly Branigan