2021 search results - page 299 / 405 » COCO: Composition Model and Composition Model Implementation |
115
click to vote
ASIACRYPT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In the standard general-adversary model for multi-party protocols, a global adversary structure is given, and every party must trust in this particular structure. We intr...
135
click to vote
LICS
1996
IEEE
15 years 9 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
178
click to vote
CVPR
2011
IEEE
15 years 1 months ago
2011
IEEE
Nearly every structured prediction problem in computer vision requires approximate inference due to large and complex dependencies among output labels. While graphical models prov...
154
click to vote
ICSOC
2010
Springer
15 years 3 months ago
2010
Springer
A request to a service registry must be answered with a service that fits in several regards, including semantic compatibility, non-functional compatibility, and interface compati...
137
click to vote
EMNLP
2010
15 years 3 months ago
2010
Event Anaphora Resolution is an important task for cascaded event template extraction and other NLP study. Previous study only touched on event pronoun resolution. In this paper, ...