1451 search results - page 143 / 291 » Case Studies in Model Manipulation for Scientific Computing |
133
click to vote
SSD
1999
Springer
15 years 9 months ago
1999
Springer
This work is a contribution to the developing literature on multi-resolution data models. It considers operations for model-oriented generalization in the case where the underlying...
141
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we demonstrate the use of learning with non-uniform error-cost as a novel technique to design a multiclass cost-sensitive classifier. We investigate two important ...
161
click to vote
ASM
2010
ASM
15 years 8 months ago
2010
ASM
We provide a detailed description of refinement in Event-B, both as a contribution in itself and as a foundation for the approach to simultaneous animation of multiple levels of re...
141
click to vote
SRDS
1998
IEEE
15 years 9 months ago
1998
IEEE
We study parallel algorithms for computing the minimum spanning tree of a weighted undirected graph G with n vertices and m edges. We consider an input graph G with m=n p, where p...
118
click to vote
BIRTHDAY
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Logic preservation theorems often have the form of a syntax/semantics correspondence. For example, the Los-Tarski theorem asserts that a rst-order sentence is preserved b...