3456 search results - page 533 / 692 » Algorithms for Interface Synthesis |
119
Voted
SIGIR
2004
ACM
15 years 7 months ago
2004
ACM
Link Analysis has shown great potential in improving the performance of web search. PageRank and HITS are two of the most popular algorithms. Most of the existing link analysis al...
131
Voted
CAV
2010
Springer
15 years 6 months ago
2010
Springer
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
106
click to vote
SOUPS
2010
ACM
15 years 6 months ago
2010
ACM
Users of social networking sites often want to manage the sharing of information and content with different groups of people based on their differing relationships. However, group...
159
click to vote
DSRT
2008
IEEE
15 years 4 months ago
2008
IEEE
In this contribution a new system for the rapid development of real-time prototypes for digital audio signal processing algorithms on Windows PCs and a Digital Signal Processor (D...
118
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: Data clustering analysis has been extensively applied to extract information from gene expression profiles obtained with DNA microarrays. To this aim, existing cluster...