6020 search results - page 513 / 1204 » A New Approach to Model Counting |
246
click to vote
WSDM
2012
ACM
14 years 2 months ago
2012
ACM
We present a new approach for personalizing Web search results to a specific user. Ranking functions for Web search engines are typically trained by machine learning algorithms u...
191
click to vote
HICSS
2003
IEEE
16 years 10 days ago
2003
IEEE
The economic impact of the growth dynamic of standards is often described from a macroeconomic point of view, employing network effect theory and models dealing with externalities...
186
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Microarray pre-processing usually consists of normalization and summarization. Normalization aims to remove non-biological variations across different arrays. The norm...
207
click to vote
BMCBI
2011
15 years 2 months ago
2011
Background: Influenza A viruses exhibit complex epidemiological patterns in a number of mammalian and avian hosts. Understanding transmission of these viruses necessitates taking ...
217
click to vote
BPM
2008
Springer
15 years 9 months ago
2008
Springer
A given business process may face a large number of regulatory obligations the process may or comply with. Providing tools and techniques through which an evaluation of the complia...