6020 search results - page 1150 / 1204 » A New Approach to Model Counting |
134
click to vote
CGF
2008
15 years 3 months ago
2008
Visualizing pathways, i. e. models of cellular functional networks, is a challenging task in computer assisted biomedicine. Pathways are represented as large collections of interw...
164
click to vote
CIKM
2010
Springer
15 years 2 months ago
2010
Springer
Ranking Web search results has long evolved beyond simple bag-of-words retrieval models. Modern search engines routinely employ machine learning ranking that relies on exogenous r...
155
click to vote
AMM
2011
14 years 11 months ago
2011
—The number of resources or items that users can now access when navigating on the Web or using e-services, is so huge that these might feel lost due to the presence of too much ...
184
click to vote
AISS
2010
14 years 11 months ago
2010
With the proliferation of the computer Cloud, new software delivery methods were created. In order to build software to fit into one of these models, a scalable, easy to deploy st...
149
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Generating multimedia streams, such as in a netradio, is a task which is complex and difficult to adapt to every users’ needs. We introduce a novel approach in order to achieve i...