Sciweavers

8917 search results - page 1692 / 1784
» Abstraction in Algorithm Animation
Sort
View
WEBI
2010
Springer
15 years 1 months ago
Lightweight Clustering Methods for Webspam Demotion
Abstract--To make sure they can quickly respond to a specific query, the main search engines have several mechanisms. One of them consists in ranking web pages according to their i...
Thomas Largillier, Sylvain Peyronnet
WISE
2010
Springer
15 years 1 months ago
Neighborhood-Restricted Mining and Weighted Application of Association Rules for Recommenders
Abstract. Association rule mining algorithms such as Apriori were originally developed to automatically detect patterns in sales transactions and were later on also successfully ap...
Fatih Gedikli, Dietmar Jannach
ICCAD
2009
IEEE
159views Hardware» more  ICCAD 2009»
15 years 1 months ago
First steps towards SAT-based formal analog verification
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
Saurabh K. Tiwary, Anubhav Gupta, Joel R. Phillips...
CI
2011
93views more  CI 2011»
14 years 10 months ago
Supporting clinical processes and decisions by hierarchical planning and scheduling
This paper is focused on how a general-purpose hierarchical planning representation, based on the HTN paradigm, can be used to support the representation of oncology treatment pro...
Juan Fernández-Olivares, Luis A. Castillo, ...
147
Voted
TCBB
2011
14 years 10 months ago
Semantics and Ambiguity of Stochastic RNA Family Models
Stochastic models such as hidden Markov models or stochastic context free grammars can fail to return the correct, maximum likelihood solution in the case of semantic ambiguity. T...
Robert Giegerich, Christian Höner zu Siederdi...
« Prev « First page 1692 / 1784 Last » Next »