692 search results - page 87 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
118
click to vote
VLSM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Many problems in image analysis and computer vision involving boundaries and regions can be cast in a variational formulation. This means that m-surfaces, e.g. curves and...
110
click to vote
ESOP
2008
Springer
15 years 1 months ago
2008
Springer
This paper defines the cover of a formula with respect to a set of variables V in theory T to be the strongest quantifier-free formula that is implied by V : in theory T. Cover e...
140
click to vote
DMIN
2008
15 years 1 months ago
2008
Abstract-- In this paper, we propose an adaptive linear approach for time series modeling and steam line leakage detection. Weighted recursive least squares (WRLS) method is used f...
104
click to vote
ARCS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Java is widely deployed on a variety of processor architectures. Consequently, an understanding of microarchitecture level Java performance is critical to optimize curren...
ICSM
1998
IEEE
15 years 4 months ago
1998
IEEE
The activity of reengineering and maintaining large legacy systems involves the use of design recovery es to produce abstractions that facilitate the understanding of the system. ...