6020 search results - page 751 / 1204 » A New Approach to Model Counting |
189
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
Answering queries using views is a well-established technique in databases. In this context, two outstanding problems can be formulated. The first one consists in deciding whethe...
173
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: Identity by descent (IBD) matrix estimation is a central component in mapping of Quantitative Trait Loci (QTL) using variance component models. A large number of algor...
160
click to vote
ENVSOFT
2007
15 years 6 months ago
2007
: Integrated environmental resources management is a purposeful activity with the goal to maintain and improve the state of an environmental resource affected by human activities. ...
164
click to vote
ICCS
2004
Springer
16 years 5 days ago
2004
Springer
We summarize the Computational Engineering and Science program at the University of Utah. Program requirements as well as related research areas are outlined. To obtain the MS degr...
168
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: Expressed sequence tags (ESTs) analyses are a fundamental tool for gene identification in organisms. Given a preliminary EST sample from a certain library, several sta...