18306 search results - page 3366 / 3662 » Algorithmics in Exponential Time |
143
click to vote
COMPSEC
2010
15 years 3 months ago
2010
Model checking security protocols is based on an intruder model that represents the eavesdropping or interception of the exchanged messages, while at the same time performs attack...
145
click to vote
CGF
2008
15 years 3 months ago
2008
We present a technique for coupling simulated fluid phenomena that interact with real dynamic scenes captured as a binocular video sequence. We first process the binocular video s...
133
click to vote
DC
2008
15 years 3 months ago
2008
Fast algorithms are presented for performing computations in a probabilistic population model. This is a variant of the standard population protocol model--in which finite-state ag...
133
click to vote
BIOINFORMATICS
2006
15 years 3 months ago
2006
Motivation: Intervention in a gene regulatory network is used to avoid undesirable states, such as those associated with a disease. Several types of intervention have been studied...
117
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: In a microarray experiment the difference in expression between genes on the same slide is up to 103 fold or more. At low expression, even a small error in the estimat...