2221 search results - page 210 / 445 » Experiences Building PlanetLab |
162
click to vote
ATVA
2011
Springer
14 years 4 months ago
2011
Springer
We present the Self-Loop Aggregation Product (SLAP), a new hybrid technique that replaces the synchronized product used in the automata-theoretic approach for LTL model checking. T...
139
click to vote
ACL
2012
13 years 6 months ago
2012
We present a Bayesian nonparametric model for estimating tree insertion grammars (TIG), building upon recent work in Bayesian inference of tree substitution grammars (TSG) via Dir...
151
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Microarray experiments have become very popular in life science research. However, if such experiments are only considered independently, the possibilities for analysi...
107
click to vote
SOSP
2009
ACM
16 years 1 months ago
2009
ACM
Databases have achieved orders-of-magnitude performance improvements by changing the layout of stored data – for instance, by arranging data in columns or compressing it before ...
173
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
Today the major web search engines answer queries by showing ten result snippets, which need to be inspected by users for identifying relevant results. In this paper we investigat...