3082 search results - page 553 / 617 » Deviation Analysis: A New Use of Model Checking |
KDD
2006
ACM
16 years 8 days ago
2006
ACM
Online stores providing subscription services need to extend user subscription periods as long as possible to increase their profits. Conventional recommendation methods recommend...
IMC
2006
ACM
15 years 5 months ago
2006
ACM
Network managers are inevitably called upon to associate network traffic with particular applications. Indeed, this operation is critical for a wide range of management functions...
140
click to vote
COLCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
—Geospatial tagging (geotagging) is an emerging and very promising application that can help users find a wide variety of location-specific information, and facilitate the deve...
BMCBI
2010
14 years 12 months ago
2010
Background: Selective pressure in molecular evolution leads to uneven distributions of amino acids and nucleotides. In fact one observes correlations among such constituents due t...
BMCBI
2008
14 years 12 months ago
2008
Background: Stimulus Response Experiments to unravel the regulatory properties of metabolic networks are becoming more and more popular. However, their ability to determine enzyme...