2021 search results - page 313 / 405 » COCO: Composition Model and Composition Model Implementation |
181
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
Current asynchronous tools are focussed mainly on the design of a single interface module. In many applications, one must design interacting interface modules that potentially comm...
223
click to vote
PR
2008
15 years 6 months ago
2008
This paper tackles the problem of surveillance video content modelling. Given a set of surveillance videos, the aims of our work are twofold: firstly a continuous video is segment...
200
click to vote
CAV
2000
Springer
15 years 10 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
161
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Theme-driven cancer survival studies address whether the expression signature of genes related to a biological process can predict patient survival time. Although this...
168
click to vote
CSFW
2006
IEEE
16 years 11 days ago
2006
IEEE
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...