179 search results - page 10 / 36 » Deadline-Constrained Causal Order |
BMCBI
2011
13 years 3 months ago
2011
Background: The combination of genotypic and genome-wide expression data arising from segregating populations offers an unprecedented opportunity to model and dissect complex phen...
BMCBI
2010
13 years 9 months ago
2010
Background: In HIV treatment it is critical to have up-to-date resistance data of applicable drugs since HIV has a very high rate of mutation. These data are made available throug...
ECSQARU
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Although we can build a belief network starting from any ordering of its variables, its structure depends heavily on the ordering being selected: the topology of the netw...
LICS
2009
IEEE
14 years 3 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
DAC
2002
ACM
14 years 9 months ago
2002
ACM
This paper presents a class of algorithms suitable for model reduction of distributed systems. Distributed systems are not suitable for treatment by standard model-reduction algor...