313 search results - page 8 / 63 » Lazy Abstraction with Interpolants |
PPL
2007
13 years 7 months ago
2007
Abstract. List-based implementations of sets are a fundamental building block of many concurrent algorithms. A skiplist based on the lock-free list-based set algorithm of Michael w...
TACAS
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. A Craig interpolant for a mutually inconsistent pair of formulas (A, B) is a formula that is (1) implied by A, (2) inconsistent with B, and (3) expressed over the common ...
ICCS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Interpolating scattered data points is a problem of wide ranging interest. One of the most popular interpolation methods in geostatistics is ordinary kriging. The price f...
CAGD
2010
13 years 7 months ago
2010
Abstract. Nonnegative bivariate interpolants to scattered data are constructed using some C1 macro-element spline spaces. The methods are local, and rely on adjusting gradients at ...
ACOM
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. This paper considers the combination of agent communication and ontology alignment within a group of heterogeneous agents. The agents align their ontologies by constructi...