15792 search results - page 157 / 3159 » Computational Abstraction Steps |
134
click to vote
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
102
click to vote
HPCNCS
2007
15 years 4 months ago
2007
Abstract—As the bandwidth of networks is increasing exponentially, the computational cost to simulate such type of networks is also growing in a similar fashion. This paper prese...
110
click to vote
CAD
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. This paper presents two automatic fairing algorithms for parametric C2 -continuous bi-cubic B-spline surfaces. The fairing method consists of a knot removal and knot rein...
123
Voted
ICMS
2010
15 years 2 months ago
2010
Abstract. Most optimization software performs numerical computation, in the sense that the main interest is to find numerical values to assign to the decision variables, e.g. a so...
152
Voted
ACL
2010
15 years 1 months ago
2010
Scoring sentences in documents given abstract summaries created by humans is important in extractive multi-document summarization. In this paper, we formulate extractive summariza...