9264 search results - page 1205 / 1853 » Space Between Languages |
235
Voted
ICALP
2011
Springer
14 years 10 months ago
2011
Springer
Competitive analysis is the established tool for measuring the output quality of algorithms that work in an online environment. Recently, the model of advice complexity has been in...
246
Voted
EMNLP
2011
14 years 7 months ago
2011
Context-dependent word similarity can be measured over multiple cross-cutting dimensions. For example, lung and breath are similar thematically, while authoritative and superfici...
269
Voted
HOST
2011
IEEE
14 years 7 months ago
2011
IEEE
—We introduce a novel hardware intellectual property acquisition protocol, show how it can support the transfer of provably trustworthy modules between hardware IP producers and ...
184
Voted
ESOP
2012
Springer
14 years 3 months ago
2012
Springer
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
274
click to vote
JMLR
2012
13 years 9 months ago
2012
Temporal Clustering (TC) refers to the factorization of multiple time series into a set of non-overlapping segments that belong to k temporal clusters. Existing methods based on e...