3735 search results - page 448 / 747 » Order compression schemes |
166
click to vote
ECAI
1998
Springer
15 years 11 months ago
1998
Springer
Traditional approaches to distributed problem solving have treated the problem as one of distributed search. In this paper, we propose an alternative, logic-based view of distribut...
157
click to vote
DATE
1997
IEEE
15 years 11 months ago
1997
IEEE
Application of the hierarchical Schur algorithm to the boundary element method for 3D capacitance extraction shifts the speed bottleneck from inversion of the influence matrix to...
170
Voted
ITP
2010
15 years 10 months ago
2010
Abstract. We present a new scheme to translate mathematical developments from HOL Light to Coq, where they can be re-used and rechecked. By relying on a carefully chosen embedding ...
135
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
We present the Caching-Enhanced Scalable Reliable Multicast (CESRM) protocol. CESRM augments the Scalable Reliable Multicast (SRM) protocol [4,5] with a caching-based expedited re...
158
click to vote
IMAMS
2007
15 years 8 months ago
2007
We present C1 methods for either interpolating data or for fitting scattered data associated with a smooth function on a two-dimensional smooth manifold Ω embedded into R3 . The ...