1451 search results - page 143 / 291 » Case Studies in Model Manipulation for Scientific Computing |
161
click to vote
SSD
1999
Springer
15 years 10 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...
177
click to vote
ICPR
2008
IEEE
16 years 25 days 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 ...
196
click to vote
ASM
2010
ASM
15 years 9 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...
168
click to vote
SRDS
1998
IEEE
15 years 10 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...
140
click to vote
BIRTHDAY
1997
Springer
15 years 10 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...