77016 search results - page 462 / 15404 » Modeling |
184
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...
164
click to vote
WSC
2000
15 years 7 months ago
2000
Input modeling that involves fitting standard univariate parametric probability distributions is typically performed using an input modeling package. These packages typically fit ...
179
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: A gene-regulatory network (GRN) refers to DNA segments that interact through their RNA and protein products and thereby govern the rates at which genes are transcribed...
147
click to vote
BMCBI
2006
2006
On single and multiple models of protein families for the detection of remote sequence relationships
15 years 6 months ago
Background: The detection of relationships between a protein sequence of unknown function and a sequence whose function has been characterised enables the transfer of functional a...
158
click to vote
GPEM
2008
15 years 6 months ago
2008
Efficiency enhancement techniques--such as parallelization and hybridization--are among the most important ingredients of practical applications of genetic and evolutionary algori...