3082 search results - page 568 / 617 » Deviation Analysis: A New Use of Model Checking |
ENVSOFT
2007
14 years 11 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. ...
BMCBI
2007
14 years 12 months ago
2007
Background: As a consequence of the evolutionary process, data collected from related species tend to be similar. This similarity by descent can obscure subtler signals in the dat...
BMCBI
2007
14 years 12 months ago
2007
Background: Gene expression measurements during the development of the fly Drosophila melanogaster are routinely used to find functional modules of temporally co-expressed genes. ...
122
click to vote
WWW
2003
ACM
16 years 15 days ago
2003
ACM
The large amount of information now available on the Web can play a prominent role in building a cooperative intelligent distance learning environment. We propose a system to prov...
107
click to vote
STOC
2004
ACM
16 years 4 days ago
2004
ACM
The Collect problem for an asynchronous shared-memory system has the objective for the processors to learn all values of a collection of shared registers, while minimizing the tot...