3052 search results - page 359 / 611 » Engineers Don't Search |
FSTTCS
2010
Springer
13 years 9 months ago
2010
Springer
We study the average number of transitions in Glushkov automata built from random regular expressions. This statistic highly depends on the probabilistic distribution set on the e...
TCBB
2011
13 years 6 months ago
2011
Abstract—Though biomedical research often draws on knowledge from a wide variety of fields, few visualization methods for biomedical data incorporate meaningful cross-database e...
STTT
2010
13 years 5 months ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...
ERCIMDL
2011
Springer
12 years 10 months ago
2011
Springer
In this work we present an overview of NotreDAM, an open source Digital Asset Management platform targeted to the mid-market segment. NotreDAM provides a web-based multi-user appli...
WINE
2009
Springer
14 years 5 months ago
2009
Springer
It is widely believed that the value of acquiring a slot in a sponsored search list (that comes along with the organic links in a search engine’s result page) highly depends on ...