4810 search results - page 184 / 962 » Modeling Value Speculation |
294
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...
171
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Developing and evaluating new technology that enables researchers to recover gene-expression levels of colonic cells from fecal samples could be key to a non-invasive ...
199
click to vote
AAAI
2012
13 years 8 months ago
2012
In conservation biology and natural resource management, adaptive management is an iterative process of improving management by reducing uncertainty via monitoring. Adaptive manag...
178
click to vote
LICS
1994
IEEE
15 years 10 months ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...
163
click to vote
RECOMB
2010
Springer
16 years 1 months ago
2010
Springer
Background: The empirical frequencies of DNA k-mers in whole genome sequences provide an interesting perspective on genomic complexity, and the availability of large segments of g...