7049 search results - page 113 / 1410 » Data Abstraction for CSP-OZ |
FSTTCS
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
ISSS
1999
IEEE
15 years 2 months ago
1999
IEEE
We present a new exploration and optimization method to select customized implementations for dynamic data sets, as encountered in telecom network, database and multimedia applica...
109
click to vote
DAGM
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Level set methods have become very popular means for image segmentation in recent years. But due to the data-driven nature of this methods it is difficult to segment obje...
CAISE
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. The model management operator ModelGen translates a schema expressed in one modelling language into an equivalent schema expressed in another modelling language, and in a...
BCS
2008
14 years 11 months ago
2008
This paper describes our approaches to raise the level of abstraction at which hardware suitable for accelerating computationally-intensive applications can be specified. Field-Pr...