18155 search results - page 3565 / 3631 » Point |
114
click to vote
MICS
2010
15 years 4 hour ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
118
click to vote
MIDDLEWARE
2010
Springer
15 years 4 hour ago
2010
Springer
Abstract. To disseminate messages from a single source to a large number of targeted receivers, a natural approach is the tree-based application layer multicast (ALM). However, in ...
145
click to vote
ML
2010
ACM
15 years 3 hour ago
2010
ACM
We propose two fast algorithms for abrupt change detection in streaming data that can operate on arbitrary unknown data distributions before and after the change. The first algor...
131
click to vote
MP
2010
15 years 1 hour ago
2010
Abstract. We study mixed integer nonlinear programs (MINLP)s that are driven by a collection of indicator variables where each indicator variable controls a subset of the decision ...
169
click to vote
OOPSLA
2010
Springer
14 years 12 months ago
2010
Springer
Heterogeneous multi-core processors, such as the IBM Cell processor, can deliver high performance. However, these processors are notoriously difficult to program: different cores...