7820 search results - page 19 / 1564 » Formalization of Time and Space |
FORMATS
2007
Springer
15 years 3 months ago
2007
Springer
FM
2006
Springer
15 years 3 months ago
2006
Springer
112
click to vote
FOCS
2009
IEEE
15 years 3 months ago
2009
IEEE
Given a set D = {d1, d2, ..., dD} of D strings of total length n, our task is to report the "most relevant" strings for a given query pattern P. This involves somewhat mo...
115
click to vote
WWW
2009
ACM
16 years 14 days ago
2009
ACM
Transferring knowledge from one domain to another is challenging due to a number of reasons. Since both conditional and marginal distribution of the training data and test data ar...
FMICS
2006
Springer
15 years 3 months ago
2006
Springer
Behrmann et al. posed the question whether "To Store or Not To Store" [1] states during reachability analysis, in order to counter the effects of the well-known state spa...